• Nenhum resultado encontrado

Como trabalhos futuros, existem atividades a serem realizadas para dar continuidade ao desenvolvimento do modelo. Entre os quais pode-se citar:

• Pesquisar a possibilidade de incluir estruturas que possibilitem a definição mais de-talhada das interações entre agentes e ambiente (agente-agente e agente-ambiente) utilizando escopos espaciais;

• Pesquisar a viabilidade e implicações de utilizar objetos normativos para distribuir planos normativos para atingir objetivos locais e outras opções para obtenção de novos planos (e.g. troca de planos (ANCONA et al., 2004)).

• Implementar e disponibilizar o modelo para que outros pesquisadores possam testar, para verificar através do uso em simulações as necessidades de evolução do modelo.

• Analisar questões associadas ao uso do modelo. Uma destas questões é sobre o fato de ter diversas normas distribuídas em escopos espaciais diferentes podendo resultar em diferentes reputações de um único agente no ambiente, levando a uma noção de localidade da reputação.

Através dos estudos de caso, foi possível verificar que o uso das abstrações fornecidas facilita a inserção de normas e outras estruturas no cenário. Dando continuidade ao modelo e visando a elaboração de cenários mais sofisticados, seriam necessários a in-serção de outras estruturas e abstrações, tais como as existentes em (LOPEZ; LUCK;

D’INVERNO, 2007), para inserir objetivos normativos e também seriam interessantes inserir outros protocolos que descrevam tarefas, tais como os existentes em (DIGNUM;

VÁZQUEZ-SALCEDA; DIGNUM, 2005).

Outro aspecto interessante é que os agentes sendo condicionados na possibilidade de perceber a existência de um objeto normativo, o raciocínio normativo requerido pelos agentes que lidam com objetos normativos deverá ser de natureza não-monotônica. Além disso, o raciocínio normativo relacionado com a possibilidade de criar espaços normativos no ambiente, cada um com seu próprio propósito organizacional e estrutura normativa, nos leva a várias possibilidades que deverão ser analisadas no futuro.

Outras questões que não foram abordadas neste trabalho, também necessitariam de maior estudo posterior, tal como o cruzamento de informações das diferentes entidades multiagentes envolvidas para auxiliar no desenvolvimento da aplicação. Uma das possibi-lidades seria a verificação dos tipos de papéis relativos relacionados a um espaço norma-tivo e os papéis da organização presente no local, pois a verificação da consistência destes papéis atualmente fica a cargo do projetista da simulação. Outra verificação possível seria a consistência de missões com os espaços relacionados e os recursos necessários. Além disso, o aspecto da interação dos agentes, tais como protocolos e linguagens para inte-ração, não é tratado explicitamente pelo modelo, sendo possível defini-lo implicitamente nos agentes ou através de normas, porém a definição explícita poderia trazer benefícios, o que poderá ser estudado em trabalhos futuros.

REFERÊNCIAS

ALDEWERELD, H. et al.. Designing Normative Behaviour Via Landmarks. In: INTER-NATIONAL WORKSHOPS ON AGENTS, NORMS AND INSTITUTIONS FOR RE-GULATED MULTI-AGENT SYSTEMS, ANIREM; OOOP, 2005. Coordination, Orga-nizations, Institutions, and Norms in Multi-Agent Systems: revised selected papers.

Berlin: Springer-Verlag, 2006. p. 157–169. Lecture Notes in Computer Science, v.3913).

ALECHINA, N.; JAGO, M.; LOGAN, B. Resource-bounded belief revision and contrac-tion. In: INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUA-GES AND TECHNOLOGIES, DALT, 3., 2005, Utrecht, the Netherlands. Proceedings. . . [S.l.: s.n.], 2005.

ÁLVARES, L. O. C.; SICHMAN, J. S. Introdução aos Sistemas Multiagentes. In: JOR-NADA DE ATUALIZAÇÃO EM INFORMÁTICA, JAI, 16, 1997 Brasília. Anais. . . , 1997. BRASÍLIA : UNB, 1997.

