ECTS : 3
Description du contenu de l'enseignement :
The course introduces techniques for representing and reasoning over knowledge information.
1. Reasoning about Belief, Knowledge, and Preferences
- plausible and nonmonotonic reasoning
- reasoning about belief and knowledge (single-and multiple-agent), belief change
- case-based reasoning, analogical reasoning
- preference languages, reasoning about preferences
- reasoning and decision under uncertainty, graphical models
2. Planning
- reasoning about action, action languages for planning
- algorithms for classical planning
- introduction to the planning description language PDDL
- short introduction to decision theory and decision-theoretic planning
- planning under uncertainty and full observability: Markov decision processes
- planning under partial observabilty: partially observable Markov decision processes
- multi-agent planning
Compétence à acquérir :
N/A
Mode de contrôle des connaissances :
written exam.
Bibliographie, lectures recommandées :