Details:
Title | Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems | Author(s) | Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott | Type | Article in Conference Proceedings | Abstract | Our 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... |
Language | English | Pages | 157-174 | Publisher | Kluwer Academic Publishers | Year | 1996 | Editor | F. Baader and K. U. Schulz | Edition | 0 | Translation |
No | Refereed |
No |
|