Artificial Intelligence. Intelligent Agents. Solving problems with search agents. Search strategies: breadth-first search, uniform-cost search, depth-first search, depth-limited search, iterative deepening depth-first search, bi-directional search. Heuristic search strategies: greedy best-first search, A*-search. Local search. Constraint satisfaction problems and algorithms.
Knowledge-based Agents. Propositional logic and first-order logic. Using propositional logic and first-order logic to represent knowledge. Knowledge bases and ontologies. Examples from applications. Inference. Modus ponens, unification, forward and backward chairing, resolution. Introduction to logic programming and the language Prolog.
- Stuart Russel and Peter Norvig. Artificial Intelligence: A Μodern Approach, Prentice Hall, 2nd edition (2003). http://aima.cs.berkeley.edu/.
- I. Vlahavas et. al Artificial Intelligence http://aibook.csd.auth.gr
- Slides from lectures based on the Russel and Norvig book.
- Relevant material from the Web page of the course