Tu sei qui:

91410 - AUTONOMOUS SYSTEMS

Anno Accademico 2020/2021

                
                        Docente:
                        Andrea Omicini
                    
                        Crediti formativi:
                        6
                    
                        SSD:
                        ING-INF/05
                    
                        Lingua di insegnamento:
                        Inglese
                    
                        Moduli:
                        
                            Andrea Omicini
                            (Modulo 1)
                        
                            Roberta Calegari
                            (Modulo 2)
                        
                        Modalità didattica:
                        
                                    Convenzionale - Lezioni in presenza (Modulo 1)
                                
                                    Convenzionale - Lezioni in presenza (Modulo 2)
                                
                            Campus:
                            Cesena
                        
                            Corso:
                            Laurea Magistrale in
                            Ingegneria e scienze informatiche (cod. 8614)

                            Risorse didattiche su Virtuale

Conoscenze e abilità da conseguire

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.

Contenuti

The concept of autonomy in software systems and in artificial systems in general
- Autonomy in biology, philosophy, sociology, law
- The different meanings of autonomy in artificial systems and software systems
Intelligence and autonomy in 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
Technologies for autonomous systems
- Logic agents in tuProlog
- Intelligent agents in JADE, Jason, CArtAgO
- Workflow, coordinated, adaptive, stochastic, and self-organising systems in TuCSoN e ReSpecT

Testi/Bibliografia

The bibliography is made available through the course web site.

Metodi didattici

Lessons with slides
Examples discussed and built by the teacher and by experts from the field
Lab activity

Modalità di verifica e valutazione dell'apprendimento

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

Strumenti a supporto della didattica

Web site of the teacher
Web page of the course with slides (PDF), other materials and useful links

Link ad altre eventuali informazioni

http://apice.unibo.it/xwiki/bin/view/Courses/Sa

Orario di ricevimento

Consulta il sito web di Andrea Omicini

Consulta il sito web di Roberta Calegari

SDGs

L'insegnamento contribuisce al perseguimento degli Obiettivi di Sviluppo Sostenibile dell'Agenda 2030 dell'ONU.