FOUNDATIONS OF ARTIFICIAL INTELLIGENCE I
Academic year and teacher
If you can't find the course description that you're looking for in the above list,
please see the following instructions >>
- Versione italiana
- Academic year
- 2014/2015
- Teacher
- EVELINA LAMMA
- Credits
- 6
- Didactic period
- Primo Semestre
- SSD
- ING-INF/05
Training objectives
- The course is the introductory one about Artificial Intelligence (AI); it presents the main principles and methods in Artificial Intelligence, with particular emphasis on knowledge-based systems and computational logic techniques. The course uses the Prolog programming language as the main tool to show the above techniques .
Some thematic seminars, presented by invited speakers, are also given during the course.
Knowledge acquired concerns methods for modeling and representation of an Artificial Intelligence problem, and automatic techniques for searching a solution for it.
The main skills (the ability to apply knowledge acquired) will be :
- Ability to model and represent simple AI problems, starting from their textual description;
- Ability to apply research strategies, or aversary search, or constraint propagation for solving AI problems already modeled;
- Ability to show the run-time evolution of a Prolog program;
- Ability to implement a Prolog program solving a given a problem, starting from a textual description. Prerequisites
- Knowledge of high-level programming languages, also imperative or object-oriented.
Course programme
- 1) Introduction to Artificial Intelligence
History
Applications
Knowledge-based systems: architectural organization;
2) Problem solving in AI
Forward e backward reasoning;
Solving as a search
Constraint satisfaction
3) Knowledge Representation
Predicate Logic
Production Rules
Objects (Semantic Networks and Frames)
Description Logics (introduction)
4) Artificial Intelligence Languages: PROLOG
From Predicate Logic to Logic Programming
The Prolog Language
Prolog for parsing; Prolog for rapid prototyping (meta-interpretations)
5) Seminar lectures on: Swarn intelligence; Ontologies and Semantic Web; Description Logics and Semantic Web Didactic methods
- Lectures are interleaved by some practical activities in the laboratories of Computer Science Engineerings, for the AIMA.search library and the Prolgo language, and the pellet reasoner for the seminar on the Semantic Web.
Autonomous lab activities are welcome. Learning assessment procedures
- The achievement of the learning goals is verified by the student itself, by means of the exercises proposed and solved during the course, and at the end of the course, by means of a final exam.
The final exam consists of a written test, organized as a set of exercises (about items 2), 3), 4), see course program) and open questions about all the topics presented in the course. The total marks for the test sum up to 32 points, with a minimum threshold of 18/32 points; below the threshold the test is considered as "failed". The final mark is equal to the total marks achieved in the test; if the marks is equal or exceeds 31 points, the final mark will be "30 cum lode / 30". During the written test it is strictly forbidden to consult textbooks, personal notes or any other external source.
Upon an explicit request from the student, it is possible to take an additional oral exam. In such case, questions of the (non mandatory) interview will be about all the topics and contents introduced within the course, and also about a specific topic/student project that must be agreed with the teacher before the colloquium. Upon a successful interview the final mark can be increased up to a maximum of 3 more points with respect to the marks obtained in the written test.
The student can take the written test many times, either because previous tests were failed, or because the marks were not satisfactory. When a student submit the test to the teacher, the results obtained in the previous tests are voided, and only the more recent marks will be taken into consideration. Reference texts
- The texts of all the final exams of previous academic years are available, and the students are encouraged to use them to improve and test their preparation.
When available, the english versions of these textbooks are recommended:
About Artificial Intelligence:
• S. J. Russel, P. Norvig: "Artificail Intelligence: A modern approach", Prentice Hall, Last or previous edition.
About Prolog:
L.Console, E.Lamma, P.Mello, M. Milano: "Programmazione Logica e Prolog", UTET, Seconda Edizione, 1997.
Further readings:
E. Rich, K. Knight: “Intelligenza Artificiale”, McGraw Hill, Seconda Edizione 1992.
I. Bratko: “Programmare in Prolog per l’Intelligenza Artificiale”, Masson ed Addison-Wesley, 1988.
