Bücher online kaufen
Nonmonotonic and Inductive Logic
-0 %
1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
Artikel-Nr:
9783540545644
Veröffentl:
1991
Einband:
Paperback
Erscheinungsdatum:
18.09.1991
Seiten:
260
Autor:
Peter H. Schmitt
Gewicht:
400 g
Format:
235x155x15 mm
Serie:
543, Lecture Notes in Artificial Intelligence
Sprache:
Englisch
Beschreibung:
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.
This proceedings volume contains revised papers from the first International Workshop on Nonmonotonic and Inductive Logic. Topics covered include nonmonotonicity in logic programs, axiomatic approach to nonmonotonic reasoning, inductive inference, autoepistemic logic, and belief updates.
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?.