ANCONA, D.; MASCARDI, V. Coo-BDI: extending the BDI model with cooperati-vity. In: INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, DALT, 1., 2003, Melbourne, Australia. Declarative Agent Languages and Technologies: Revised Selected and invided papers. Berlin: Springer-Verlag, 2004. p.109–134. (Lecture Notes in Computer Science, v.2990).

ANCONA, D.; MASCARDI, V.; HÜBNER, J. F.; BORDINI, R. H. Coo-AgentSpeak:

cooperation in agentspeak through plan exchange. In: INTERNATIONAL JOINT CON-FERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS, 3., 2004. Proceedings. . . [S.l.: s.n.]. IEEE Computer Society, 2004. p.696–705.

BOELLA, G.; TORRE, L. van der; VERHAGEN, H. Introduction to Norma-tive Multiagent Systems. In: NORMATIVE MULTI-AGENT SYSTEMS, 2007.

Anais. . . Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI):

Schloss Dagstuhl: Germany, 2007. n.07122. (Dagstuhl Seminar Proceedings).

<http://drops.dagstuhl.de/opus/volltexte/2007/918>[date of citation: 2007-01-01].

BORDINI, R. H.; BAZZAN, A. L. C.; JANNONE, R. O.; BASSO, D. M.; VICARI, R. M.; LESSER, V. R. AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. In: INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, AAMAS, 1., 2002, Brin-ging People and Agents Together: Proceedings. New York: ACM, 2002. v.3, p.1294–

1302.

BORDINI, R. H.; COSTA, A. C. d. R.; HüBNER, J. F.; MOREIRA, A. F.; OKUYAMA, F. Y.; VIEIRA, R. MAS-SOC: a social simulation platform based on agent-oriented pro-gramming. Journal of Artificial Societies and Social Simulation, [S.l.], v.8, n.3, 2005.

BORDINI, R. H.; HÜBNER, J. F. et al. Jason: a Java-based agentspeak interpreter used with saci for multi-agent distribution over the net. Manual, Release version 0.9.5.ed.

[S.l.: s.n.], 2007. Disponível em: <http://jason.sourceforge.net/>. Acesso em 01/11/2008.

BORDINI, R. H.; HÜBNER, J. F.; VIEIRA, R. Jason and the Golden Fleece of Agent-Oriented Programming. In: BORDINI, R. H.; DASTANI, M.; DIX, J.; EL FAL-LAH SEGHROUCHNI, A. (Ed.). Multi-Agent Programming: languages, platforms and applications. [S.l.]: Springer-Verlag, 2005. p.3–37.

BORDINI, R. H.; HÜBNER, J. F.; WOOLDRIDGE, M. Programming Multi-Agent Systems in AgentSpeak Using Jason. [S.l.]: John Wiley & Sons, 2007. (Wiley Series in Agent Technology).

BORDINI, R. H.; MOREIRA, A. F. Proving BDI Properties of Agent-Oriented Program-ming Languages: the asymmetry thesis principles in AgentSpeak(L). Annals of Mathe-matics and Artificial Intelligence, [S.l.], v.42, n.1–3, p.197–226, Sept. 2004. Special Issue on Computational Logic in Multi-Agent Systems.

BORDINI, R. H. et al.. The MAS-SOC Approach to Multi-agent Based Simulation. In:

INTERNATIONAL WORKSHOP ON REGULATED AGENT-BASED SOCIAL SYS-TEMS, RASTA, 1., 2002. Regulated Agent-Based Social Systems: revised selected and invited papers. Berlin: Springer-Verlag, 2004. p.70–91. (Lecture Notes in Computer Sci-ence, v.2934).

BORDINI, R. H.; VIEIRA, R.; MOREIRA, Á. F. Fundamentos de Sistemas Multiagentes.

In: Jornada de Atualização em Informática, JAI, 20., 2001, Fortaleza. Anais. . . Fortaleza:

SBC, 2001. p.3–41.

