This proceedings volume contains revised and reviewed papers based on talks presented at the first International Workshop on Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by the Volkswagen-Stiftung, Hannover, and provided a forum for researchers from the two fields to communicate and find areas of cooperation. The papersare organized into sections on: - Nonmonotonicity in logic programs - Axiomatic approach to nonmonotonic reasoning - Inductive inference - Autoepistemic logic - Belief updates The bulk of the papers are devoted to nonmonotonic logic and provide an up-to-date view of the current state of research presented by leading experts in the field. A novelty in the contributions from the area of inductive logic is the analysis of nonmonotonicity in the theory of inductive learning.
Author(s): Gerhard Brewka, David Makinson, Karl Schlechta (auth.), J. Dix, K. P. Jantke, P. H. Schmitt (eds.)
Series: Lecture Notes in Computer Science 543
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1991
Language: English
Pages: 250
Tags: Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Foundations
Cumulative inference relations for JTMS and logic programming....Pages 1-12
Cumulativity and rationality in semantics of normal logic programs....Pages 13-37
Nonmonotonic reasoning and logic programs....Pages 38-58
Supracompact inference operations....Pages 59-73
Notions of nonmonotonic derivability....Pages 74-84
Ranges of strong modal nonmonotonic logics....Pages 85-99
On generation of cumulative inference operators by default deduction rules....Pages 100-137
Qualitative magnitude reasoning....Pages 138-160
Monotonic and non-monotonic inductive inference of functions and patterns....Pages 161-177
A note on polynomial-time inference of k-variable pattern languages....Pages 178-183
A thesis in inductive inference....Pages 184-207
Inductive inference of optimal programs a survey and open problems....Pages 208-222
Autoepistemic expansions with incomplete belief introspection....Pages 223-232
Is it impossible to keep up to date?....Pages 233-243
