Readings in Nonmonotonic ReasoningMatthew L. Ginsberg |
Contents
Contents | 1 |
Background and Historical Papers | 25 |
Formalizations of Nonmonotonic Reasoning | 67 |
Copyright | |
17 other sections not shown
Common terms and phrases
action allow answer appears applied approach argument Artificial Intelligence assume assumption atomic axioms beliefs bird called candidate circumscription clauses closed complete COMPONENTS Computer conclusion consequences consider consistent constraints construction contains contradiction corresponding data base database default default theory defined definition depends derived described determine diagnosis discussed domain environment equivalent evaluation example expressed extension fact failure false fault formal formula frame function give given holds inconsistent inference interpretation justifications knowledge label language logic means measurement minimal modal node nonmonotonic notion object operator possible predicate present problem procedure proof Proposition prove query reasoning refer relation represent result rules satisfies semantics sentences situation statement step structure Suppose Theorem theory tion true truth University values variables