CARLEY, K. M.; GASSER, L. Computer Oranization Theory. In: WEISS, G. (Ed.). Mul-tiagent Systems—A Modern Approach to Distributed Artificial Intelligence. Cam-bridge, MA: MIT Press, 1999. p.299–330.

CASTELFRANCHI, C. Simulating with Cognitive Agents: the importance of cognitive emergence. In: INTERNATIONAL WORKSHOP ON MUTI-AGENT SYSTEMS AND AGENT-BASED SYSTEMS, MASBS, 1998, Paris. Proceedings. . . Springer-Verlag, 1998. p.26–44. (Lecture Notes in Artificial Intelligence, v.1534).

CASTELFRANCHI, C. The Theory of Social Functions: challenges for computational social science and multi-agent learning. Cognitive Systems Research, [S.l.], v.2, n.1, p.5–38, Apr. 2001.

CASTELFRANCHI, C.; CONTE, R.; PAOLUCCI, M. Normative reputation and the costs of compliance. Journal of Artificial Societies and Social Simulation, Guildford, UK, v.1, n.3, 1998.

CASTELFRANCHI, C. et al. . Deliberative Normative Agents: principles and architec-ture. In: INTERNATIONAL WORKSHOP ON INTELLIGENT AGENTS VI, AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, ATAL, 6., 1999, Florida, USA.

Proceedings. . . Berlin: Springer-Verlag, 1999. p.364–378. (Lecture Notes In Computer Science, v. 1757).

CONTE, R.; CASTELFRANCHI, C. Cognitive and Social Action. London: UCL Press, 1995.

CONTE, R.; CASTELFRANCHI, C.; DIGNUM, F. Autonomous Norm Acceptance.

In: INTERNATIONAL WORKSHOP ON INTELLIGENT AGENTS V, AGENT THEO-RIES, ARCHITECTURES, AND LANGUAGES, ATAL, 5., 1998, Paris. Proceedings. . . Berlin: Springer, 1999. p.99–112. (Lecture Notes in Computer Science, v.1555).

CONTE, R.; FALCONE, R.; SARTOR, G. Introduction: agents and norms: how to fill the gap? Artificial Intelligence and Law, [S.l.], v.7, n.1, p.1–15, 1999.

CONTE, R.; GILBERT, N.; SICHMAN, J. S. MAS and Social Simulation: a sui-table sommitment. In: INTERNATIONAL WORKSHOP ON MULTI-AGENT SYS-TEMS AND AGENT-BASED SIMULATION, FIRST INTERNATIONAL WORKSHOP, MABS, 1., Paris. Proceedings. . . Berlin: Springer, 1998. p.1–9. (Lecture Notes in Com-puter Science, v.1534).

COSTA, A. C. R.; DIMURO, G. P. Semantical Concepts for a Formal Structural Dyna-mics of Situated Multiagent Systems. In: COORDINATION, ORGANIZATIONS, INS-TITUTIONS, AND NORMS IN AGENT SYSTEMS III, 2008. Berlin: Springer, 2008.

p.139–154. (Lecture Notes in Artificial Intelligence, v.4870).

COUTINHO, L. R.; SICHMAN, J. S.; BOISSIER, O. Organizational Modeling Dimensi-ons in Multiagent Systems. In: IBERAGENTS, 2006, Ribeirao Preto, SP, Brazil. Anais. . . [S.l.: s.n.], 2006.

DEMAZEAU, Y. From Cognitive Interactions to Collective Behaviour in Agent-Based Systems. In: EUROPEAN CONFERENCE ON COGNITIVE SCIENCE, 1995, Saint-Malo. Proceedings. . . [S.l.: s.n.], 1995.

DEMAZEAU, Y.; COSTA, A. C. R. Populations and organizations in open multi-agent systems. In: NATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED AI, PDAI, 1., 1996, Hyderabad, India. Proceedings. . . [S.l.: s.n.], 1996.

DIGNUM, F. Abstract Norms and Electronic Institutions. In: INTERNATIONAL WORKSHOP ON REGULATED AGENT-BASED SOCIAL SYSTEMS, RASTA, 1., 2002, Bologna, Italy. Proceedings. . . [S.l.: s.n.], 2002.

