|
A Verifiable Approach to Programming Multi-Agent Systems| old_uid | 4646 |
|---|
| title | A Verifiable Approach to Programming Multi-Agent Systems |
|---|
| start_date | 2008/04/18 |
|---|
| schedule | 14h30-16h30 |
|---|
| online | no |
|---|
| location_info | salle 549 |
|---|
| summary | This talk will provide an overview of a particular approach to programming multi-agent systems and how we aim to do formal verification of systems programmed according to that approach. The talk covers some features of "Jason", a Java-based interpreter for a variant of a logic-based agent-oriented programming language called AgentSpeak, and mentions various ongoing research strands related to it, including its combination with: ontological reasoning,
organisations and environment, communication, plan exchange, reasoning about goals, belief revision, and plan patterns. The talk also gives a brief account of recent research aimed at developing a library of common features of agent programming languages so as to facilitate the use model-checking techniques for the verification of multi-agent systems written in such languages. |
|---|
| responsibles | Chevaleyre |
|---|
| |
|