Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings

ISBN-13: 9783540545644 / Angielski / Miękka / 1991 / 250 str.

J]rgen Dix; Klaus P. Jantke; Peter H. Schmitt

Opis

This proceedings volume contains revised and reviewed papersbased on talks presented at the first International Workshopon Nonmonotonic and Inductive Logic held in Karlsruhe, December 1990. The workshop was supported by theVolkswagen-Stiftung, Hannover, and provided a forum forresearchers from the two fields to communicate and findareas of cooperation. The papersare organized into sectionson: - Nonmonotonicity in logic programs- Axiomatic approach to nonmonotonic reasoning- Inductive inference- Autoepistemic logic- Belief updatesThe bulk of the papers are devoted to nonmonotonic logic andprovide an up-to-date view of the current state of researchpresented by leading experts in the field. A novelty in thecontributions from the area of inductive logic is theanalysis of nonmonotonicity in the theory of inductivelearning.

Spis treści

Cumulative inference relations for JTMS and logic programming.- Cumulativity and rationality in semantics of normal logic programs.- Nonmonotonic reasoning and logic programs.- Supracompact inference operations.- Notions of nonmonotonic derivability.- Ranges of strong modal nonmonotonic logics.- On generation of cumulative inference operators by default deduction rules.- Qualitative magnitude reasoning.- Monotonic and non-monotonic inductive inference of functions and patterns.- A note on polynomial-time inference of k-variable pattern languages.- A thesis in inductive inference.- Inductive inference of optimal programs a survey and open problems.- Autoepistemic expansions with incomplete belief introspection.- Is it impossible to keep up to date?.