DIGNUM, V.; VÁZQUEZ-SALCEDA, J.; DIGNUM, F. OMNI: introducing social structure, norms and ontologies into agent organizations. In: INTERNATIONAL WORKSHOP ON PROGRAMMING MULTI-AGENT SYSTEMS, PROMAS, 2., 2004, New York, NY, USA. Selected Revised and Invited Papers Berlin: Springer, 2005.

p.181–198. (Lecture Notes in Computer Science, v.3346).

d’INVERNO, M.; LUCK, M. Engineering AgentSpeak(L): a formal computational mo-del. Journal of Logic and Computation, [S.l.], v.8, n.3, p.1–27, 1998.

FERBER, J. Multi-Agent Systems: an introduction to distributed artificial intelligence.

Boston, MA, USA: Addison-Wesley Longman Publishing, 1999.

FERBER, J.; MICHEL, F.; BÁEZ-BARRANCO, J.-A. AGRE: integrating environments with organizations. In: INTERNATIONAL WORKSHOP ON ENVIRONMENTS FOR MULTI-AGENT SYSTEMS, E4MAS, 1., 2004, New York, NY, USA. Revised Selected Papers. Berlin: Springer, 2005. p.48–56. (Lecture Notes in Computer Science, v.3374).

FORNARA, N.; COLOMBETTI, M. Specifying and Enforcing Norms in Artifi-cial Institutions. In: NORMATIVE MULTI-AGENT SYSTEMS, 2007. Anais. . . Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI):

Schloss Dagstuhl: Germany, 2007. n.07122. (Dagstuhl Seminar Proceedings).

<http://drops.dagstuhl.de/opus/volltexte/2007/909>[date of citation: 2007-01-01].

FRANCO, M. H. I.; COSTA, A. C. R. Towards a Protocol for Negotiations about Ex-change Values Involved in Multiagent Interactions. In: INTERNATIONAL WORKSHOP ON COMPUTATIONAL MODELS OF NATURAL ARGUMENT, CMNA, 7., 2007, Hy-derabad, India. Proceedings. . . . Hyderabad: IJCAI, 2007. p. 01–05.

GARCIA-CAMINO, A.; NORIEGA, P.; RODRÍGUEZ-AGUILAR, J. A. Implementing norms in electronic institutions. In: INTERNATIONAL JOINT CONFERENCE ON AU-TONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS, 4., 2005, Utrecht, The Netherlands. Proceedings. . . New York:ACM, 2005. p.667–673.

GARCÍA-CAMINO, A.; RODRÍGUEZ-AGUILAR, J. A.; SIERRA, C.; VASCONCE-LOS, W. W. A Distributed Architecture for Norm-Aware Agent Societies. In: INTERNA-TIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND TECHNO-LOGIES III, DALT, 3., 2005, Utrecht, The Netherlands. Selected and Revised Papers.

Berlin: Springer, 2006. p.89–105. (Lecture Notes in Computer Science, v.3904).

GILBERT, N.; TROITZSCH, K. G. Simulation for the Social Scientist. [S.l.]: Open University Press, 1999.

HÜBNER, J. F.; SICHMAN, J. S. ao. SACI: uma ferramenta para implementação e mo-nitoração da comunicação entre agentes. In: IBERO-AMERICAN CONFERENCE ON AI, 7., BRAZILIAN SYMPOSIUM ON AI, 15., 2000, Atibaia. Open Discussion Track Proceedings. São Carlos: ICMC/USP, 2000. p.47–56.

HÜBNER, J. F.; SICHMAN, J. S.; BOISSIER, O.MOISE+: towards a structural, functi-onal, and deontic model for MAS organization. In: INTERNATIONAL JOINT CONFE-RENCE ON AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, AAMAS, 1., 2002, Bologna, Italy. Proceedings. . . [S.l.: s.n.], 2002.

HUHNS, M.; LARRY, M.; STEPHENS, L. Multiagent Systems and Societies of Agents.

