Results 91 to 100 of about 783,609 (145)

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 ...
Christian Strasser
semanticscholar   +2 more sources

Modal nonmonotonic logics

, 1993
Monotonic modal logics have long been used as means to study formal properties of such concepts as knowledge and belief. But they are not quite adequate to study knowledge (or belief) sets an agent constructs when he is reasoning not only from what is known to him but also from what is possible or consistent to assume Such reasonings are defeasible ...
V. Marek, M. Truszczynski
semanticscholar   +2 more sources

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
J. Bell
semanticscholar   +2 more sources

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.
N. Olivetti
semanticscholar   +2 more sources

Nonmonotonic Logics

Lecture Notes in Computer Science, 1997
K. Schlechta
semanticscholar   +2 more sources

Home - About - Disclaimer - Privacy