论文信息 - Obvious Logical Inferences

Obvious Logical Inferences

A precise definition is given of a class of inferences in predicate logic which it is proposed to Identify with the class of "obvious" Inferences. A mechanism for Implementing "obvious inference" as a rule of Inference in proof checking systems is discussed.

Martin D. Davis | Martin D. Davis

[1] Willard Van Orman Quine,et al. Methods of Logic , 1951 .

[2] Richard W. Weyhrauch,et al. A users manual for FOL. , 1977 .

[3] Robert Elliot Filman. The interaction of observation and inference , 1979 .

[4] Richard W. Weyhrauch,et al. Prolegomena to a Theory of Mechanized Formal Reasoning , 1980, Artif. Intell..

[5] Martin Davis,et al. Eliminating the Irrelevant from Mechanical Proofs , 1983 .