Jump to content

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

From Wikipedia, the free encyclopedia

Machine Cognition

[edit]

Volume 1, Formal Systems

[edit]
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