Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction

  • Dominique Pastre
Conference paper

DOI: 10.1007/3-540-45744-5_56

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2083)
Cite this paper as:
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

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”.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Dominique Pastre
    • 1
  1. 1.Crip5Université René DescartesFrance

Personalised recommendations