Hypothesis generation by machine

✍ Scribed by Charles G. Morgan

• Book ID: 102989295
• Publisher: Elsevier Science
• Year: 1971
• Tongue: English
• Weight: 806 KB
• Volume: 2
• Category: Article
• ISSN: 0004-3702
• DOI: 10.1016/0004-3702(71)90009-9

✦ Synopsis

A method for deriving sets of falsehood preserving inference rules (for first-order predicate calculus) from truth preserving inference rules is demonstrated. It is shown that such sets of rules have a property ,~ completeness analogous w the completeness of the truth preserving rules. Further, it is demonstrated that falsehood preserving rules lead from consequences to axioms, and thus they can be used for hypothesis generation. In particular, a deductive consequence generating machine may be used as an hypothesis generating machine if one employ.~ the methods outlined.