A Conceptual Model for Situating Purposes in Artificial Institutions

Rafhael R. Cunha; Jomi Fred Hübner; Maiquel de Brito

doi:10.22456/2175-2745.110830

Authors

Rafhael R. Cunha Federal University of the Santa Catarina https://orcid.org/0000-0003-3233-5158
Jomi Fred Hübner https://orcid.org/0000-0001-9355-822X
Maiquel de Brito https://orcid.org/0000-0003-4650-7416

DOI:

https://doi.org/10.22456/2175-2745.110830

Keywords:

purposes, status-functions, artificial institutions, multi-agent systems

Abstract

{In multi-agent systems, artificial institutions connect institutional concepts, belonging to the institutional reality, to the concrete elements that compose the system. The institutional reality is composed of a set of institutional concepts, called Status-Functions. Current works on artificial institutions focus on identifying the status-functions and connecting them to the concrete elements. However, the functions associated with the status-functions are implicit. As a consequence, the agents cannot reason about the functions provided by the elements that carry the status-functions and, thus, cannot exploit these functions to satisfy their goals. Considering this problem, this paper proposes a model to express the functions -- or the purposes -- associated with the status-functions. Examples illustrate the application of the model in a practical scenario, showing how the agents can use purposes to reason about the satisfaction of their goals in institutional contexts.

Downloads

References

WOOLDRIDGE, M. An introduction to multiagent systems. [S.l.]: John Wiley & Sons, 2009.

WINIKOFF, M. Challenges and directions for engineering multi-agent systems. arXiv preprint arXiv:1209.1428, 2012.

FORNARA, N.; VIGAN `O, F.; COLOMBETTI, M. Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems, v. 14, n. 2, p. 121–142, 2007. ISSN 13872532.

CLIFFE, O.; VOS, M. D.; PADGET, J. Answer set programming for representing and reasoning about virtual institutions. In: SPRINGER. International Workshop on Computational Logic in Multi-Agent Systems. [S.l.], 2006. p. 60–79.

CARDOSO, H. L.; OLIVEIRA, E. Institutional Reality and Norms: Specifying and Monitoring Agent Organizations. International Journal of Cooperative Information Systems, v. 16, n. 01, p. 67–95, 2007.

BRITO, M. d. et al. A model of institucional reality supporting the regulation in artificial institutions. Tese (Doutorado) — Universidade Federal de Santa Catarina, 2016.

FORNARA, N. Specifying and monitoring obligations in open multiagent systems using semantic web technology. In: Semantic agent systems. [S.l.]: Springer, 2011. p. 25–45.

SEARLE, J. R. The construction of social reality. [S.l.]: Simon and Schuster, 1995.

SEARLE, J. Making the social world: The structure of human civilization. [S.l.]: Oxford University Press, 2010.

FORNARA, N.; VIGAN `O, F.; COLOMBETTI, M. Agent communication and institutional reality. In: SPRINGER. International Workshop on Agent Communication. [S.l.], 2004. p. 1–17.

PIUNTI, M. et al. Embodied organisations in MAS environments. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 5774 LNAI, p. 115–127, 2009.

FORNARA, N.; COLOMBETTI, M. Specifying and Enforcing Norms. n. 2204, p. 1–17, 2009.

DASTANI, M. et al. Normative multi-agent programs and their logics. In: Knowledge Representation for Agents and Multi-Agent Systems. [S.l.]: Springer, 2009. p. 16–31.

CAMPOS, J. et al. Formalising Situatedness and Adaptation in. p. 126–139, 2009.

RODRIGUEZ-AGUILAR, J. A. et al. Towards next generation coordination infrastructures. Knowledge Engineering Review, 2015, vol. 30, num. 4, p. 1-19, Cambridge University Press, 2015.

CONDELLO, A.; FERRARIS, M.; SEARLE, J. R. Money, Social Ontology and Law. [S.l.]: Routledge, 2019.

CONDELLO, A. Two questions on the ontology of money. Ardeth, n. 03, p. 181–191, 2018.

BOELLA, G.; TORRE, L. van der. Regulative and constitutive norms in normative multiagent systems. KR, v. 4, p. 255–265, 2004.

V ́AZQUEZ-SALCEDA, J. et al. From human regulations to regulated software agents’ behavior. Artificial Intelligence and Law, Springer, v. 16, n. 1, p. 73–87, 2008.

ALDEWERELD, H. et al. Making norms concrete. In: INTERNATIONAL FOUNDATION FOR AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS. Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1. [S.l.], 2010. p. 807–814.

VIGAN `O, F.; COLOMBETTI, M. Model Checking Norms and Sanctions in Institutions. n. ii, p. 316–329, 2008.

GROSSI, D. et al. Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational and Mathematical Organization Theory, v. 12, n. 2-3 SPEC. ISS., p. 251–275, 2006.

MUNTANER, E.; ESTEVA, J. L. Towards a formalisation of dynamic electronic institutions. In: SPRINGER. International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems. [S.l.], 2007. p. 97–109.

CLIFFE, O.; VOS, M. D.; PADGET, J. Specifying and reasoning about multiple institutions. In: SPRINGER. International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems. [S.l.], 2006. p. 67–85.

FORNARA, N.; COLOMBETTI, M. Ontology and time evolution of obligations and prohibitions using semantic web technology. In: SPRINGER. International Workshop on Declarative Agent Languages and Technologies. [S.l.], 2009. p. 101–118.

FORNARA, N.; COLOMBETTI, M. Representation and monitoring of commitments and norms using owl. AI communications, IOS Press, v. 23, n. 4, p. 341–356, 2010.

FORNARA, N.; TAMPITSIKAS, C. Using owl artificial institutions for dynamically creating open spaces of interaction. In: AT. [S.l.: s.n.], 2012. p. 281–295.

RODRIGUEZ-AGUILAR, J. A. et al. Towards next generation coordination infrastructures. Knowledge Engineering Review, v. 30, n. 4, p. 435–453, 2015.

BOISSIER, O. et al. Multi-agent oriented programming: programming multi-agent systems using JaCaMo. [S.l.]: MIT Press, 2020.

WINIKOFF, M. et al. Declarative and procedural goals in intelligent agent systems. In: MORGAN KAUFMAN. International Conference on Principles of Knowledge Representation and Reasoning. [S.l.], 2002.

HINDRIKS, K. V. et al. Agent programming with declarative goals. In: SPRINGER. International Workshop on Agent Theories, Architectures, and Languages. [S.l.], 2000. p. 228–243.

RIEMSDIJK, B. van; HOEK, W. van der; MEYER, J.-J. C. Agent programming in dribble: from beliefs to goals using plans. In: Proceedings of the second international joint conference on Autonomous agents and multiagent systems. [S.l.: s.n.], 2003. p. 393–400.

H ̈UBNER, J. F.; BORDINI, R. H.; WOOLDRIDGE, M. Declarative goal patterns for agentspeak. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06). [S.l.: s.n.], 2006.

NIGAM, V.; LEITE, J. A dynamic logic programming based system for agents with declarative goals. In: SPRINGER. International Workshop on Declarative Agent Languages and Technologies. [S.l.], 2006. p. 174–190.

RIEMSDIJK, M. B. van. Cognitive agent programming: A semantic approach. [S.l.]: Utrecht University, 2006.

RIEMSDIJK, M. B. V.; DASTANI, M.; WINIKOFF, M. Goals in agent systems: A unifying framework. In: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 2. [S.l.: s.n.], 2008. p. 713–720.

BRITO, M. D.; H ̈UBNER, J. F.; BOISSIER, O. Situated artificial institutions: stability, consistency, and flexibility in the regulation of agent societies. Autonomous Agents and Multi-Agent Systems, Springer, v. 32, n. 2, p. 219–251, 2018.

SEARLE, J. R. Social ontology: Some basic principles. Anthropological theory, SAGE Publications London, Thousand Oaks, CA and New Delhi, v. 6, n. 1, p. 12–29, 2006.

BRITO, M. D.; H ̈UBNER, J. F.; BOISSIER, O. A conceptual model for situated artificial institutions. In: SPRINGER. International Workshop on Computational Logic and Multi-Agent Systems. [S.l.], 2014. p. 35–51.

BORDINI, R. H.; H ̈UBNER, J. F.; WOOLDRIDGE, M. Programming multi-agent systems in AgentSpeak using Jason. [S.l.]: John Wiley & Sons, 2007. v. 8.

RICCI, A.; PIUNTI, M.; VIROLI, M. Environment programming in multi-agent systems: an artifact-based perspective. Autonomous Agents and Multi-Agent Systems, Springer, v. 23, n. 2, p. 158–192, 2011.

ALDEWERELD, H.; DIGNUM, V. Operetta: Organization-oriented development environment. In: SPRINGER. International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems. [S.l.], 2010. p. 1–18.

ZAMBONELLI, F.; JENNINGS, N. R.; WOOLDRIDGE, M. Organisational abstractions for the analysis and design of multi-agent systems. In: SPRINGER. International Workshop on Agent-Oriented Software Engineering. [S.l.], 2000. p. 235–251.

De Brito, M.; H ̈UUBNER, J. F. A Conceptual Model for Situated Artificial Institutions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8624 LNAI, n. March 2016, 2014. ISSN 16113349.

TELANG, P. R.; SINGH, M. P.; YORKE-SMITH, N. A coupled operational semantics for goals and commitments. Journal of Artificial Intelligence Research, v. 65, p. 31–85, 2019.

TOMIC, S.; PECORA, F.; SAFFIOTTI, A. Norms, Institutions, and Robots. v. 14, n. 8, p. 1–14, 2018. Dispon ́ıvel em: 〈http://arxiv.org/abs/1807.11456〉.

MURRAY-RUST, D.; PAPAPANAGIOTOU, P.; ROBERTSON, D. Softening electronic institutions to support natural interaction. Human Computation, v. 2, n. 2, 2015.

PADGET, J.; De Vos, M.; PAGE, C. A. Deontic sensors. IJCAI International Joint Conference on Artificial Intelligence, v. 2018-July, n. section 5, p. 475–481, 2018. ISSN 10450823.

COSTA, A. C. da R.; DIMURO, G. P. Elementary social functions: Concept and interrelation to social dependence relations. In: IEEE. 2012 Third Brazilian Workshop on Social Simulation. [S.l.], 2012. p. 23–30.