In: Weiss G. (ed.). Multiagent Systems: a modern approach to distributed artificial intel-ligence. Cambridge, MA: MIT Press, 1999. p.79–120.

JENNINGS, N. R.; SYCARA, K. P.; WOOLDRIDGE, M. J. A Roadmap of Agent Rese-arch and Development. Autonomous Agents and Multi-Agent Systems, [S.l.], v.1, n.1, p.7–38, 1998.

KAGAL, L.; FININ, T. W.; JOSHI, A. A Policy Language for a Pervasive Computing Environment. In: IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRI-BUTED SYSTEMS AND NETWORKS, POLICY, 4., 2003, Lake Como, Italy. Procee-dings. . . [S.l.]: IEEE Computer Society, 2003. p.63–74.

KRAFTA, R.; OLIVEIRA, D. d.; BORDINI, R. H. The city as object of human agency. In:

INTERNATIONAL SPACE SYNTAX SYMPOSIUM, 4., 2002, London. Proceedings. . . [S.l.: s.n.], 2002.

LÓPEZ, F. L. y; LUCK, M. A Model of Normative Multi-agent Systems and Dynamic Re-lationships. In: INTERNATIONAL WORKSHOP ON REGULATED AGENT-BASED SOCIAL SYSTEMS, RASTA, 1., 2002, Bologna, Italy.Revised Selected and Invited Papers Berlin: Springer, 2004. p.259–280. (Lecture Notes in Computer Science, v.2934).

LOPEZ, F. L. y; LUCK, M.; D’INVERNO, M. A Normative Framework for Agent-Based Systems. In: NORMATIVE MULTI-AGENT SYSTEMS, 2007.

Anais. . . Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI):

Schloss Dagstuhl: Germany, 2007. n.07122. (Dagstuhl Seminar Proceedings).

<http://drops.dagstuhl.de/opus/volltexte/2007/933>[date of citation: 2007-01-01].

MACHADO, R.; BORDINI, R. H. Running AgentSpeak(L) Agents on SIM_AGENT. In:

INTERNATIONAL WORKSHOP ON AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, ATAL, 8., 2001, Seattle, WA. Intelligent Agents VIII: proceedings. Ber-lin: Springer-Verlag, 2002. p.158–174. (Lecture Notes in Artificial Intelligence, v.2333).

MOREIRA, A. F.; BORDINI, R. H. An Operational Semantics for a BDI Agent-Oriented Programming Language. In: INTERNATIONAL WORKSHOP ON LOGICS FOR AGENT-BASED SYSTEMS, LABS, 2002, Toulouse, France. Proceedings. . . [S.l.: s.n.], 2002. p.45–59.

MOREIRA, A. F.; VIEIRA, R.; BORDINI, R. H. Extending the Operational Seman-tics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. In: INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, DALT, 1., 2003, Melbourne, Australia. Revi-sed Selected and Invited Papers Berlin: Springer-Verlag, 2004. p.135–154. (Lecture Notes in Artificial Intelligence, v.2990).

MOREIRA, A. F.; VIEIRA, R.; BORDINI, R. H.; HÜBNER, J. F. Agent-Oriented Programming with Underlying Ontological Reasoning. In: INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES III, DALT, 3., 2005, Utrecht, The Netherlands. Selected and Revised Papers Berlin:

Springer, 2006. p.155–170. (Lecture Notes in Computer Science, v.3904).

