Gwendolen: A BDI language for verifiable agents

AISB 2008 Convention: Communication, Interaction and Social Intelligence - Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning

Volumn , Issue , 2008, Pages 16-23

  Dennis, Louise A ^a   Farwer, Berndt ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT INFRASTRUCTURE; AGENT PROGRAMMING LANGUAGES; JAVA CLASS; KEY FEATURE; MODEL CHECKER;

COMPUTER SOFTWARE; MODEL CHECKING; SEMANTICS;

JAVA PROGRAMMING LANGUAGE;

EID: 84859233299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. [Bordini et al., 2006] Bordini, R. H., Fisher, M., Visser, W., and Wooldridge, M. (2006). Verifying Multi-Agent Programs by Model Checking. J. Autonomous Agents and Multi-Agent Systems, 12(2):239-256. (Pubitemid 43417513)
2. [Bordini et al., 2007] Bordini, R. H., Hübner, J. F., andWooldridge, M. (2007). Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley.
3. [Cohen and Levesque, 1991] Cohen, P. R. and Levesque, H. J. (1991). Teamwork. Technical Report 504, SRI International, California, USA.
4. [Dastani et al., 2005] Dastani, M., van Riemsdijk, M. B., and Meyer, J.-J. C. (2005). Programming Multi-Agent Systems in 3APL. In Bordini, R. H., Dastani, M., Dix, J., and Seghrouchni, A. E. F., editors, Multi-Agent Programming: Languages, Platforms and Applications, pages 39-67. Springer.
5. [de Boer et al., 2007] de Boer, F. S., Hindriks, K. V., van der Hoek, W., and Meyer, J.-J. C. (2007). A Verification Framework for Agent Programming with Declarative Goals. J. Applied Logic, 5(2):277-302. (Pubitemid 46590847)
6. [Dennis et al., 2008] Dennis, L. A., Farwer, B., Bordini, R. H., and Fisher, M. (2008). A flexible framework for verifying agent programs (short paper). In Padgham, Parkes, Muller, and Parsons, editors, Proc. of the 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008). ACM. To Appear.
7. [Dennis and Fisher, 2008] Dennis, L. A. and Fisher, M. (2008). Programming Verifiable Heterogeneous Agent Systems. In Proc. Eighth International Workshop on Programming Multiagent Systems (ProMAS). To Appear.
8. [Dennis et al., 2007] Dennis, L. A., Fisher, M., and Hepple, A. (2007). Foundations of flexible multi-agent programming. In Eighth Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII).
9. [Esteva et al., 2001] Esteva, M., Rodŕiguez-Aguilar, J. A., Sierra, C., Garcia, P., and Arcos, J. L. (2001). Agent Mediated Electronic Commerce. The European AgentLink Perspective, chapter On the Formal Specificaion of Electronic Institutions, pages 126-147. Number 1991 in LNAI. Springer.
10. [Ferber et al., 2003] Ferber, J., Gutknecht, O., and Michel, F. (2003). From Agents to Organizations: An Organizational View of Multi-agent Systems. In Proc. 4th International Workshop on Agent-Oriented Software Engineering (AOSE), volume 2935 of LNCS, pages 214-230. Springer. (Pubitemid 39737498)
11. [Hindricks et al., 1999] Hindricks, K. V., de Boer, F. S., van der Hoek, W., and Meyer, J.-J. C. (1999). Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357- 401.
12. [Rao, 1996] Rao, A. (1996). AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi- Agent World (MAAMAW), volume 1038 of LNCS, pages 42-55. Springer. (Pubitemid 126029707)
13. [Rao and Georgeff, 1995] Rao, A. S. and Georgeff, M. (1995). BDI Agents: from theory to practice. In Proc. 1st International Conference on Multi-Agent Systems (ICMAS), pages 312-319, San Francisco, CA.
14. [Visser et al., 2003] Visser, W., Havelund, K., Brat, G. P., Park, S., and Lerda, F. (2003). Model Checking Programs. Automated Software Engineering, 10(2):203-232.
15. [Winikoff, 2007] Winikoff, M. (2007). Implementing Commitment- Based Interactions. In Proc. 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1-8, New York, NY, USA. ACM.
16. [Wooldridge and Rao, 1999] Wooldridge, M. and Rao, A., editors (1999). Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers.