Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleReasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems
Author(s) Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott
TypeArticle in Conference Proceedings
AbstractOur ultimate goal is to provide a framework and a methodology which will allow users, and not only system developers, to construct complex reasoning systems by composing existing modules, or to add new modules to existing systems, in a "plug and play" manner. These modules and systems might be based on different logics; have different domain models; use different vocabularies and data structures; use different reasoning strategies; and have different interaction capabilities.

This paper makes two main contributions towards our goal. First, it proposes a general architecture for a class of reasoning systems called Open Mechanized Reasoning Systems (OMRSs). An OMRS has three components: a reasoning theory component which is the counterpart of the logical notion of formal system, a control component which consists of a set of inference strategies, and an interaction component which provides
an OMRS with the capability of interacting with other systems, including OMRSs and hum...
PublisherKluwer Academic Publishers
EditorF. Baader and K. U. Schulz
Translation No
Refereed No