A compositional reasoning system for executing nonmonotonic theories of reasoning
Explore this paper's citation graph
Summary
The framework DESIRE for the design of compositional reasoning systems and multi‐agent systems was applied and the outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and which can be executed by a generic execution mechanism.
- Type
- article
- Published
- 1997-06-09
- Cited by
- 3
- References
- 20
- OpenAlex
- https://openalex.org/W2106247677
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:9865419
Keywords
Non-monotonic logic, Rotation formalisms in three dimensions, Computer science, Reasoning system, Deductive reasoning
References
- Constructive Default Logic and the Control of defeasible reasoning
- Formal Specification of Compositional Architectures
- Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
- An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
- Executable Modal and Temporal Logics
- Default Reasoning System DeReS
- Principles of component-based design of intelligent agents
- Executable Temporal Logic for Non-Monotonic Reasoning
- Specification of nonmonotonic reasoning
- Temporal Theories of Reasoning
- Meta-level selection techniques for the control of default reasoning
- Tableau-based characterization and theorem proving for default logic
- DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework
- Implementing Circumscription Using a Tableau Method
- Towards Efficient Default Reasoning
- Prolog Technology for Default Reasoning (An Abridged Report)
- Prolog Technology for Default Reasoning (An Abridged Report).
- The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
- Adding Priorities and Specificity to Default Logic
- A Temporal Model Theory for Default Logic