This proceedings volume contains a selection of revised and extended papers presented at the Second International Workshop on Nonmonotonic and InductiveLogic, NIL '91, which took place at Reinhardsbrunn Castle, December 2-6, 1991. The volume opens with an extended version of a tutorial on nonmonotonic logic by G. Brewka, J. Dix, and K. Konolige. Fifteen selected papers follow, on a variety of topics. The majority of papers belong either to the area of nonmonotonic reasoning or to the field of inductive inference, but some papers integrate research from both areas. The first workshop in this series was held at the University of Karlsruhe in December 1990 and its proceedings were published as Lecture Notes in Artificial Intelligence Volume 543. The series of workshops was made possible by financial support from Volkswagen Stiftung, Hannover. This workshop was also supported by IBM Deutschland GmbH and Siemens AG.
Author(s): Gerd Brewka, Jürgen Dix, Kurt Konolige (auth.), Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.)
Series: Lecture Notes in Computer Science 659 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 338
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
A tutorial on Nonmonotonic Reasoning....Pages 1-88
On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms....Pages 89-106
More about learning elementary formal systems....Pages 107-117
A polynomial time algorithm for finding finite unions of tree pattern languages....Pages 118-131
Towards efficient inductive synthesis: Rapid construction of local regularities....Pages 132-140
Deductive generalization in a default logic setting....Pages 141-152
Deduction with supernormal defaults....Pages 153-174
Multi-agent learning: Theoretical and empirical studies....Pages 175-183
Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems....Pages 184-208
Dual types of hypotheses in inductive inference....Pages 209-240
All I know about Tweety....Pages 241-253
Monotonic versus non-monotonic language learning....Pages 254-269
Normal form results for default logic....Pages 270-283
Retrieval in case-based reasoning using preferred subtheories....Pages 284-297
Interactive synthesis of process flowcharts....Pages 298-322
Probabilistic inference of approximations....Pages 323-332
