Building Expert Systems in Prolog

Dennis Merritt (Autor)

Buch | Softcover

358 Seiten

2011 | Softcover reprint of the original 1st ed. 1989
Springer-Verlag New York Inc.
978-1-4613-8913-2 (ISBN)

Artikel merken

When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in the Telephone Shop of the Gennan Federal PTT near the Munich National Theater, and helps configure telephone systems and small PBXs for mostly private customers. It has a neat, graphical interface, and constructs and prices an individual telephone installation interactively before the very eyes of the customer. The hidden features of the system are even more impressive. It is part of an expert system network with a distributed knowledge base that will grow to about 150 installations in every Telephone Shop throughout Gennany. Each of them can be updated individually overnight via Teletex to present special offers or to adapt the selection process to the hardware supplies currently available at the local ware houses.

1 Introduction.- 1.1 Expert Systems.- 1.2 Expert System Features.- 1.3 Sample Applications.- 1.4 Prolog.- 1.5 Assumptions.- 2 Using Prolog’s Inference Engine.- 2.1 The Bird Identification System.- 2.2 User Interface.- 2.3 A Simple Shell.- 2.4 Summary.- 3 Backward Chaining with Uncertainty.- 3.1 Certainty Factors.- 3.2 MYCIN’S Certainty Factors.- 3.3 Rule Format.- 3.4 The Inference Engine.- 3.5 Making the Shell.- 3.6 English-like Rules.- 4 Explanation.- Value of Explanations to the User.- Value of Explanations to the Developer.- Types of Explanation.- 4.1 Explanation in Clam.- 4.2 Native Prolog Systems.- 5 Forward Chaining.- 5.1 Production Systems.- 5.2 Using Oops.- 5.3 Implementation.- 5.4 Explanations for Oops.- 5.5 Enhancements.- 5.6 Rule Selection.- 5.7 LEX.- 5.8 MEA.- 6 Frames.- 6.1 The Code.- 6.2 Data Structure.- 6.3 The Manipulation Predicates.- 6.4 Using Frames.- 6.5 Summary.- 7 Integration.- 7.1 Foops (Frames and Oops).- 7.2 Room Configuration.- 7.3 A Sample Run.- 7.4 Summary.- 8 Performance.- 8.1 Backward Chaining Indexes.- 8.2 Rete Match Algorithm.- 8.3 The Rete Graph Data Structures.- 8.4 Propagating Tokens.- 8.5 The Rule Compiler.- 8.6 Integration with Foops.- 8.7 Design Tradeoffs.- 9 User Interface.- 9.1 Object Oriented Window Interface.- 9.2 Developer’s Interface to Windows.- 9.3 High-Level Window Implementation.- 9.4 Low-Level Window Implementation.- 10 Two Hybrids.- 10.1 CVGEN.- 10.2 The Knowledge Base.- 10.3 Inference Engine.- 10.4 Explanations.- 10.5 Environment.- 10.6 AIJMP.- 10.7 Summary.- 11 Prototyping.- 11.1 The Problem.- 11.2 The Sales Advisor Knowledge Base.- 11.3 The Inference Engine.- 11.4 User Interface.- 11.5 Summary.- 12 Rubik’s Cube.- 12.1 The Problem.- 12.2 The Cube.- 12.3 Rotation.- 12.4 High Level Rules.- 12.5 Improving theState.- 12.6 The Search.- 12.7 More Heuristics.- 12.8 User Interface.- 12.9 On the Limits of Machines.- Appendix A Native.- Sample Dialog.- Birds Knowledge Base.- Native Shell.- Appendix B Clam.- Sample Dialog.- Car Knowledge Base.- Clam.- Ldruls.- Appendix C Oops.- Sample Dialog.- Room Knowledge Base.- Oops.- Appendix D Foops.- Sample Dialog.- Room Knowledge Base (Foops).- Foops.- Appendix E Rete-Foops.- Rete Compiler and Runtime.- Appendix F Windows.- Window Demonstration.- Windows (abbreviated).- Appendix G Rubik.- Rubik.- Rubdata.- References.- Predicate Index.

Reihe/Serie	Springer Compass International
Zusatzinfo	XV, 358 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Informatik ► Theorie / Studium ► Compilerbau
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
ISBN-10	1-4613-8913-5 / 1461389135
ISBN-13	978-1-4613-8913-2 / 9781461389132
Zustand	Neuware