2008 | OriginalPaper | Buchkapitel
Openproof - A Flexible Framework for Heterogeneous Reasoning
verfasst von : Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda
Erschienen in: Diagrammatic Representation and Inference
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we describe the Openproof heterogeneous reasoning framework. The Openproof framework provides support for the implementation of heterogeneous reasoning environments, i.e., environments for writing arguments or proofs involving a number of different kinds of representation. The resulting environments are in a similar spirit to our
Hyperproof
program, though the Openproof framework goes beyond
Hyperproof
by providing facilities for the inclusion of a variety of representation systems in the same environment. The framework serves as the core of a number of widely used educational programs including
Fitch
.