OKUYAMA, F. Y. Descrição e Geração de Ambientes para Simulações com Sistemas Multiagentes. 2003. Dissertação (Mestrado em Ciência da Computação) — Instituto de Informática, UFRGS, Porto Alegre, RS.

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. ELMS: an environment description language for multi-agent simulation. In: INTERNATIONAL WORKSHOP ON ENVIRONMENTS FOR MULTI-AGENT SYSTEMS, E4MAS, 1., 2004, New York, NY, USA. Revised Selected Papers Berlin: Springer, 2005. p.91–108. (Lecture Notes in Computer Science, v.3374).

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. Spatially Distributed Normative Objects. In: INTERNATIONAL WORKSHOP ON COORDINATION, OR-GANIZATION, INSTITUTIONS AND NORMS IN AGENT SYSTEMS II, COIN, 2., 2006, Riva del Garda, Italy. Proceedings. . . Berlin, Springer, 2007. (Lecture Notes in Computer Science, v.4386).

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. Spatially Distributed Normative Infrastructure. In: INTERNATIONAL WORKSHOP ON ENVIRONMENTS FOR MULTI-AGENT SYSTEMS, E4MAS, 3., 2006, Hakodate, Japan. Selected Revi-sed and Invited Papers Berlin: Springer, 2007. p.203–220. (Lecture Notes in Computer Science, v.4389).

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. Augmenting Multi-Agent Environment Descriptions with a Normative Infrastructure. In: BRAZILIAN ME-ETING ON ARTIFICIAL INTELLIGENCE, ENIA, 6., 2007, Rio de Janeiro, RJ, Brazil.

Proceedings. . . [S.l.: s.n.], 2007.

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. A distributed norma-tive infrastructure for situated multi-agent organisations. In: INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AA-MAS, 7., 2008, Estoril, Portugal. Proceedings. . . IFAAAA-MAS, 2008. p.1501–1504. v.3.

OKUYAMA, F. Y.; BORDINI, R. H.; ROCHA COSTA, A. C. da. A distributed nor-mative infrastructure for situated multi-agent organisations. In: INTERNATIONAL WORKSHOP ON DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, DALT, 6., 2008, Estoril, Portugal. Revised Selected and Invited Papers. Berlin: Sprin-ger, 2008. p.29–46. (Lecture Notes in Computer Science, v.5397).

OKUYAMA, F. Y.; VIEIRA, R.; BORDINI, R. H.; ROCHA COSTA, A. C. da. An On-tology for Defining Environments within Multi-Agent Simulations. In: WORKSHOP ON ONTOLOGIES AND METAMODELING IN SOFTWARE AND DATA ENGINEE-RING, WOMSDE, 2006, Florianópolis. Anais. . . [S.l.]: SBC, 2006. p.32–41.

OMICINI, A. et al.. Coordination artifacts: environment-based coordination for intel-ligent agents. In: INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, AAMAS, 3., 2004, New York, NY, USA.

Proceedings. . . [S.l.: s.n.], 2004.

PACHECO, O.; OKUYAMA, F.; DIAS, A. Simulación del Proceso de Compra de Artí-culos en un Mercado Virtual con Agentes BDI. In: CONFERENCIA LATINOAMERI-CANA DE INFORMÁTICA, CLEI, 30., 2004, Arequipa, Peru. Articulos. Peru: Sociedad Peruana de Computación, 2004. p.214–223.

PRIETULA, M.; CARLEY, K.; GASSER, L. (Ed.). Simulating Organizations: compu-tational models of institutions and groups. Menlo Park, CA: AAAI Press / MIT Press, 1998.

RAO, A. S. AgentSpeak(L): BDI agents speak out in a logical computable language. In:

INTERNATIONAL WORKSHOP ON MODELLING AUTONOMOUS AGENTS IN A MULTI-AGENT WORLD, MAAMAW, 7., 1996, Eindhoven, The Netherlands. Procee-dings. . . Berlin: Springer-Verlag, 1996. p.42–55. (Lecture Notes in Artificial Intelligence, v.1038).

RAO, A. S.; GEORGEFF, M. P. Decision Procedures for BDI Logics. Journal of Logic and Computation, [S.l.], v.8, n.3, p.293–343, 1998.

RODRIGUES, M. R. Um Sistema de Valores de Troca para Suporte as Interacoes em Sociedades Artificiais. 2003. Dissertação (Mestrado em Ciência da Computação)—

Instituto de Informática, UFRGS, Porto Alegre, RS.

RODRIGUES, M. R.; ROCHA COSTA, A. C. da; BORDINI, R. H. A System of Ex-change Values to Support Social Interactions in Artificial Societies. In: AUTONOMOUS AGENTS AND MULTI AGENT SYSTEMS, AAMAS, 2., 2003, Melbourne, Australia.

