- 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
Days Time Classroom Giovedì 10:00 - 12:30 Sala Seminari Dipartimento di Informatica Lessons: dal 22/03/2012 to 10/05/2012
- Oggetto: