home *** CD-ROM | disk | FTP | other *** search
/ Shareware Overload / ShartewareOverload.cdr / games / infer.zip / INFER.TXT next >
Text File  |  1988-03-22  |  2KB  |  98 lines
  1.  
  2. INFER is a simple computer program that can solve the hypothetical
  3. syllogism. A syllogism is a short argument form consisting of one or more
  4. premises and a conclusion, which is inferred from the data. Following is a
  5. syllogism from the time of Aristotle:
  6.  
  7.        Socrates is a man.
  8.        A man is mortal.
  9.        Therefore, Socrates is mortal.
  10.  
  11. INFER has four kinds of statements -
  12.   a) declarations,
  13.   b) queries,
  14.   c) requests,
  15.   d) inquiries.
  16.  
  17. Although queries, requests and inquiries are synonyms, they each have a
  18. different function in this program.
  19.  
  20. A: Declarations
  21. ===============
  22. Data is declared in the following way -
  23.  
  24.        -> <noun phrase> is <noun phrase>
  25.  
  26. A noun phrase consists of an optional article, optional adjectives and a
  27. noun, with the predicate 'is' (which must be in lower case). For example,
  28.  
  29. -> Socrates is a man
  30. Noted
  31.  
  32. -> A man is mortal
  33. Noted
  34.  
  35.  
  36. B: Queries
  37. ==========
  38. Queries (which are answered either 'Yes' or 'I don't know') have the
  39. following form -
  40.  
  41.        -> is <noun phrase> a <noun phrase>
  42.  
  43. -> is Socrates a man?
  44. Yes
  45.  
  46.  
  47. C: Requests
  48. ===========
  49. Requests ask for all the data known about something, for example
  50.  
  51. -> request Socrates
  52. Socrates is ...
  53. man
  54.  
  55. D: Inquiries
  56. ============
  57. Inquiries receive more data than a query or a request, for example
  58.  
  59.  
  60. -> who is a man?
  61. Socrates is a man
  62.  
  63. -> who is mortal?
  64. A man is mortal
  65.  
  66.  
  67. The following are rather more complex examples, and show how new relations
  68. can be defined in terms of previous ones.
  69.  
  70.  
  71. -> an impecunious person is a borrower of money
  72. Noted
  73.  
  74. -> a composer is an impecunious person
  75. Noted
  76.  
  77. -> Mozart is a composer
  78. Noted
  79.  
  80. -> is Mozart a borrower of money?
  81. Yes
  82.  
  83. -> is Haydn a borrower of money?
  84. I have no data concerning Haydn
  85.  
  86. -> Haydn is a composer
  87. Noted
  88.  
  89. -> is Haydn a borrower of money?
  90. Yes
  91.  
  92. -> who is a borrower of money?
  93. composer is a borrower of money
  94. impecunious person is a borrower of money
  95. Mozart is a borrower of money
  96. Haydn is a borrower of money
  97.  
  98.