Rule-Based Programming

1996. Auflage 1996
ISBN: 978-0-7923-9769-4
Verlag: Springer Us

Buch, Englisch, Band 369, 306 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1390 g

Reihe: The Springer International Series in Engineering and Computer Science

is a broad presentation of the rule-based programming method with many example programs showing the strengths of the rule-based approach. The rule-based approach has been used extensively in the development of artificial intelligence systems, such as expert systems and machine learning. This rule-based programming technique has been applied in such diverse fields as medical diagnostic systems, insurance and banking systems, as well as automated design and configuration systems.
Rule-based programming is also helpful in bridging the semantic gap between an application and a program, allowing domain specialists to understand programs and participate more closely in their development.
Over sixty programs are presented and all programs are available from an ftp site. Many of these programs are presented in several versions allowing the reader to see how realistic programs are elaborated from `back of envelope' models. Metaprogramming is also presented as a technique for bridging the `semantic gap'.
will be of interest to programmers, systems analysts and other developers of expert systems as well as to researchers and practitioners in artificial intelligence, computer science professionals and educators.

Zielgruppe

Research

Autoren/Hrsg.

Kowalski, Thaddeus J

Levy, Leon S

Fachgebiete

• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Robotik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung

Inhaltsverzeichnis

Getting Started in Rule-Based Programming.- Caveat.- C5.- Summary.- Old Friends Revisited.- The Euclidean Algorithm.- Fibonacci Sequence — Iterative.- Fibonacci Sequence — Recursive.- Towers of Hanoi.- Transitive Closure.- Summary.- Search and Backtracking.- Depth First Search.- Problems as Graphs.- Generate and Test.- Backtracking.- Generators.- Summary.- Ai Paradigms.- Proofs.- Forward Chaining Proofs.- Backward Chaining Proofs.- How and Why.- The System as a Shell.- Embedding-Frames.- The Dijkstra-Lee Program.- Semantic Nets and Conceptual Graphs.- Frames.- Converting Semantic Nets to Frames.- Object Oriented Programming.- Summary.- Language Processing.- Semi-Thue Systems.- Metaprogramming.- Context -Free Grammars.- Tree Evaluation — Synthesized Attributes.- Tree Evaluation — Inherited Attributes.- Tree Grammars.- Summary.- Parts of Prolog and Lisp.- Database Retrieval.- Simple User Interfacing.- State Machine Simulation.- Symbolic Simplification.- Symbolic Differentiation.- Programming in the Large.- Summary.- Machine Learning.- Classification.- Generating Abstractions.- Locating a New Object in a Hierarchy.- The Complete Learning Demonstration Module.- Summary.- References.- Appendix — Quick Reference on C5-R2.0.