MAS-SOC: A social simulation platform based on agent-oriented programming

JASSS

Volumn 8, Issue 3, 2005, Pages

  Bordini, Rafael H ^a   Da Rocha Costa, Antônio Carlos ^a   Hübner, Jomi F ^a   Moreira, Álvaro F ^a   Okuyama, Fabio Y ^a   Vieira, Renata ^a  

^a NONE

Author keywords

Agent Based Simulation; Agent Oriented Programming; Cognitive Agents; Environment Modelling Language; Multi Agent Systems; Social Simulation Platform

Indexed keywords

EID: 24044520966     PISSN: 14607425     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (43)

1. ANCONA D, Mascardi V, Hübner J F, and Bordini R H (2004) Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In Jennings, N. R., Sierra, C., Sonenberg, L. and Tambe, M., eds., Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2004), New York, NY, 19-23 July, 698-705. New York, NY: ACM Press.
2. BORDINI R H, and Moreira, ÁF (2002) Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In Dix, J., Leite, J. A. and Satoh, K., eds., Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), 1st August, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science 70(5). Elsevier. URL: 〈http://www.elsevier.nl/locate/entcs/volume70.html〉. CLIMA-02 was held as part of FLoC-02. This paper was originally published in Datalogiske Skrifter number 93, Roskilde University, Denmark, pages 94-108.
3. BORDINI R H, and Moreira Á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. Special Issue on Computational Logic in Multi-Agent Systems.
4. BORDINI R. H, Bazzan A L C, Jannone R O, Basso D M, Vicari R M, and Lesser V R (2002) AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In Castelfranchi, C. and Johnson, W. L., eds., Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), 15-19 July, Bologna, Italy, 1294-1302. New York, NY: ACM Press.
5. BORDINI R H, Fisher M, Pardavila C, and Wooldridge M (2003a) Model checking AgentSpeak. In Rosenschein, J. S., Sandholm, T., Wooldridge, M. and Yokoo, M., eds., Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, 14-18 July, 409-416. New York, NY: ACM Press.
6. BORDINI R H, Visser W, Fisher M, Pardavila C, and Wooldridge M (2003b) Model checking multi-agent programs with CASP. In Hunt Jr., W. A. and Somenzi, F., eds., Proceedgins of the Fifteenth Conference on Computer-Aided Verification (CAV-2003), Boulder, CO, 8-12 July, number 2725 in Lecture Notes in Computer Science, 110-113. Berlin: Springer-Verlag. Tool description.
7. BORDINI R H, Okuyama F Y, de Oliveira D, Drehmer G, and Krafta R. C (2004a) The mas-soc approach to multiagent based simulation. In Lindemann, G., Moldt, D. and Paolucci, M., eds., First International Workshop on Regulated Agent-Based Social Systems (RASTA 2002), held with AAMAS02, Bologna, Italy, 16 July (Revised Selected and Invited Papers), number 2934 in Lecture Notes In Artificial Intelligence. Berlin: Springer-Verlag.
8. BORDINI R H, Dastani, M., Dix, J. and El Fallah-Seghrouchni, A., eds. (2004b) Proceedings of the Second International Workshop on "Programming Multi-Agent Systems: Languages and Tools" (ProMAS 2004). To appear in Springer's LNAI Series.
9. BORDINI R H, Okuyama F Y, de Oliveira D, Drehmer G, and Krafta RC (2004e) The MAS-SOC approach to multi-agent based simulation. In Lindemann, G., Moldt, D. and Paolucci, M., eds., Proceedings of the First International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), 16 July, 2002, Bologna, Italy (held with AAMAS02) - Revised Selected and Invited Papers, number 2934 in Lecture Notes in Artificial Intelligence, 70-91. Berlin: Springer-Verlag.
10. BORDINI R H, Hübner J F et al. (2005) Jason: A Java-based AgentSpeak interpreter used with SACI for multiagent distribution over the net, manual, version 0.6 edition, http://jason.sourceforge.net/.
11. CALCIN O P, Okuyama F Y, and Dias A M (2004) Simulación del proceso de compra de artículos en un mercado virtual con agentes BDI. In Solar, M., Fernandez-Baca, D. and Cuadros-Vargas, E., eds., 30ma Conferencia Latinoamericana de Informática (CLEI2004), Sociedad Peruana de Computación,. September, 2004. ISBN 9972-9876-2-0.
12. CASTELFRANCHI C (1998) Simulating with cognitive agents: The importance of cognitive emergence. In Sichman, J. S., Conte, R. and Gilbert, N., eds., Multi-Agent Systems and Agent-Based Simulation, number 1534 in Lecture Notes in Artificial Intelligence, 26-44. Berlin: Springer-Verlag.
13. CASTELFRANCHI C (2000) Engineering social order. In Zambonelli F. Omicini A., Tolksdorf R., editor, Engineering Societies in the Agents World, pages 1 ñ 18. Springer, 2000.
14. CASTELFRANCHI C (2001) The theory of social functions: Challenges for computational social science and multiagent learning. Cognitive Systems Research 2(1):5-38.
15. CONTE R, and Castelfranchi C (1995) Cognitive and Social Action. London: UCL Press.
16. DASTANI M, Dix J, and Fallah-Seghrouchni, A E., eds. (2004) Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers, volume 3067 of Lecture Notes in Computer Science. Springer.
17. DEMAZEAU Y, and Rocha Costa A C (1996) Populations and organizations in open multi-agent systems. In 1st National Symposium on Parallel and Distributed AI (PDAIi96), Hyderabad, India, 1996.
18. FOSTER I, and Kesselman C, eds. (2003) The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, second edition.
19. HORROCKS I, and Patel-Schneider P F (2003) Reducing OWL entailment to description logic satisfiability. In Fensel, D., Sycara, K. and Mylopoulos, J., eds., Proc. of the 2003 International Semantic Web Conference (ISWC 2003), number 2870 in Lecture Notes in Computer Science, 17-29. Springer.
20. +: Towards a structural, functional, and deontic model for MAS organization. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'2002), Bologna, Italy. Extended Abstract.
21. HÜBNER J F (2003) Um Modelo de Reorganização de Sistemas Multiagentes. Ph.D. Dissertation, Universidade de São Paulo, Escola Politécnica.
22. KRAFTA R, de Oliveira D, and Bordini R H (2003) The city as object of human agency. In Fourth International Space Syntax Symposium (SSS4), London, 17-19 June, 33.1-33.18.
23. LEITE J, Omicini A, Torroni P, and Yolum, P., eds. (2004a) Proceedings of the Second International Workshop on Declarative Agent Languages and Technologies (DALT 2004). To appear in Springer's LNAI Series.
24. LEITE J, Omicini A, Sterling L, and Torroni, P., eds. (2004b) Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, volume 2990 of Lecture Notes in Computer Science. Springer.
25. MACHADO R, and Bordini R H (2002) Running AgentSpeak(L) agents on SIM_AGENT. In Meyer, J.-J. and Tambe, M., eds., Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1-3, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence, 158-174. Berlin: Springer-Verlag.
26. MOREIRA Á F, and Bordini R H (2002) An operational semantics for a BDI agent-oriented programming language. In Meyer, J.-J. C. and Wooldridge, M. J., eds., Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22-25, Toulouse, France, 45-59.
27. MOREIRA Á. F, Vieira R, and Bordini R. H (2004) Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Leite, J., Omicini, A., Sterling, L. and Torroni, P., eds., Declarative Agent Languages and Technologies, Proceedings of the First International Workshop (DALT-03), held with AAMAS-03, 15 July, 2003, Melbourne, Australia (Revised Selected and Invited Papers), number 2990 in Lecture Notes in Artificial Intelligence, 135-154. Berlin: Springer-Verlag.
28. OKUYAMA F Y, Bordini R H, and Rocha Costa A C (2005) ELMS: An environment description language for multi-agent simulations. In Weyns, D., van Dyke Parunak, H. and Michel, F., eds., Proceedings of the First International Workshop on Environments for Multiagent Systems (E4MAS), held with AAMAS-04, 19th of July, 67-83, number 3374 in Lecture Notes In Artificial Intelligence, Berlin, 2005. Springer-Verlag.
29. OKUYAMA F. Y. (2003) Descrição e geração de ambientes para simulações com sistemas multiagentes. MSc thesis, PPGC/UFRGS, Porto Alegre, RS. in Portuguese.
30. PLOTKIN G D (1981) A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus.
31. RAO A S, and Georgeff M P (1991) Modeling rational agents within a BDI-architecture. In Allen, J., Fikes, R. and Sandewall, E., eds., Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), 473-484. Morgan Kaufmann publishers Inc.: San Mateo, CA, USA.
32. RAO A S, and Georgeff M P (1995) BDI agents: From theory to practice. In Lesser, V. and Gasser, L., eds., Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), 12-14 June, San Francisco, CA, 312-319. Menlo Park, CA: AAAI Press / MIT Press.
33. RAO A S, and Georgeff M P (1998) Decision procedures for BDI logics. Journal of Logic and Computation 8 (3):293-343.
34. RAO A S (1996) AgentSpeak(L): BDI agents speak out in a logical computable language. In Van de Velde, W. and Perram, J., eds., Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22-25 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence, 42-55. London: Springer-Verlag.
35. ROCHA COSTA A C, Dimuro G P, and Palazzo LAM (2005) Systems of exchange values as tools for multi-agent organizations. Journal of the Brazilian Computer Society, 2005. (To appear, available at http://gmc.ucpel.tche.br/valores.).
36. RODRIGUES M R, Rocha Costa A C, and Bordini R H (2003) A system of exchange values to support social interactions in artificial societies. In Rosenschein, J. S., Sandholm, T., Michael, W. and Yokoo, M., eds., Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, 14-18 July, 81-88. New York, NY: ACM Press.
37. RUSSEL S, and Norvig P (2003) Artificial Intelligence - A Modern Approach. Englewood Cliffs: Prentice-Hall.
38. SHOHAM Y (1993) Agent-oriented programming. Artificial Intelligence 60:51-92.
39. SINGH M P, Rao A S, and Georgeff M P (1999) Formal methods in DAI: Logic-based representation and reasoning. In Weiß, G., ed., Multiagent Systems-A Modern Approach to Distributed Artificial Intelligence. Cambridge, MA: MIT Press, chapter 8, 331-376.
40. STAAB S, and Studer R, eds. (2004) Handbook on Ontologies. International Handbooks on Information Systems. Springer.
41. VIEIRA R, Moreira j F, Wooldridge M, and Sordini, R H (2005) On the formal semantics of speech-act based communication in an agent-oriented programming language. Submitted article, to appear.
42. WEYNS D, van Dyke Parunak H, and Michel F, eds.(2005) Proceedings of the First International Workshop on Environments for Multiagent Systems (E4MAS), held with AAMAS-04, 19th of July, New York City, NY. Number 3374 in LNAI. Springer-Verlag.
43. WOOLDRIDGE M (2000) Reasoning about Rational Agents. Cambridge, MA: The MIT Press.