User:WillWare/Books/WW-Digital-ML-book

Volume 1, Formal Systems

 * Preface


 * Theory
 * Formal systems
 * Production systems
 * First-order logic
 * Logic programming
 * Knowledge representation and reasoning
 * Ontology
 * Automated theorem proving
 * Artificial intelligence


 * Practice
 * Tutorial: Jena
 * A toy production system
 * The Rete algorithm
 * Expert systems
 * Semantic network
 * Semantic Web


 * Historical systems
 * SHRDLU
 * MYCIN, and the Stanford certainty factor algebra
 * Automated Mathematician
 * Eurisko
 * Cyc
 * Adam and Eve robots
 * Lisp
 * Prolog
 * Planner