Results 151 to 160 of about 52,814 (199)
Some of the next articles are maybe not open access.
Artificial Intelligence, 1980
Abstract ‘Non-monotonic’ logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise assumptions in light of new observations.
Drew McDermott, Jon Doyle
openaire +2 more sources
Abstract ‘Non-monotonic’ logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting in the presence of incomplete information, must make and subsequently revise assumptions in light of new observations.
Drew McDermott, Jon Doyle
openaire +2 more sources
Monotonic and Non-Monotonic Logics of Knowledge1
Fundamenta Informaticae, 1991We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it corresponds exactly to normal applications of a non-monotonic rule of inference due to McCarthy.
Rohit Parikh, Rohit Parikh
openaire +2 more sources
First-order Non-monotonic Modal Logics
Fundamenta Informaticae, 2000In this paper we introduce first-order non-monotonic modal logic and study its properties. Our definition is semantical and is based on the intuition similar to that lying behind the definition of first-order default logic. Thus, our definition of first-order non-monotonic modal logic well complies with that of first-order default logic and ...
Guy Rey, Michael Kaminski
openaire +3 more sources
1993
Since the time of Aristotle, logic has developed as a formalism for modelling the correct construction of arguments which demonstrate that a conclusion necessarily follows from a set of premises. It was perhaps in keeping with the Greek obsession with absolutes that there was to be no uncertainty or doubt associated with these arguments.
Paul Krause, Dominic Clark
openaire +2 more sources
Since the time of Aristotle, logic has developed as a formalism for modelling the correct construction of arguments which demonstrate that a conclusion necessarily follows from a set of premises. It was perhaps in keeping with the Greek obsession with absolutes that there was to be no uncertainty or doubt associated with these arguments.
Paul Krause, Dominic Clark
openaire +2 more sources
On the intertranslatability of non‐monotonic logics
Annals of Mathematics and Artificial Intelligence, 1999zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
On the parameterized complexity of non-monotonic logics
Archive for Mathematical Logic, 2015We investigate the application of Courcelle's theorem and the logspace version of Elberfeld et al. in the context of non-monotonic reasoning. Here we formalize the implication problem for propositional sets of formulas, the extension existence problem for default logic, the expansion existence problem for autoepistemic logic, the circumscriptive ...
Irina Schindler +4 more
openaire +2 more sources
The Knowledge Engineering Review, 1988
AbstractThis paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +2 more sources
AbstractThis paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided.
openaire +2 more sources
NoMoRe: Non-monotonic Reasoning with Logic Programs
2002The non-monotonic reasoning system noMoRe [2] implements answer set semantics for normal logic programs. It realizes a novel, rule-based paradigm to compute answer sets by computing non-standard graph colorings of the block graph associated with a given logic program (see [8],[9],[6] for details).
Anger, Christian +2 more
openaire +3 more sources
Psychological laws and non-monotonic logic
Erkenntnis, 1996In this essay I enter into a recently published debate between Stephen Schiffer and Jerry Fodor concerning whether adequate sense can be made of the ceteris paribus conditions in special science laws, much of their focus being on the case of putative psychological laws.
openaire +2 more sources
Logic programming for non-monotonic reasoning
1994Our purpose is to develop a modular systematic method of representing nonmonotonic reasoning problems with the Well Founded Semantics of extended logic programs augmented with eXplicit negation (WFSX), and augmented by its Contradiction Removal Semantics (CRSX) when needed.
Luís Moniz Pereira +2 more
openaire +2 more sources