𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Nonmonotonic reasoning and logic programming

✍ Scribed by Petr Jirků

Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
429 KB
Volume
3
Category
Article
ISSN
0950-7051

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logical foundations of nonmonotonic reas
Logical foundations of nonmonotonic reasoning
✍ Nadim Obeid; Raymond Turner 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 935 KB

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

Conditional reasoning in logic programmi
Conditional reasoning in logic programming
✍ D. Gabbay; L. Giordano; A. Martelli; N. Olivetti; M.L. Sapino 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 286 KB

We introduce a logic programming language which supports hypothetical and counterfactual reasoning. The language is based on a conditional logic which enables to formalize conditional updates of the knowledge base. Due to the presence of integrity constraints, alternative revisions of the knowledge

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

Prioritized logic programming and its ap
Prioritized logic programming and its application to commonsense reasoning
✍ Chiaki Sakama; Katsumi Inoue 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP), which has a mechanism of explicit representation of priority information in a program. When a program contains incomplete or indefinite informa