Introduction to Artificial Intelligence: Course Content
Foundations
Reasoning with Logic
What is Automated Theorem Proving?
Propositional logic
First order logic
The Language
Clause Normal Form
Resolution
Prolog
Linear Input Resolution
Introduction
Data
Control
Meta-programming
State Space Search
State Spaces
Environments and Problems
Production Systems
Search Control
Game Search Control
Features of Knowledge
The Status of Knowledge
Uncertain epistemic status
Imprecise assertional status
Knowledge Representation
Scruffy Knowledge Representation
Neat Knowledge Representation
Machine Learning
Architecture
Neural Networks