Overview

Autonomous, Model-Based Diagnosis Agents defines and describes the implementation of an architecture for autonomous, model-based diagnosis agents. It does this by developing a logic programming approach for model-based diagnosis and introducing strategies to deal with more complex diagnosis problems, and then embedding the diagnosis framework into the agent architecture of vivid agents. Autonomous, Model-Based Diagnosis Agents surveys extended logic programming and shows how this expressive language is used to model diagnosis problems stemming from applications such as digital circuits, traffic control, integrity checking of a chemical database, alarm-correlation in cellular phone networks, diagnosis of an automatic mirror furnace, and diagnosis of communication protocols. The book reviews a bottom-up algorithm to remove contradiction from extended logic programs and substantially improves it by top-down evaluation of extended logic programs. Both algorithms are evaluated in the circuit domain including some of the ISCAS85 benchmark circuits. This comprehensive in-depth study of concepts, architectures, and implementation of autonomous, model-based diagnosis agents will be of great value for researchers, engineers, and graduate students with a background in artificial intelligence. For practitioners, it provides three main contributions: first, it provides many examples from diverse areas such as alarm correlation in phone networks to inconsistency checking in databases; second, it describes an architecture to develop agents; and third, it describes a sophisticated and declarative implementation of the concepts and architectures introduced.

Full Product Details

Author:   Michael Schroeder
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1998
Volume:   442
Dimensions:   Width: 15.50cm , Height: 0.80cm , Length: 23.50cm
Weight:   0.260kg
ISBN:  

9781461376293

ISBN 10:   1461376297
Pages:   143
Publication Date:   12 October 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

1. Introduction.- 1.1 Motivation.- 1.2 Main Contributions.- 1.3 Organisation.- 2. Model-Based Diagnosis.- 2.1 Heuristic Diagnosis vs. Model-Based Diagnosis.- 2.2 The Model.- 2.3 Consistency-based and Abductive Diagnosis.- 2.4 Diagnosis Engines.- 2.5 Summary.- 3. Logic Programming and Diagnosis.- 3.1 Etended Logic Programming.- 3.2 Modelling Diagnosis Problems.- 3.3 REVISE — A System for Program Revision.- 3.4 Summary.- 4. Strategies in Diagnosis.- 4.1 Introduction.- 4.2 A Strategy Language.- 4.3 A Strategy Knowledge Base for Circuit Diagnosis.- 4.4 Operational Semantics and an Algorithm.- 4.5 Extensions of the Strategy Language.- 4.6 Summary.- 5. Autonomous Agents.- 5.1 Introduction.- 5.2 Vivid Agents.- 5.3 Concurrent Action and Planning.- 5.4 Distributed Diagnosis of a Computer Network.- 5.5 Diagnosis of a Communication Protocol.- 5.6 Summary.- 6. Conclusions.- 6.1 Comparisons.- 6.2 General Evaluation.- 6.3 Future Work.- 7. Proofs and Proof Sketches.- References.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions