 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
Machine Cognition
editVolume 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