This is a catalog for the foundations and emergence of AI research. Understanding the historic development of computational logic from primary sources is useful in gaining insight on the current state of AI.
###Topics Covered:
- Leibniz's binary
- Boolean algebra
- Goedel's incompleteness theorem
- Turing Machines
- Analogy between neurons and logic
- Von Neumann's digital brain
- Neural nets
- Perceptron
- Lisp and recursion
- Thrashing avoidance/Memory management
- Pattern recogntion, searches, induction
- Boltzmann machines
- Search methods
- Page rank
- Embodied Cogntion for machines
- improving genetic algorithms
- Gradient descent
- Semantic modeling
- Deep learning