Results 141 to 150 of about 9,424 (184)

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

Deontic logic as founded on nonmonotonic logic

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

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 propositional logic

Frontiers of Computer Science, 2021
Wei Li, Yuefei Sui, Yuhui Wang
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

Preference logics and nonmonotonicity in logic programming

1992
It is claimed that the notion of preference is a fundamental modality in computing and is a generalization of the notion of minimality. A logic of feasible preference is presented. The non-monotonic behavior of negation in logic programming is modeled as a symbolic optimization problem.
Allen L. Brown, Surya Mantha, Toshiro Wakayama   +2 more
openaire   +1 more source

Fixed points in the propositional nonmonotonic logic

Artificial Intelligence, 1989
An explicit description of fixed points for propositional theories in the nonmonotonic logic introduced by \textit{D. McDermott} and \textit{J. Doyle} [ibid. 13, 41-72 (1980; Zbl 0435.68074)] is given. Some preliminary results concerning the admissibility of a certain set of formulas are presented. From previously proved results, the convergence of the
openaire   +2 more sources

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

Logics for Nonmonotonic Reasoning

1997
This chapter gives an overview of various existing formalizations of non-monotonic reasoning.1 To start with, it may be useful to derive from the previous chapter two basic motivations for using nonmonotonic forms of reasoning. The first is common to all domains of common-sense reasoning.
openaire   +1 more source

Topics in modal nonmonotonic logic

1993
In this chapter we study a variety of loosely connected topics in nonmonotonic modal logic. We start with the discussion of algorithmic issues related to the problem of computing S-expansions. Next, we study the relations between modal nonmonotonic logics.
V. Wiktor Marek, Mirosław Truszczyński
openaire   +1 more source