In this course, you will learn the principles of intelligent applications. The main goal of the course is to teach you the tools to address new artificial intelligent problems.
This course covers the following topics:
- Problem solving: search methods, intelligent searches
- Knowledge Representation: propositional logic, first order logic, inference in first order logic
- Agents: Logical agents