Content
1. The state of the art: Turing test, acting humanly, thinking humanly, acting rationally, applications, explainable AI;
2. Intelligent agents: agents and environments, rational agents, structure of agents;
3. Solving problems by searching: uninformed search, informed search, A* search, heuristic functions;
4. Beyond classical search: local search, hill climbing, simulated annealing, local beam search, genetic algorithms, searching with non-deterministic actions, searching with partial observation;
5. Adversarial search: games, and-or search trees, min-max, alpha-beta pruning, imperfect-real time decisions, stochastic games, partially observable games, state of the art game programs;
6. Constraint satisfaction problems(CSPs): defining CSP problems, constraint propagation, node consistency, arc consistency, path consistency, local search for CSPs, heuristics for CSPs;
7. Logical agents: knowledge-based agents, propositional logic (PL), theorem proving, reasoning in PL, satisfiability, Davis-Putnam algorithm, modelling in PL, solving logical puzzles in PL;
8. First order logic (FOL): syntax and semantics of FOL, knowledge engineering in FOL, solving logical puzzles in FOL;
9. Inference in FOL: unification and lifting, forward and backward chaining, resolution in FOL, theorem proving, finite models finding in FOL;
10. Classical planning: planning as a state-space search, planning graphs, partial planning, planning domain definition language, planning in situation calculus, heuristics for planning; solving planning puzzles;
11. Planning and acting in the real-world: time, schedules, resources, minimum slack algorithm, hierarchical planning, conformant planning, contingent planning, multi-agent planning;
12. Knowledge representation: event calculus (EC), commonsense reasoning, prediction, abduction and postdiction in EC, modelling patterns in EC, event monitoring, reasoning about commitments in EC
13. Multi-agent systems: Beliefs, desires, intentions, AgentSpeak programming language, Jason, goals, events, alternative plans, cooperation and coordination, concurrent actions;