- Docente: Andrea Omicini
- Credits: 6
- SSD: ING-INF/05
- Language: English
- Moduli: Andrea Omicini (Modulo 1) Roberta Calegari (Modulo 2)
- Teaching Mode: Traditional lectures (Modulo 1) Traditional lectures (Modulo 2)
- Campus: Cesena
- Corso: Second cycle degree programme (LM) in Computer Science and Engineering (cod. 8614)
Learning outcomes
The course is aimed at illustrating the main computational paradigms, models, technologies and methods for the engineering of autonomous systems. In particular, the courses focuses on the following themes, by experimenting with the corresponding case studies: the notion of autonomy in software systems and in artificial systems in general case: Autonomic Computing intelligence & autonomy: intelligent agents case: Web Intelligence, individual & social intelligence in MAS adaptivity & self-organisation cases: Pervasive Systems, Swarm Intelligence, Stigmergy Coordination, stochastic systems.
Course contents
- Autonomy in biology, philosophy, sociology, law
- The different meanings of autonomy in artificial systems and software systems
- Symbolic vs. sub-symbolic AI
- Logic & computation
- Automated reasoning & planning
- Individual autonomy: (intelligent) agents
- Reasoning agents
- Tools for intelligent agents: Artefacts
- Social autonomy
- Self-organising systems
- Stochastic systems
- Nature-inspired computing
- Autonomies in socio-technical systems
- Conversational systems
- Agreement technologies
- Logic agents in tuProlog
- Intelligent agents in JADE, Jason, CArtAgO
- Workflow, coordinated, adaptive, stochastic, and self-organising systems in TuCSoN e ReSpecT
Readings/Bibliography
The bibliography is made available through the course web site.
Teaching methods
- Lessons with slides
- Examples discussed and built by the teacher and by experts from the field
- Lab activity
Assessment methods
The assessment of the learning achievements is organised around the development of an individual/group project, which results in the production of suitable artefacts, either documental or software.
The final test consists in the oral discussion of the project.
Teaching tools
- Web site of the teacher
- Web page of the course with slides (PDF), other materials and useful links
Links to further information
http://apice.unibo.it/xwiki/bin/view/Courses/Sa
Office hours
See the website of Andrea Omicini
See the website of Roberta Calegari
SDGs
This teaching activity contributes to the achievement of the Sustainable Development Goals of the UN 2030 Agenda.