Foundations of Knowledge Representation and Reasoning [electronic resource] /
edited by Gerhard Lakemeyer, Bernhard Nebel.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1994.
- IX, 363 p. online resource.
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 810 0302-9743 ; .
- Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 810 .
Foundations of knowledge representation and reasoning -- Collective entities and relations in concept languages -- Computing extensions of terminological default theories -- A formalization of interval-based temporal subsumption in first order logic -- Normative, subjunctive and autoepistemic defaults -- Abductive reasoning with abstraction axioms -- Queries, rules and definitions as epistemic sentences in concept languages -- The power of beliefs or translating default logic into standard autoepistemic logic -- Learning an optimally accurate representation system -- Default reasoning via negation as failure -- Weak autoepistemic reasoning and well-founded semantics -- Forming concepts for fast inference -- A common-sense theory of time -- Reasoning with analogical representations -- Asking about possibilities — Revision and update semantics for subjunctive queries Extended report -- On the impact of stratification on the complexity of nonmonotonic reasoning -- Logics of mental attitudes in AI -- Hyperrational conditionals -- Revision by expansion in logic programs.
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.
9783540484530
10.1007/3-540-58107-3 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Q334-342 TJ210.2-211.495
006.3
Foundations of knowledge representation and reasoning -- Collective entities and relations in concept languages -- Computing extensions of terminological default theories -- A formalization of interval-based temporal subsumption in first order logic -- Normative, subjunctive and autoepistemic defaults -- Abductive reasoning with abstraction axioms -- Queries, rules and definitions as epistemic sentences in concept languages -- The power of beliefs or translating default logic into standard autoepistemic logic -- Learning an optimally accurate representation system -- Default reasoning via negation as failure -- Weak autoepistemic reasoning and well-founded semantics -- Forming concepts for fast inference -- A common-sense theory of time -- Reasoning with analogical representations -- Asking about possibilities — Revision and update semantics for subjunctive queries Extended report -- On the impact of stratification on the complexity of nonmonotonic reasoning -- Logics of mental attitudes in AI -- Hyperrational conditionals -- Revision by expansion in logic programs.
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.
9783540484530
10.1007/3-540-58107-3 doi
Computer science.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Formal Languages.
Q334-342 TJ210.2-211.495
006.3