Cantitate/Preț
Produs

Nonmonotonic and Inductive Logic

Editat de Klaus P. Jantke, Peter H. Schmitt
en Limba Engleză Paperback – 18 sep 1991
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.
Citește tot Restrânge

Preț: 32014 lei

Preț vechi: 40017 lei
-20%

Puncte Express: 480

Carte tipărită la comandă

Livrare economică 14-28 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783540545644
ISBN-10: 3540545646
Pagini: 260
Ilustrații: X, 250 p.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.4 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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?.