Useful Properties of a Frame-Based Representation of Mathematical Knowledge
Download:
|
|
by Manfred Kerber, Manfred Kerber
http://kbibmp3.ub.uni-kl.de/Preprint_Informatik/PS/Kerber-SR-91-06.ps.gz
Add To MetaCart
Abstract:
To prove difficult theorems in a mathematical field requires substantial knowledge of that field. In this paper a frame-based knowledge representation formalism is presented, which supports a conceptual representation and to a large extent guarantees the consistency of the built-up knowledge bases. We define a semantics of the representation by giving a translation into the underlaying logic.
Citations
| 572 | A framework for representing knowledge – Minsky - 1975 |
| 462 | Principles of Artificial Intelligence – Nilsson - 1980 |
| 67 | The logic of frames – Hayes - 1979 |
| 63 | The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory – Gödel - 1940 |
| 36 | The Psychology of Invention in the Mathematical Field – Hadamard - 1945 |
| 29 | Mathematics and Plausible Reasoning – Polya - 1954 |
| 15 | Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving – Polya - 1962 |
| 13 | On the Representation of Mathematical Concepts and their Translation into First Order Logic – Kerber - 1992 |
| 5 | The Markgraf Karl Refutation Procedure – Raph - 1984 |
| 2 | Vollstndige Induktion – Hutter - 1992 |
| 2 | der Waerden. Wie der Beweis der Vermutung von Baudet gefunden wurde – van - 1964 |
| 1 | der Waerden. Algebra I, volume 12 of Heidelberger Taschenbucher – van - 1971 |
