OBIETTIVI FORMATIVI

The goal of the course is to introduce students to topics in Artificial Intelligence, mostly on the “deductive” side of the discipline. Students will learn basics in propositional and first order logic and apply them in the context of knowledge representation and reasoning. Also the basic principles of heuristic search and planning in the context of full observability and deterministic action effects will be added on top of the basic capabilities for representation and reasoning.