CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishConstrasting the standard framework based on agent-to-agent direct communication, in this paper we focus on agent interaction with the environment. In particular, the environment is seen as populated by coordination artifacts, automatising coordination tasks and mediating agent interaction. As a semantic framework for this context we propose operating instructions, which the agent reads and interprets to become aware of the allowed actions and perceptions at a given time, and the MAS infrastructure can exploit to enforce correct agent behaviours and detect wrong ones. This allows us to conceptually handle a number of crucial aspects related to agent interaction, including interaction protocols, timing properties - such as delays and timeouts -, and a notion of contract featuring violation and guarantees. Formally, our framework is based on a process algebra featuring (i) explicit connection between action and its related perceptions, (ii) a time-based branch operator, (iii) violation and guarantee deadlock states, and (iv) association of mental properties to interactions.
| Titolo: | Agent Interaction Semantics by Timed Operating Instructions |
| Autore/i: | VIROLI, MIRKO; RICCI, ALESSANDRO |
| Autore/i Unibo: | |
| Anno: | 2005 |
| Titolo del libro: | Agent Communication |
| Pagina iniziale: | 173 |
| Pagina finale: | 192 |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-32258-0_12 |
| Abstract: | Constrasting the standard framework based on agent-to-agent direct communication, in this paper we focus on agent interaction with the environment. In particular, the environment is seen as populated by coordination artifacts, automatising coordination tasks and mediating agent interaction. As a semantic framework for this context we propose operating instructions, which the agent reads and interprets to become aware of the allowed actions and perceptions at a given time, and the MAS infrastructure can exploit to enforce correct agent behaviours and detect wrong ones. This allows us to conceptually handle a number of crucial aspects related to agent interaction, including interaction protocols, timing properties - such as delays and timeouts -, and a notion of contract featuring violation and guarantees. Formally, our framework is based on a process algebra featuring (i) explicit connection between action and its related perceptions, (ii) a time-based branch operator, (iii) violation and guarantee deadlock states, and (iv) association of mental properties to interactions. |
| Data prodotto definitivo in UGOV: | 6-ott-2005 |
| Data stato definitivo: | 12-lug-2016 |
| Appare nelle tipologie: | 2.01 Capitolo / saggio in libro |
File in questo prodotto:
http://hdl.handle.net/11585/10874
Copyright © 2021