Non-monotonic logic - Open Access .click

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.
McDermott, Drew, Doyle, Jon
openaire +2 more sources

Default non-monotonic logic

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.
P. Mott
openaire +2 more sources

Psychological laws and non-monotonic logic

Erkenntnis, 1996
In 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.
A. Silverberg
openaire +2 more sources

Intuitionistic basis for non-monotonic logic

CADE, 2005
McDermott and Doyle [4] suggested a system, denoted by ⊢, of non-monotonic logic. This notion was intended to formalise non-monotonic reasoning as involved in real situations and in artificial intelligence. McDermott and Doyle also list in their paper several difficulties and problems in their approach.
D. Gabbay
openaire +2 more sources

theoretical computer science
programming language
description logic

default logic
epistemology
multimodal logic

algorithm
logic programming
autoepistemic logic