Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR '94)Jon Doyle, Erik Sandewall, Pietro Torasso Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR '94) held in Bonn, Germany, on May 24-27, 1994. The conference provided a forum for reviewing the theory and principles underlying knowledge representation and reasoning. Topics covered range from reasoning about mental states and spatial reasoning with propositional logics to default logic as a query language. Comprised of 60 chapters, this book begins with a description of a formal language for representing and reasoning about time and action before turning to proof in context and how it can replace the most common uses of reflection principles. The reader is then introduced to reasoning with minimal models; belief ascription and mental-level modeling; and a unified framework for class-based representation formalisms. A general approach to specificity in default reasoning is also described, together with an ontology for engineering mathematics and the use of abduction to generate tests. The book concludes by considering the use of natural language for knowledge representation and reasoning. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science. |
Other editions - View all
Common terms and phrases
abductive action agent algorithm answer set applied Artificial Intelligence assignment assume assumption atomic ATT-Meta autoepistemic logic axioms backtracking belief belief revision circumscription clauses complete concept conditional objects consequence relation consider consistent constraints corresponding cross entropy database default logic defined definition denote description logic disjunction domain entailment epistemic logic equivalent example expressive extension extrospective finite first-order fixpoint formal formula framework function GEDPs given goal graph GSAT Horn clauses inference interpretation Intuitively knowledge base Knowledge Representation language Lemma Lifschitz linear literals logic programs minimal modal modal logic monotonic node nogood nonmonotonic notion ontology operator polynomial possible preconditions predicate preference Proc proof properties propositional QSIM quantities query reasoning restricted role rules satisfies semantics sentences sortal specific structure subset subsumption temporal terminology Theorem theory tion tractable true tuple update variables white2