Non-Monotonic Reasoning - 2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings

This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computational realization, and its application to the formalization of common sense reasoning. The book presents a snapshot of the state of the art in this research area, and provides in-depth discussions of current problems and approaches.

Sommario

General theory of cumulative inference.- New results on semantical nonmonotonic reasoning.- The semantics of non-monotonic entailment defined using partial interpretations.- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report.- Autoepistemic stable closures and contradiction resolution.- Compiling circumscriptive theories into logic programs.- A circumscriptive theorem prover.- The complexity of Model-Preference Default theories.- Massively parallel Assumption-based Truth Maintenance.- An extended basic ATMS.- A nonmonotonic logic for reasoning about speech acts and belief revision.- Autoepistemic logic and formalization of commonsense reasoning preliminary report.- Nonmonotonic reasoning in temporal domains: The knowledge independence problem.- Benchmark problems for formal nonmonotonic reasoning.- Logics for inheritance theory.

Dettagli sul prodotto

• Con la collaborazione di: Joha de Kleer (Editore), Johan De Kleer (Editore), Matthew L. Ginsberg (Editore), Johan De Kleer (Editore), Matthew L Ginsberg et al (Editore), Michael Reinfrank (Editore), Erik Sandewall (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 26.06.2009
• EAN: 9783540507017
• ISBN: 978-3-540-50701-7
• Pagine: 240
• Peso: 363 g
• Illustrazioni: XVI, 240 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica