Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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
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
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.
Autonomous Systems 2020/2021 • 
