Vai al contenuto principale
Oggetto:

Intelligent agents: modeling and reasoning techniques

Oggetto:

Academic year 2012/2013

Course ID
IAMRT2012
Teaching staff
Prof. Alberto Martelli (Titolare del corso)
Prof. Matteo Baldoni (Titolare del corso)
Prof. Laura Giordano (Titolare del corso)
Degree course
Dottorato in Informatica
Year
1° anno
Teaching period
Annuale
Type
A scelta dello studente
Credits/Recognition
2
Course disciplinary sector (SSD)
INF/01 - informatica
Delivery
Tradizionale
Language
Italiano
Attendance
Obbligatoria
Type of examination
Orale
Oggetto:

Sommario del corso

Oggetto:

Course objectives

The purpose of the course is to present modeling and reasoning techniques for intelligent agents, based on formal methods. Intelligent agents will be presented from two viewpoints. First of all, it will be shown how to model the behavior of a single agent, in particular referring to the belief- desire-intention (BDI) model. Then, the problem of modeling and reasoning in multi-agent systems will be tackled, by describing communication and cooperation among agents.

Interaction and communication are fundamental abstractions of any distributed system, especially when cross-business and business-to-business systems are to be developed. Multi-agent systems are the tools that currently better meet the needs emerging in this context because they offer proper abstractions. Interaction protocols represent a key issue for simplifying the coordination problems and the notion of social agency is emerging as a foundation for giving a verifiable semantics to them.

The course will show how the above models can be implemented by using computational fragments of the logic formalisms presented, and how they can be used to prove properties of agent systems and agent interaction.

Oggetto:

Program

Introduction to intelligent agents The belief-desire-intention model Formal techniques for modeling agents

- modal and temporal logics

- reasoning about actions Multiagent systems

- Agent Communication Languages and communication protocols

- Multiagent interactions: cooperation and negotiation Logic based specification and implementation of intelligent agents Verification of multi-agent systems: model checking Multiagent Decision Making: game theory, negotiation

Suggested readings and bibliography

Oggetto:

Michael Wooldridge, An Introduction to MultiAgent Systems, John Wiley & Sons, 2002



Oggetto:

Class schedule

DaysTimeClassroom
Giovedì10:00 - 12:30Sala Seminari Dipartimento di Informatica

Lessons: dal 22/03/2012 to 10/05/2012

Oggetto:
Last update: 22/06/2020 09:25
Non cliccare qui!