Building Problem Solvers

Building Problem Solvers

Author: Kenneth D. Forbus

Publisher: MIT Press

Published: 1993

Total Pages: 726

ISBN-13: 9780262061575

DOWNLOAD EBOOK

After working through Building Problem Solvers, readers should have a deep understanding of pattern directed inference systems, constraint languages, and truth maintenance systems.


Truth maintenance systems for problem solving

Truth maintenance systems for problem solving

Author: Jon Doyle

Publisher:

Published: 1978

Total Pages: 31

ISBN-13:

DOWNLOAD EBOOK

The thesis developed in this paper is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to: (1) maintain the consistency of program beliefs; (2) realize substantial search efficiencies; and (3) automatically summarize explanations of program beliefs. This report describes techniques for representing, recording, maintaining, and using justifications for beliefs. Also presented is an annotated implementation of a domain-independent program.


Expert Systems

Expert Systems

Author: Cornelius T. Leondes

Publisher: Elsevier

Published: 2001-09-26

Total Pages: 2125

ISBN-13: 0080531458

DOWNLOAD EBOOK

This six-volume set presents cutting-edge advances and applications of expert systems. Because expert systems combine the expertise of engineers, computer scientists, and computer programmers, each group will benefit from buying this important reference work. An "expert system" is a knowledge-based computer system that emulates the decision-making ability of a human expert. The primary role of the expert system is to perform appropriate functions under the close supervision of the human, whose work is supported by that expert system. In the reverse, this same expert system can monitor and double check the human in the performance of a task. Human-computer interaction in our highly complex world requires the development of a wide array of expert systems. Expert systems techniques and applications are presented for a diverse array of topics including Experimental design and decision support The integration of machine learning with knowledge acquisition for the design of expert systems Process planning in design and manufacturing systems and process control applications Knowledge discovery in large-scale knowledge bases Robotic systems Geograhphic information systems Image analysis, recognition and interpretation Cellular automata methods for pattern recognition Real-time fault tolerant control systems CAD-based vision systems in pattern matching processes Financial systems Agricultural applications Medical diagnosis


Truth Maintenance Systems

Truth Maintenance Systems

Author: João P. Martins

Publisher: Springer Science & Business Media

Published: 1991-07-24

Total Pages: 196

ISBN-13: 9783540543053

DOWNLOAD EBOOK

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.


A Truth Maintenance System

A Truth Maintenance System

Author: Jon Doyle

Publisher:

Published: 1979

Total Pages: 45

ISBN-13:

DOWNLOAD EBOOK

To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumtions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. Such recorded reasons are useful in constructing explanations for program actions and in guiding the course of action of a problem solver. This paper describes (1) the representations and structure of the TMS, (2) the mechanisms used to revise the current set of beliefs, (3) how dependency-directed backtracking changes the current set of assumptions, (4) techniques for summarizing explanations of beliefs, (5) how to organize problem solvers into 'dialectically arguing' modules, (6) how to revise models of the belief systems of others, and (7) methods for embedding control structures in patterns of assumptions. We stress the need of problem solvers to choose between alternate systems of beliefs, and outline a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do. (Author).