✦ LIBER ✦

A compositional reasoning system for executing nonmonotonic theories of reasoning

✍ Scribed by J. Engelfriet; J. Treur

Publisher: John Wiley and Sons
Year: 2003
Tongue: English
Weight: 209 KB
Volume: 18
Category: Article
ISSN: 0884-8173
DOI: 10.1002/int.10108

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

A system for the computer simulation of

A system for the computer simulation of clinical reasoning

✍ Fred Wiener 📂 Article 📅 1974 🏛 Elsevier Science ⚖ 930 KB

A system is presented for computer simulation of the logical processes used by the physician in clinical medicine. The medical logic in a given area is formulated in modular fashion, where each module states the inference to be drawn and the clinical data on which the inference is based. The complex

A fuzzy-based multimodel system for reas

A fuzzy-based multimodel system for reasoning about the number of software defects

✍ Marek Reformat 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB

Software maintenance engineers need tools to support their work. To make such tools relevant, they should provide engineers with quantitative input, as well as the knowledge needed to understand factors influencing maintenance activities. This article proposes an approach leading to multitechnique k

Limited Capacity of Any Realizable Perce

Limited Capacity of Any Realizable Perceptual System Is a Sufficient Reason for Attentive Behavior

✍ John K. Tsotsos 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 39 KB

Theories for the Spatial Sciences. Revie

Theories for the Spatial Sciences. Review of Spatial Choices and Processes, by Manfred M. Fischer, Peter Nijkamp, and Yorgos Y. Papageorgiou; Theories and Methods of Spatio-temporal Reasoning in Geographic Space, by Andrew V. Frank, Irene Campari, and Ubaldo Formentini and Spatial Information Theory: A Theoretical Basis for GIS, by Andrew V. Frank and Irene Campari

✍ Stephen C. Hirtle 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 149 KB

An architecture for the development of r

An architecture for the development of real-time fault diagnosis systems using model-based reasoning : Gardiner A. Hall, James Schuetzle, David Lavallee and Uday Gupta. Telematics and Informatics, 9(3/4), 163 (1992)

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 112 KB