69897 - Autonomous Systems

Academic Year 2017/2018

  • Docente: Andrea Omicini
  • Credits: 6
  • SSD: ING-INF/05
  • Language: Italian
  • Teaching Mode: Traditional lectures
  • Campus: Cesena
  • Corso: Second cycle degree programme (LM) in Computer Science and Engineering (cod. 8614)

    Also valid for 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

  • The concept of autonomy in software systems and in artificial systems in general
    • Autonomy in philosophy, sociology, law
    • The different meanings of autonomy in artificial systems and software systems
      • Case: Autonomic Computing
  • Intelligence and autonomy in software systems
    • Intelligent agents
      • Case: architectures for intelligent agents
    • Intelligent agent systems
      • Cases: coordinated systems, agents and artifacts, Web Intelligence, Workflow Management, electronic Institutions
    • Social and collective intelligence
      • Cases: Swarm Intelligence, Stigmergy Coordination, stochastic systems
    • Adaptability and self-organisation
      • Cases: Pervasive Systems, Self-Organising Coordination
  • Technologies for autonomous systems
    • Logical agents in tuProlog
    • Intelligent agents in JADE, Jason and 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

Oral test with discussion of an individual/group project

Teaching tools

Links to further information

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

Office hours

See the website of Andrea Omicini