Premium
A compositional reasoning system for executing nonmonotonic theories of reasoning
Author(s) -
Engelfriet J.,
Treur J.
Publication year - 2003
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10108
Subject(s) - non monotonic logic , rotation formalisms in three dimensions , computer science , reasoning system , deductive reasoning , prolog , opportunistic reasoning , model based reasoning , automated reasoning , programming language , circumscription , qualitative reasoning , artificial intelligence , theoretical computer science , knowledge representation and reasoning , mathematics , geometry
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.