scientific article; zbMATH DE number 1140677
Composite reasoning theories are similar to multilanguage systems where sequents may have hypotheses and conclusions from different languages and bridge rules may discharge hypotheses across languages. The work presented in the paper is an attempt at an axiomatic presentation of a class of deductive systems in the spirit of the work on general logics aiming to provide a suitable framework and a methodology to construct complex systems by composing existing modules and/or to add new modules which might be based on different logics and have different domain models to existing systems. The main contribution of the paper is twofold: the former is to propose a general architecture for a class of reasoning modules and systems (OMRSs) and the latter is to develop the theory underlying the reasoning theory component. The development is illustrated by an analysis of the Boyer-Moore system (NQTHM). For the entire collection see [Zbl 0885.00046].
- Towards the Mathematics Software Bus
- Computer algebra and artificial intelligence
- Constraint contextual rewriting.
- An infrastructure of intertheory reasoning
- Combining semantical and syntactical theory reasoning
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
- Composing and controlling search in reasoning theories using mappings
- Deduction as an engineering science
- A Global Workspace Framework for Combining Reasoning Systems
- scientific article; zbMATH DE number 2227401 (Why is no real title available?)
- Reasoning theories. Toward an architecture for open mechanized reasoning systems
- Formal and efficient primality proofs by use of computer algebra oracles
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385442)
