Abstract
The Muscadet theorem prover is a knowledge-based system. It is based on natural deduction, following the terminology of Bledsoe ([1], [2]), and uses methods which resemble those used by humans. It is composed of an inference engine, which interprets and executes rules, and of one or several bases of facts, which are the internal representations of “theorems to be proved”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bledsoe, W.W. Splitting and reduction heuristics in automatic theorem proving, Journal of Artificial Intelligence 2 (1971), 55–77
Bledsoe, W.W., Non-resolution theorem proving, Journal of Artificial Intelligence 9 (1977), 1–35
Pastre D., Automatic theorem Proving in Set theory, Journal of Artificial Intelligence 10 (1978), 1–27
Pastre D., Muscadet: An Automatic theorem Proving System using Knowledge and Metaknowledge in Mathematics-Journal of Artificial Intelligence 38.3 (1989)
Pastre D., Automated theorem Proving in Mathematics, Annals on Artificial Intelligence and Mathematics 8.3-4 (1993), 425–447
Pastre D., Entre le déclaratif et le procédural: l’expression des connaissances dans le système Muscadet, Revue d’Intelligence Artificielle 8.4 (1995), 361–381
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pastre, D. (2001). Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction. In: Goré, R., Leitsch, A., Nipkow, T. (eds) Automated Reasoning. IJCAR 2001. Lecture Notes in Computer Science, vol 2083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45744-5_56
Download citation
DOI: https://doi.org/10.1007/3-540-45744-5_56
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42254-9
Online ISBN: 978-3-540-45744-2
eBook Packages: Springer Book Archive