Results 141 to 150 of about 9,446 (176)

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

Tableaux for Nonmonotonic Logics

1999
In the last 15 years there has been a huge amount of research on logical formalization of commonsense reasoning. One of the major difficulties against the use of standard logics for this purpose is that commonsense reasoning requires the capability of dealing with information which is not complete and is subject to change.
openaire   +1 more source

Judgment aggregation in nonmonotonic logic

Synthese, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Nonmonotonic Logic of Belief

Fundamenta Informaticae, 1989
A nonmonotonic logic of belief based on a combined monotonic logic of knowledge and belief is presented. Unlike previous nonmonotonic logics of belief, this logic contains an unless operator by means of which preference for beliefs and refutation of those beliefs can be expressed, thereby providing explicit representation of nonmonotonicity. A decision
openaire   +1 more source

Nonmonotonic Logic

1993
V. Wiktor Marek, Mirosław Truszczyński
openaire   +1 more source