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