Results 151 to 160 of about 697,506 (186)

Nonmonotonic reasoning and logic programming

Knowledge-Based Systems, 1990
Inference methods in knowledge-based systems are presented which are used for inferencing from incomplete information or in systems that model actions, i.e. systems that describe a time-varying world. In such cases, one is faced with nonmonotonic types of derivation when new information can lead to a revision of some statements accepted earlier.
openaire   +1 more source

Nonmonotonic propositional logic

Frontiers of Computer Science, 2021
Wei Li, Yuefei Sui, Yuhui Wang
openaire   +2 more sources

Default logic and specification of nonmonotonic reasoning

Journal of Experimental & Theoretical Artificial Intelligence, 2001
In this paper constructions leading to the formation of belief sets by agents are studied. The focus is on the situation when possible belief sets are built incrementally in stages. An infinite sequence of theories that represents such a process is called a reasoning trace.
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski   +3 more
openaire   +3 more sources

Nonmonotonic Logics – A Brief Overview

AI Communications, 1989
In this paper we describe the most important approaches to formalize nonmonotonic reasoning, in particular default reasoning: autoepistemic logic, default logic, circumscription, Delgrandes's conditional approach, and an approach based on preferred subtheories of the premises.
openaire   +1 more source

Logical characterizations of nonmonotonic TMSs

1989
Nonmonotonic truth maintenance systems (TMSs) have been widely used without a clear appreciation of their capabilities and limitations. This paper characterizes the logical inferences performed by a nonmonotonic TMS in terms of two formalisms of independent interest, namely logic programming with the stable set semantics and autoepistemic logic.
openaire   +1 more source

Applications of nonmonotonic logic to diagnosis

The Knowledge Engineering Review, 1989
Abstract This paper attempts to assess the practical utility of nonmonotonic logic in diagnostic problem solving. We begin with a brief review of the main assumptions which motivate work in this area, and discuss two logic-based approaches which involve nonmonotonic arguments.
openaire   +1 more source

Three-valued nonmonotonic logic

[1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, 2002
The three-valued formulation of nonmonotonic logics is established. It is shown how to extend standard nonmonotonic logics to the three-valued case. It is also shown that a three-valued nonmonotonic logic called maximally ignorant (MI) logic can capture various major standard nonmonotonic logics as its special cases.
openaire   +2 more sources

Possibilistic logic: From nonmonotonicity to logic programming

2005
Links between preferential semantics of possibilistic logic, semantics of prioritized circumscription, and one of the semantics used in logic programming, namely the perfect model semantics of stratified logic programs, are presented.
Salem Benferhat, Didier Dubois, Henri Prade   +2 more
openaire   +2 more sources

Modal nonmonotonic logics demodalized

Annals of Mathematics and Artificial Intelligence, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Is There a Logic of Provability for Nonmonotonic Reasoning?

1996
(KR-96)
GIANNI AMATI, PIRRI ARDIZZONE, Maria Fiora   +1 more
openaire   +2 more sources