Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
Back to School Savings: Save up to 30% on print books and eBooks. No promo code needed.
Back to School Savings: Save up to 30%
Principles of Knowledge Representation and Reasoning
Proceedings of the Fourth International Conference (KR '94)
1st Edition - June 8, 1994
Editors: Jon Doyle, Erik Sandewall, Pietro Torasso
eBook ISBN:
9 7 8 - 1 - 4 8 3 2 - 1 4 5 2 - 8
Principles of Knowledge Representation and Reasoning contains the proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR… Read more
Purchase Options
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.
Preface
Acknowledgments
A Computational Account for a Description Logic of Time and Action
Proofs in Context
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning About Mental States
Reasoning with Minimal Models: Efficient Algorithms and Applications
Spatial Reasoning with Propositional Logics
On the Relation Between Default and Modal Consequence Relations
Toward a Logic for Qualitative Decision Theory
Belief Ascription and Mental-Level Modelling
Default Logic as a Query Language
A Unified Framework for Class-Based Representation Formalisms
Learning the Classic Description Logic: Theoretical and Experimental Results
Directional Resolution: The Davis-Putnam Procedure, Revisited
A General Approach to Specificity in Default Reasoning
Action Representation for Interpreting Purpose Clauses in Natural Language Instructions
Conditional Objects as Nonmonotonic Consequence Relations: Main Results
Tractable Closed World Reasoning with Updates
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update
On the Complexity of Conditional Logics
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning
GSAT and Dynamic Backtracking
Representing Uncertainty in Simple Planners
How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone
An Ontology for Engineering Mathematics
An Ontology of Meta-Level Categories
Defeasible Reasoning with Structured Information
On Positive Occurrences of Negation as Failure
Probabilistic Reasoning in Terminological Logics
On Multiagent Autoepistemic Logic—An Extrospective View
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms
Actions with Indirect Effects (Preliminary Report)
An Application of Terminological Logics to Case-Based Reasoning
Risk-Sensitive Planning with Probabilistic Decision Graphs
Easy to be Hard: Difficult Problems for Greedy Algorithms
Complexity Results for First-Order Theories of Temporal Constraints
Reasoning in Logic About Continuous Systems
Enhancing the Power of a Decidable First-Order Reasoner
Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version)
How to Progress a Database (and Why) I. Logical Foundations
Modalities Over Actions, I. Model Theory
Generating Tests Using Abduction
Preferential Entailments for Circumscriptions
A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning
A Framework for Part-of Hierarchies in Terminological Logics
Means-End Plan Recognition—Towards a Theory of Reactive Recognition
Terminological Cycles and the Propositional μ-Calculus
Near-Optimal Plans, Tractability, and Reactivity
Specification and Evaluation of Preferences Under Uncertainty
Making the Difference: A Subtraction Operation for Description Logics
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation
The Role of Reversible Grammars in Translating Between Representation Languages
Constraint Tightness Versus Global Consistency
Honesty in Partial Logic
Mutual Belief Revision (Preliminary Report)
Revise: An Extended Logic Programming System for Revising Knowledge Bases
Transmutations of Knowledge Systems
Invited Talks
Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract Only)
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning
Beyond Ignorance-Based Systems (Abstract Only)
Panels
Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract Only)
Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract Only)
Contributions by Topic
Author Index
- No. of pages: 668
- Language: English
- Published: June 8, 1994
- Imprint: Morgan Kaufmann
- eBook ISBN: 9781483214528