State-space reduction techniques in agent verification

Bordini, Rafael H.; Fisher, Michael; Visser, Willem; Wooldridge, Michael; Jennings, Nicholas R.; Sierra, Carles; Sonenberg, Liz; Tambe, Milind

doi:10.1109/aamas.2004.242630

All Outputs (2)

Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L) (2004)
Journal Article
Bordini, R. H., & Moreira, A. F. (2004). Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 42(1-3), 197-226. https://doi.org/10.1023/b%3Aamai.0000034527.45635.e5

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture f... Read More about Proving BDI properties of agent-oriented programming languages : the asymmetry thesis principles in AgentSpeak(L).

State-space reduction techniques in agent verification (2004)
Presentation / Conference Contribution
Bordini, R. H., Fisher, M., Visser, W., Wooldridge, M., Jennings, N. R., Sierra, C., Sonenberg, L., & Tambe, M. (2004, July). State-space reduction techniques in agent verification. Presented at Third International Joint Conference on Autonomous Agents and Multiagent Systems : AAMAS-2004., New York

We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The success of model checking as a verification technique for large systems... Read More about State-space reduction techniques in agent verification.