Foundations of Knowledge Representation and Reasoning: 810 - Brossura

Lakemeyer, Gerhard; Nebel, Bernhard

Brossura

ISBN 10: 3540581073 ISBN 13: 9783540581079

Casa editrice: Springer, 2008

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540581073
• ISBN 13: 9783540581079
• Rilegatura: Copertina flessibile
• Numero di pagine: 372
• Contatto del produttore: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Germania