๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Hypothesis plausibility and hypothesis generation

โœ Scribed by Charles F. Gettys; S.D. Fisher


Book ID
103321254
Publisher
Elsevier Science
Year
1979
Weight
948 KB
Volume
24
Category
Article
ISSN
0030-5073

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Hypothesis generation by machine
โœ Charles G. Morgan ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 806 KB

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 i