Proceedings. . . New York: ACM Press, 2003. p.81–88.

RUBINO, R.; OMICINI, A.; DENTI, E. Computational Institutions for Modelling Norm-Regulated MAS: an approach based on coordination artifacts. In: INTERNATIONAL WORKSHOP ON “AGENTS, NORMS AND INSTITUTIONS FOR REGULATED MULTI-AGENT SYSTEMS”, ANI@REM, 1., 2005, Utrecht, The Netherlands. Procee-dings. . . [S.l.: s.n.], 2005.

RUSSELL, S.; NORVIG, P. Artificial Intelligence: a modern approach. 2nd ed. [S.l.]:

Prentice-Hall, Englewood Cliffs, NJ, 2003.

SICHMAN, J. S. ao; DEMAZEAU, Y.; BOISSIER, O. When can knowledge-based sys-tems be called agents. In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLI-GENCE, SBIA, 9., 1992, Rio de Janeiro, Brazil. Proceedings. . . [S.l.]:SBC, 1992. p.172–

185.

SIERRA, C. et al.. Engineering multi-agent systems as electronic institutions. UP-GRADE The European Journal for the Informatics Professional, [S.l.], v.5, n.4, p.33–

39, 2004.

VÁZQUEZ-SALCEDA, J.; DIGNUM, V.; DIGNUM, F. Organizing Multiagent Systems.

Autonomous Agents and Multi-Agent Systems, [S.l.], v.11, n.3, p.307–360, 2005.

VIEIRA, R.; MOREIRA, Á. F.; WOOLDRIDGE, M.; BORDINI, R. H. On the For-mal Semantics of Speech-Act Based Communication in an Agent-Oriented Program-ming Language. Journal of Artificial Intelligence Research (JAIR), Danvers, MA, v.29, p.221–267, 2007.

VIROLI, M.; OMICINI, A.; RICCI, A. Engineering MAS Environment with Artifacts. In:

INTERNATIONAL WORKSHOP ON ENVIRONMENTS FOR MULTI-AGENT SYS-TEMS, E4MAS, 2., 2005, Utrecht, The Netherlands. Proceedings. . . [S.l.: s.n.], 2005.

p.62–77.

WEYNS, D. et al.. Environment for Multiagent Systems: state-of-art and research chal-lenges. In: INTERNATIONAL WORKSHOP ON ENVIRONMENTS FOR MULTIA-GENT SYSTEMS, E4MAS, 1., 2005, New York, NY, USA. Proceedings. . . Berlin:

Springer-Verlag, 2005. (Lecture Notes In Artificial Intelligence, v.3374).

WEYNS, D.; VIZZARI, G.; HOLVOET, T. Environments for Situated Multi-agent Sys-tems: beyond infrastructure. In: INTERNATIONAL WORKSHOP ON ENVIRON-MENTS FOR MULTI-AGENT SYSTEMS II, E4MAS, 2., 2005, Utrecht, The Nether-lands. Selected Revised and Invited Papers. Berlin: Springer, 2006. p.1–17. (Lecture Notes in Computer Science, v.3830).

WOOLDRIDGE, M. Intelligent Agents. In: WEISS, G. (Ed.). Multiagent Systems—A Modern Approach to Distributed Artificial Intelligence. Cambridge, MA: MIT Press, 1999. p.27–77.

WOOLDRIDGE, M. An Introduction to MultiAgent Systems. [S.l.]: John Wiley &

Sons, 2002.

WOOLDRIDGE, M.; JENNINGS, N. R.; KINNY, D. The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems, [S.l.], v.3, n.3, p.285–312, 2000.

APÊNDICE A CONSTRUÇÕES ELMS

Esta seção apresenta na forma de um pseudo-código as principais construções utiliza-das na definição de ambientes ELMS. A linguagem ELMS foi originalmente definida em XML, mas para facilitar a compreensão, é utilizado este pseudo-código.