6 cfu al 1° anno di 11160 COMPUTER ENGINEERING (LM-32) GENOVA
6 cfu al 1° anno di 8465 METODOLOGIE FILOSOFICHE (LM-78) GENOVA
|SETTORE SCIENTIFICO DISCIPLINARE||ING-INF/05|
|SEDE||GENOVA (COMPUTER ENGINEERING )|
Aritificial Intelligence (AI) has the goal to study and develop intelligent agents, able to perceive, plan and act in the surrounding environments. AI has a long tradition within computer science and engineering and has lately gained a huge momentum given the substantial progress and successes in the field. According to many, AI will be ever growing discipline in the future, with potential applications in every field. According to some notable people, including top level scientists and managers, the progress of AI can even become a danger in the near future for human beings.
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.
No prerequisites are necessary, though some abilities in mathematical modeling and coding will help.
Depending on the COVID situation, lessons will be both in presence and on line using Microsoft Teams.
The course will main focus on:
Ricevimento: I am usually available before and/or after the lessons. I can be reached in any case by email in order to fix an appointment.
L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.
The exam will be a test with exercises on the topics covered during the lessons. The exam is individual and open book: everyone can consult his/her notes but it will not be possible to use electronic devices. Depending on the Covid situation, it is possible that the test will be substituted or complemented by an oral exam. The oral exam can be in any case requested by you or by me (in case I have doubts about your test exam).