Non-Monotonic Reasoning

This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.

General theory of cumulative inference. - New results on semantical nonmonotonic reasoning. - The semantics of non-monotonic entailment defined using partial interpretations. - Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report. - Autoepistemic stable closures and contradiction resolution. - Compiling circumscriptive theories into logic programs. - A circumscriptive theorem prover. - The complexity of Model-Preference Default theories. - Massively parallel Assumption-based Truth Maintenance. - An extended basic ATMS. - A nonmonotonic logic for reasoning about speech acts and belief revision. - Autoepistemic logic and formalization of commonsense reasoning preliminary report. - Nonmonotonic reasoning in temporal domains: The knowledge independence problem. - Benchmark problems for formal nonmonotonic reasoning. - Logics for inheritance theory.