Ebook: The Knowledge Frontier: Essays in the Representation of Knowledge

Knowledge representation is perhaps the most central problem confronting artificial intelligence. Expert systems need knowledge of their domain of expertise in order to function properly. Computer vlslOn systems need to know characteristics of what they are "seeing" in order to be able to fully interpret scenes. Natural language systems are invaluably aided by knowledge of the subject of the natural language discourse and knowledge of the participants in the discourse. Knowledge can guide learning systems towards better understanding and can aid problem solving systems in creating plans to solve various problems. Applications such as intelligent tutoring. computer-aided VLSI design. game playing. automatic programming. medical reasoning. diagnosis in various domains. and speech recogOltlOn. to name a few. are all currently experimenting with knowledge-based approaches. The problem of knowledge representation breaks down into several subsidiary problems including what knowledge to represent in a particular application. how to extract or create that knowledge. how to represent the knowledge efficiently and effectively. how to implement the knowledge representation scheme chosen. how to modify the knowledge in the face of a changing world. how to reason with the knowledge. and how tc use the knowledge appropriately in the creation of the application solution. This volume contains an elaboration of many of these basic issues from a variety of perspectives.

---

---

Content:
Front Matter....Pages i-xxxv
What Is Knowledge Representation?....Pages 1-43
Knowledge Representation: What’s Important About It?....Pages 44-79
Some Remarks on the Place of Logic in Knowledge Representation....Pages 80-91
Logic and Natural Language....Pages 92-102
Commonsense and Fuzzy Logic....Pages 103-136
Basic Properties of Knowledge Base Systems....Pages 137-160
First Order Logic and Knowledge Representation: Some Problems of Incomplete Systems....Pages 161-173
Admissible State Semantics for Representational Systems....Pages 174-186
Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times....Pages 187-220
Knowledge Organization and Its Role in Temporal and Causal Signal Understanding: The ALVEN and CAA Projects....Pages 221-261
SNePS Considered as a Fully Intensional Propositional Semantic Network....Pages 262-315
Representing Virtual Knowledge Through Logic Programming....Pages 316-330
Theorist: A Logical Reasoning System for Defaults and Diagnosis....Pages 331-352
Representing and Solving Temporal Planning Problems....Pages 353-413
Analogical Modes of Reasoning and Process Modelling....Pages 414-428
Representing and Using Knowledge of the Visual World....Pages 429-450
On Representational Aspects of VLSI- CADT Systems....Pages 451-470
Back Matter....Pages 471-512

---

Content:
Front Matter....Pages i-xxxv
What Is Knowledge Representation?....Pages 1-43
Knowledge Representation: What’s Important About It?....Pages 44-79
Some Remarks on the Place of Logic in Knowledge Representation....Pages 80-91
Logic and Natural Language....Pages 92-102
Commonsense and Fuzzy Logic....Pages 103-136
Basic Properties of Knowledge Base Systems....Pages 137-160
First Order Logic and Knowledge Representation: Some Problems of Incomplete Systems....Pages 161-173
Admissible State Semantics for Representational Systems....Pages 174-186
Accelerating Deductive Inference: Special Methods for Taxonomies, Colours and Times....Pages 187-220
Knowledge Organization and Its Role in Temporal and Causal Signal Understanding: The ALVEN and CAA Projects....Pages 221-261
SNePS Considered as a Fully Intensional Propositional Semantic Network....Pages 262-315
Representing Virtual Knowledge Through Logic Programming....Pages 316-330
Theorist: A Logical Reasoning System for Defaults and Diagnosis....Pages 331-352
Representing and Solving Temporal Planning Problems....Pages 353-413
Analogical Modes of Reasoning and Process Modelling....Pages 414-428
Representing and Using Knowledge of the Visual World....Pages 429-450
On Representational Aspects of VLSI- CADT Systems....Pages 451-470
Back Matter....Pages 471-512
....