nonmonotonic

Although there are strong affinities to nonmonotonic logic, nonmonotonic logic relies more heavily on graph-based representations than on traditional logical ideas, and seems to provide a much finer-grained approach to nonmonotonic reasoning that raises entirely new issues, and which quickly becomes problematic.

Logic and Artificial Intelligence Thomason, Richmond 2008

In fact, as the more recent work in deontic logic shows, nonmonotonic logic provides a natural and useful way to modify the classical deontic logic.

Logic and Artificial Intelligence Thomason, Richmond 2008

The deductive database paradigm was taking shape at about the same time that many AI researchers were thinking through the problems of nonmonotonic logic, and provided several specific examples of nonmonotonic reasoning that called for analyses.

Logic and Artificial Intelligence Thomason, Richmond 2008

In the early stages of its emergence in logical AI, many researchers seem to have thought of nonmonotonic reasoning as a general method for reasoning about uncertainty; but by the end of the

Logic and Artificial Intelligence Thomason, Richmond 2008

In retrospect, we can identify two sorts of approaches to nonmonotonic logic: those based on preference and those based on conflict.

Logic and Artificial Intelligence Thomason, Richmond 2008

In fact, the need for a nonmonotonic analysis of a number of AI applications was as persuasive as the strategic considerations urged by McCarthy, and in many ways more influential on the shape of the formalisms that emerged.

Logic and Artificial Intelligence Thomason, Richmond 2008

Gelfond & Lifschitz 1998 to readers who want to explore in some detail the problems of embedding a nonmonotonic solution to the Frame Problem in relatively expressive action languages.

Logic and Artificial Intelligence Thomason, Richmond 2008

Epistemic logic has inspired other approaches to nonmonotonic logic.

Logic and Artificial Intelligence Thomason, Richmond 2008

As the discussion above of truth maintenance indicated, it is very natural to think of nonmonotonic inferences as being hedged.

Logic and Artificial Intelligence Thomason, Richmond 2008

These include graph-based and proof-theoretic approaches to nonmonotonic logic, results that interrelate the various formalisms, complexity results, tractable special cases of nonmonotonic reasoning, relations between nonmonotonic and abductive reasoning, relations to probability logics, the logical intuitions and apparent patterns of validity underlying nonmonotonic logics, and the techniques used to formalize domains using nonmonotonic logics.

Logic and Artificial Intelligence Thomason, Richmond 2008