Overview
Understand basic issues in intelligent system Give basic definitions of intelligent system Understand modelling of the world Learn about propositional and predicate logical resolution Give introduction to proving of theorem
What you'll learn
- Fundamental issues in intelligent system
- Fundamental definition
- Modeling the world
- Introduction to propositional and predicate logical resolution
- Introduction to theorem proving