Alberto
Martelli
mrt@di.unito.it
Dipartimento di Informatica
Università
di Torino, Torino, Italy
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. Finally it will be shown
how the above models can be implemented by using computational
fragments of the logic formalisms, and how they can be used to prove
properties of agent systems.
The main topics will be:
Introduction to intelligent agents
Formal techniques for modeling agents
logical foundations
BDI models
Implementing rational agents
Multi-agent systems
communication languages and protocols
Slides of the course and related documents are available here