Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction
The Muscadet theorem prover is a knowledge-based system. It is based on natural deduction, following the terminology of Bledsoe (, ), 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”.
Unable to display preview. Download preview PDF.
- 4.Pastre D., Muscadet: An Automatic theorem Proving System using Knowledge and Metaknowledge in Mathematics-Journal of Artificial Intelligence 38.3 (1989)Google Scholar
- 6.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–381Google Scholar