A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning

J. Engelfriet, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review


In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be executed by a generic execution mechanism. The main advantages of using DESIRE (for example, compared to a direct implementation in a programming language such as PROLOG) are that the design is generic and has a transparent compositional structure, and the explicit declarative specification of both the static and dynamic aspects of the nonmonotonic reasoning processes, including their control. © 2003 Wiley Periodicals, Inc.
Original languageEnglish
Pages (from-to)593-608
JournalInternational journal of intelligent systems
Publication statusPublished - 2003

Bibliographical note



Dive into the research topics of 'A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning'. Together they form a unique fingerprint.

Cite this