Nonmonotonic and Inductive Logic

Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (Herausgeber)

Buch | Softcover

X, 338 Seiten

1993 | 1993
Springer Berlin (Verlag)
978-3-540-56433-1 (ISBN)

Artikel merken

This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop on Nonmonotonic and InductiveLogic, NIL '91, whichtook place at Reinhardsbrunn Castle, December 2-6, 1991.The volume opens with an extended version of a tutorial onnonmonotonic logic by G. Brewka, J. Dix, and K. Konolige.Fifteen selected papers follow, on a variety of topics. Themajority of papers belong either to the area of nonmonotonicreasoning or to the field of inductive inference, butsome papers integrate research from both areas.The first workshop in this series was held at the Universityof Karlsruhe in December 1990 and its proceedings werepublished as Lecture Notes in Artificial Intelligence Volume543. The series of workshops was made possible by financialsupport from Volkswagen Stiftung, Hannover. This workshopwas also supported by IBM Deutschland GmbH and Siemens AG.

A tutorial on Nonmonotonic Reasoning.- On the sample complexity of various learning strategies in the probabilistic PAC learning paradigms.- More about learning elementary formal systems.- A polynomial time algorithm for finding finite unions of tree pattern languages.- Towards efficient inductive synthesis: Rapid construction of local regularities.- Deductive generalization in a default logic setting.- Deduction with supernormal defaults.- Multi-agent learning: Theoretical and empirical studies.- Predicate synthesis from formal specifications: Using mathematical induction for finding the preconditions of theorems.- Dual types of hypotheses in inductive inference.- All I know about Tweety.- Monotonic versus non-monotonic language learning.- Normal form results for default logic.- Retrieval in case-based reasoning using preferred subtheories.- Interactive synthesis of process flowcharts.- Probabilistic inference of approximations.

Erscheint lt. Verlag	26.2.1993
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	X, 338 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	453 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Artificial Intelligence • Automatisches Beweisverfahren • Case-Based Reasoning • Complexity • concept learning • Default Logic • Default-Logic • formal specification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Inductive Inference • Inductive Logic • Induktive Inferenz • Induktive Logik • Konzeptionelles Lernen • Künstliche Intelligenz • Nicht-monotones Schliessen • Nicht-monotones Schließen • Nonmonotonic Reasoning • selection
ISBN-10	3-540-56433-0 / 3540564330
ISBN-13	978-3-540-56433-1 / 9783540564331
Zustand	Neuware