𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical foundations of nonmonotonic reasoning

✍ Scribed by Nadim Obeid; Raymond Turner

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
935 KB
Volume
5
Category
Article
ISSN
0269-2821

No coin nor oath required. For personal study only.

✦ Synopsis

In this paper we shall review the main approaches to nonmonotonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the prominent approaches. We shall also give hints on potential future directions and emphasize that more theoretical work is still needed before a move to application is made.

πŸ“œ SIMILAR VOLUMES

From ordering-based nonmonotonic reasoni
From ordering-based nonmonotonic reasoning to conditional logics
✍ Luis FariΓ±as del Cerro; Andreas Herzig; JΓ©rΓ΄me Lang πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 1001 KB

Farifias del Cerro, L., A. Herzig and J. Lang, From ordering-based nonmonotonic reasoning to conditional logics, Artificial Intelligence 66 (1994) 375-393. As G~irdenfors and Makinson have recently shown, a nonmonotonic inference relation can be generated from a total pre-ordering on the set of for

The logic of nonmonotonicity
The logic of nonmonotonicity
✍ John Bell πŸ“‚ Article πŸ“… 1990 πŸ› Elsevier Science 🌐 English βš– 431 KB
A compositional reasoning system for exe
A compositional reasoning system for executing nonmonotonic theories of reasoning
✍ J. Engelfriet; J. Treur πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

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 e