Syllabus
Intelligent agents, environment, and structure of agents.
Problem solving by search (DFS, BFS, ID, A*, IDA*, local and on-line search, heuristics).
Constraint satisfaction.
Games (minimax, alfa-beta pruning).
Knowledge representation and inference techniques (forward and backward chaining, resolution).
Automated planning.
Annotation
An introductory course on artificial intelligence with the focus on basic concepts and methods. The cources requires knowledge of logic at the level of undergraduate course.