Results 141 to 150 of about 697,506 (186)
Moral dilemmas and nonmonotonic logic
Journal of Philosophical Logic, 1994 The author relates the deontic theory of simple categorical oughts of \textit{B. van Fraasen} [J. Philos. 70, 5-19 (1973)] with the default logic of \textit{R. Reiter} [Artif. Intell. 13, 81-132 (1980; Zbl 0435.68069)]. Furthermore, he discusses the extension of this correspondence to conditional obligations and points out that there are deeper ...
John F. Horty
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Judgment aggregation in nonmonotonic logic
SynthÈse, 2017zbMATH Open Web Interface contents unavailable due to conflicting licenses.
exaly +4 more sources
Nondeterministic, nonmonotonic logic databases
IEEE Transactions on Knowledge and Data Engineering, 2001We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic, and nondeterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its flexibility in expressing queries concerning aggregates and data cube.
Giannotti F +3 more
openaire +5 more sources
Minds and Machines, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Journal of the ACM, 1982
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory Then any theorem of this form may be mvahdated if ~p ...
openaire +3 more sources
Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem ts to extend traditional modal logic in the following way The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory Then any theorem of this form may be mvahdated if ~p ...
openaire +3 more sources
Logical foundations of nonmonotonic reasoning
Artificial Intelligence Review, 1991In this paper we shall review the main approaches to nonmono- tonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valuedlpartial models, and conditional. We shall be placing special emphasis on some of the promin- ent approaches.
Nadim Obeid, Raymond Turner
openaire +1 more source
Nonmonotonicity in the Framework of Parametric Logic
Studia Logica, 2018zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
A computationally tractable nonmonotonic logic
IEEE Transactions on Knowledge and Data Engineering, 1994Nonmonotonic logic is intended to apply specifically to situations where the initial information is incomplete. Using nonmonotonic reasoning procedures we shall be able to jump to conclusions, but withdraw them later when we gain additional information. A number of nonmonotonic logics have been introduced and widely discussed.
Thomas J. Weigert, Jeffrey J. P. Tsai
openaire +1 more source
Nonmonotonic default modal logics
Journal of the ACM, 1991Summary: Conclusions by failure to prove the opposite are frequently used in reasoning about an incompletely specified world. This naturally leads to logics for default reasoning that, in general, are nonmonotonic; that is, introducing new facts an invalidate previously made conclusions.
Michael L. Tiomkin, Michael Kaminski
openaire +2 more sources