论文信息 - Prolegomena to a theory of mechanized formal reasoning

Prolegomena to a theory of mechanized formal reasoning

This is an informal description of my ideas about using formal logic as a tool for reasoning systems using computers. The theoretical ideas are illustrated by the features of FOL. All of the examples presented have actually run using the FOL system.

Richard W. Weyhrauch

[1] Georg Kreisel,et al. A survey of proof theory , 1968, Journal of Symbolic Logic.

[2] John McCarthy,et al. A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[3] Georg Kreisel,et al. Five Notes on the Application of Proof Theory to Computer Science. , 1971 .

[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.

[6] Solomon Feferman,et al. Transfinite recursive progressions of axiomatic theories , 1962, Journal of Symbolic Logic.

[7] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.

[8] G. Kreisel. A Survey of Proof Theory II , 1971 .

[9] C. Cordell Green,et al. The Application of Theorem Proving to Question-Answering Systems , 1969, Outstanding Dissertations in the Computer Sciences.