Readings in Nonmonotonic ReasoningMatthew L. Ginsberg |
Contents
Contents | 1 |
Background and Historical Papers | 46 |
Formalizations of Nonmonotonic Reasoning | 67 |
Copyright | |
18 other sections not shown
Common terms and phrases
AB(C action AE extension algorithm approach argument Artificial Intelligence assume ATMS atomic autoepistemic autoepistemic logic belief revision bird circumscription clauses closed world assumption COMPONENTS conflict set consequences consider consistent contains context contradiction data base database DB U EDB deduction default logic default proof default reasoning default rules defined definition derived diagnosis environment equivalent example fact false first-order fixed point fluents formal formula frame problem function HS-tree inconsistent inference rules interpretation intuitive justifications Kleer label Lifschitz Logic Programming M₁ M₂ McCarthy McDermott minimal candidates minimal model modal modal logic monotonic negation negation as failure node nonmonotonic logic nonmonotonic reasoning notion P₁ paper possible worlds predicate problem solver procedure Proposition qualification problem query evaluation Reiter represent representation result satisfies SD U OBS Section semantics sentences situation situation calculus subset Suppose Theorem tion true truth maintenance truth maintenance system Tweety variables wffs