The course will focus on the main theories and techniques for building of "knowledge-based" AI systems, according to the AI vision of "agents" able to operate in an environment on the basis of the knowledge acquired from experience or from external sources and explicitly stored.

Students will be able to formalise an AI problem by using the formalisms for representation and the techniques most appropriate to the nature and complexity of the problem and will be able to propose efficient solutions within the range of problems studied.

The course will contribute to provide the student with awareness of the various approaches involved in building “artificial intelligence” agents, the limits of current systems, despite major recent achievements, and how the goal of building "intelligent machines" is still one of the biggest challenges we are facing.