Results 161 to 170 of about 772 (194)

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

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

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

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

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   +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

Nonmonotonic reasoning, nonmonotonic logics and reasoning about change

Artificial Intelligence Review, 1990
In this paper we introduce nonmonotonic reasoning and the attempts at formalizing it using nonmonotonic logics. We examine and compare the best known of these. Despite the difference in motivation and technical construction there are strong similarities between these logics which are confirmed when they are finally shown to have a common basis. Finally
openaire   +1 more source

Hardware Implementation of Temporal Nonmonotonic Logics

2006
In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic.
Insu Song, Guido Governatori
openaire   +3 more sources

Nonmonotonic Logic

Nonmonotonic logics serve as formal models of defeasible reasoning, a type of reasoning where conclusions are drawn absent absolute certainty. Defeasible reasoning takes place when scientists interpret experiments, in medical diagnosis, and in practical everyday situations.
openaire   +1 more source

Nonmonotonic reasoning and logic programs

2005
The present paper is concerned with a unifying approach to non-monotonic reasoning in clause logic programming. An outline of a general theory of non-monotonic reasoning is given that is aimed at a foundation of this area. Typical results are presented in the frame of this theory and problems related to logic programming are discussed.
openaire   +1 more source