This book explores the building of expert systems using logic for knowledge representation and meta-level inference for control. It presents research done by members of the expert systems group of the Department of Artificial Intelligence in Edinburgh, often in collaboration with others, based on two hypotheses: that logic is a suitable knowledge representation language, and that an explicit representation of the control regime of the theorem prover has many advantages.  The editors introduce these hypotheses and present the arguments in their favor They then describe Socrates' a tool for the construction of expert systems that is based on these assumptions. They devote the remaining chapters to the solution of problems that arise from the restrictions imposed by Socrates's representation language and from the system's inefficiency.  The chapters dealing with the representation problem present a reified approach to temporal logic that makes it possible to use nonstandard logics without extending the system, and describe a general proof method for arbitrary modal logics. Those dealing with the efficiency problem discuss the technique of partial evaluation and its limitations, as well as another possible solution known as assertion-time inference.  Peter Jackson is a Senior Scientist in the Department of Applied Mathematics and Computer Sciences at the McDonnell Douglas Research Laboratory in St. Louis. Han Reichgelt is a Lecturer in Department of Psychology at the University of Nottingham. Frank van Harmelen is a Research Fellow in the Mathematical Reasoning Group at the University of Edinburgh.

Logic-Based Knowledge Representation (Mit Press Series in Logic Programming)

Computers & Technology

JACKSON,Peter

Reichgelt, Han

Van Harmelen, Frank

Computer Science

Mit Pr

Knowledge Representation: An AI Perspective (Tutorial Monographs in Cognitive Science)

<p>"one way of coping with the control problems is by making the language less expensive"</p>

Ablex Publishing

Most researchers to date in artificial intelligence has been based on the knowledge representation hypothesis, that is, the assumption that in any artificial intelligence (AI) programme there is a separate module which represents the information that the programme has about the world. As a result, a number of so-called knowlege representation formalisms have been developed for representing this kind of information in a computer. This text discusses the most popular knowledge representation languages - logic, production rules, semantics (networked and frames), and also provides a short introduction to AI systems that combine various knowledge representation languages. The knowlege representation hypothesis has been challenged by the re-emergence of a new style of computing, variously called parallel distributed processing, connectionism, or neural networks. These approaches are discussed in a separate chapter, and the arguments in favour of and against parallel distributed processing are reviewed.

Intellect Ltd

See the best price to sell, buy, or rent books by Reichgelt, Han. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Reichgelt, Han