Results 161 to 170 of about 697,506 (186)

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

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

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

Bridges between Classical and Nonmonotonic Logic

Logic Journal of IGPL, 2003
In this interesting paper, three methods of extending classical propositional logic, without changing the language or loss of monotonicity, are described. The first method consists in using additional background assumptions. The idea of the second one is to restrict valuations considered possible. The third method uses additional background rules.
openaire   +2 more sources

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

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   +3 more sources

Embedding a Default System into Nonmonotonic Logics

Fundamenta Informaticae, 1991
An embedding of minimal sets for default theories into nonmonotonic and nonmonotonic ground logics based on S4 and S5 is presented.
openaire   +3 more sources

The logic of nonmonotonicity

Artificial Intelligence, 1990
openaire   +2 more sources

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