Foundations of Knowledge Representation and Reasoning

✍ Scribed by Gerhard Lakemeyer, Bernhard Nebel (auth.), Gerhard Lakemeyer, Bernhard Nebel (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1994
• Tongue: English
• Leaves: 363
• Series: Lecture Notes in Computer Science 810 : Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Cousins on mental attitudes.
In total, the volume provides a well-organized report on current research in knowledge representation, which is one of the central subfields of AI. Except the surveys, the papers grew out of a workshop on Theoretical Foundations of Knowledge Representation and Reasoning, held in conjunction with the 10th European Conference on Artificial Intelligence (ECAI-92) in Vienna in August 1992.

✦ Table of Contents

Foundations of knowledge representation and reasoning....Pages 1-12
Collective entities and relations in concept languages....Pages 13-29
Computing extensions of terminological default theories....Pages 30-52
A formalization of interval-based temporal subsumption in first order logic....Pages 53-73
Normative, subjunctive and autoepistemic defaults....Pages 74-97
Abductive reasoning with abstraction axioms....Pages 98-112
Queries, rules and definitions as epistemic sentences in concept languages....Pages 113-132
The power of beliefs or translating default logic into standard autoepistemic logic....Pages 133-144
Learning an optimally accurate representation system....Pages 145-159
Default reasoning via negation as failure....Pages 160-178
Weak autoepistemic reasoning and well-founded semantics....Pages 179-199
Forming concepts for fast inference....Pages 200-215
A common-sense theory of time....Pages 216-228
Reasoning with analogical representations....Pages 229-249
Asking about possibilities — Revision and update semantics for subjunctive queries Extended report....Pages 250-274
On the impact of stratification on the complexity of nonmonotonic reasoning....Pages 275-295
Logics of mental attitudes in AI....Pages 296-309
Hyperrational conditionals....Pages 310-332
Revision by expansion in logic programs....Pages 333-355

✦ Subjects

Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages