75836 - Theories and Systems of Artificial Intelligence (1)

Academic Year 2018/2019

  • Docente: Aldo Gangemi
  • Credits: 6
  • SSD: M-FIL/05
  • Language: Italian
  • Teaching Mode: Traditional lectures
  • Campus: Bologna
  • Corso: First cycle degree programme (L) in Humanities (cod. 8850)

Learning outcomes

To be able to distinguish between applications of IA and traditional methods, from both the theoretical and the practical side, and between the domain of “computation” and the generic field of “rational”; - to deal with "problem solving" skills, by acquiring specific heuristic techniques; - to manage tools for knowledge representation in artificial environments; - to know, and to be albe to use, the main "planning" methodologies.

Course contents

The students will understand the evolution of Artificial Intelligence (AI), the main distinctions and research styles, and the current state of play.

This year the course focuses on the relation between knowledge and intelligence in AI, and the related enabling applciations in institutions, companies, and everyday life.

Students will obtain basic references and capabilities on some knowledge-oriented aspects of AI:

  • language and formal knowledge
  • knowledge as data suitable to machine querying jointly with automated reasoning and generalised inferences
  • foundational (philosophical, semiotic, cognitive) vs. task-oriented requirements
  • the deductive vs. inductive hype cycle
  • networks, frames, graphs, and embeddings
  • the Web 3.0 as an (open) knowledge platform, precondition for AI

AI techniques will be learnt "on the job", i.e. by analysing current tools, methods, practices, and problems. Sample papers for a topic will be proposed, discussed, and complemented with theoretical and practical transfer of know-how.

Some software components will be introduced during the course in order to make the students accustomed to sample AI technologies.

The course will be given in frontal lectures of 2 hours each, possibly including practical hands-on with machines and expert guests.

Time: Monday and Wednesday,  11am to 1pm, from January 28th, 2019 to March 13th, 2019.

Readings/Bibliography

Handbooks (to be used as generic references):

Artificial Intelligence: A Modern Approach, 3rd ed. [http://aima.cs.berkeley.edu] by Stuart Russell (UC Berkeley) and Peter Norvig (Google) - slides from the 2014 course: http://ai.berkeley.edu/course_schedule.html

M. Flasinski. Introduction to Artificial Inteligence. Springer (2016)

J. van Benthem et al. Logic in Action. http://www.logicinaction.org/

R.S. Michalski, J.G. Carbonell, T.M. Mitchell. Machine Learning: An artificial intelligence approach. Springer (2013)

More specific material:

A. Gangemi. Norms and plans as unification criteria for social collectives. Autonomous Agents and Multi-Agent Systems, 16(3) (2008)

F. Bianchini, A. Gliozzo, M. Matteuzzi. Instrumentum vocale. Bononia Univ. Press (2008)

A. Gangemi. What’s in a Schema?, In Huang C.R. et al. (eds.): Ontology and the Lexicon. Cambridge University Press (2010)

More teaching materials, including papers, slides and exercises, will be available on the IOL site.

Teaching methods

The teaching method is based on slots of 2 hours each, including highly interactive frontal lectures, practical hands-on with machines, as well as seminars and question time with expert guests.

The main AI techniques involving building, using and evaluating knowledge will be learnt "on the job", i.e. by understanding and critically analysing current tools, methods, practices, and problems. Sample papers for a topic will be proposed, discussed, and complemented with theoretical and practical know-how.

Time permitting, a small project will be implemented by groups of students.

Assessment methods

The final exam will consist of an interview, with the intent to verify the general understanding of the fundamental themes, and of a survey about a topic chosen by the students out of a proposed list.

Possible results of projects carried out during the course will be also taken into account in the final grade.

The final grades will be published on the teacher's webpage, normally within one week after the interview.

Teaching tools

Besides the teaching facilities installed in the lab, software tools for AI will be used on the existing machines by the students, either alone, in pairs, or in groups. The tools will enable the students to realistically test the problems faced by AI research.

Social media will be also used for informal interaction among students, and with the teacher.

Office hours: see Aldo Gangemi's website.

Office hours

See the website of Aldo Gangemi