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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom