Modelo Ontológico para Significar Status-Functions em Instituições Artificiais
Resumo
Em sistemas multiagente, instituições artificiais conectam conceitos abstratos, pertencentes à realidade institucional, aos elementos concretos que compõem o sistema. Neste sentido, a realidade institucional é composta por um conjunto de conceitos abstratos, denominados Status-Functions, e uma série de regras constitutivas que realizam tal conexão. No atual estado da arte, a única finalidade do processo de constituição é relacionar elementos constituídos com a respectiva dinâmica normativa, limitando o raciocínio dos agentes em relação à satisfação de seus objetivos. Diante do exposto, este artigo apresenta um modelo ontológico com o objetivo de definir o significado das Status-Functions de modo a superar essa limitação. Como resultado, são elencadas algumas vantagens que a utilização do modelo oferece e limitações que ainda precisam ser superadas como direções para trabalhos futuros.Referências
Aldewereld, H., Álvarez-Napagao, S., Dignum, F., and Vázquez-Salceda, J. (2010). Making norms concrete. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1, pages 807–814. International Foundation for Autonomous Agents and Multiagent Systems.
Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D., et al. (2003). The description logic handbook: Theory, implementation and applications. Cambridge university press.
Boella, G. and van der Torre, L. (2004). Regulative and constitutive norms in normative multiagent systems. KR, 4:255–265.
Brito, M. d. et al. (2016a). A model of institucional reality supporting the regulation in artificial institutions. PhD thesis, Universidade Federal de Santa Catarina.
Brito, M. D. E., Thévin, L., Garbay, C., Boissier, O., and Hübner, J. F. (2016b). Supporting flexible regulation of crisis management by means of situated artificial institution. 17(4):309–324.
Campos, J., Sanchez, M., Aguilar, J., and Esteva, M. (2009). Formalising Situatedness and Adaptation in. pages 126–139.
Cardoso, H. L. and Oliveira, E. (2007). Institutional Reality and Norms: Specifying and Monitoring Agent Organizations. International Journal of Cooperative Information Systems, 16(01):67–95.
Cliffe, O., De Vos, M., and Padget, J. (2006a). Answer set programming for representing and reasoning about virtual institutions. In International Workshop on Computational Logic in Multi-Agent Systems, pages 60–79. Springer.
Cliffe, O., De Vos, M., and Padget, J. (2006b). Specifying and reasoning about multiple institutions. In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, pages 67–85. Springer.
Cliffe, O., De Vos, M., and Padget, J. (2007). Answer Set Programming for Representing and Reasoning About Virtual Institutions. pages 60–79.
Condello, A. (2018). Two questions on the ontology of money. Ardeth, (03):181–191.
Condello, A., Ferraris, M., and Searle, J. R. (2019). Money, Social Ontology and Law. Routledge.
Dastani, M., Grossi, D., Meyer, J.-J. C., and Tinnemeier, N. (2009). Normative multi-agent programs and their logics. In Knowledge Representation for Agents and Multi-Agent Systems, pages 16–31. Springer.
Fornara, N. (2011). Specifying and monitoring obligations in open multiagent systems using semantic web technology. In Semantic agent systems, pages 25–45. Springer.
Fornara, N. and Colombetti, M. (2009a). Ontology and time evolution of obligations and prohibitions using semantic web technology. In International Workshop on Declarative Agent Languages and Technologies, pages 101–118. Springer.
Fornara, N. and Colombetti, M. (2009b). Specifying and Enforcing Norms. (2204):1–17.
Grandi, A. (2011). Jasa: Semantically aware agents to improve adaptivity and context-awareness of smart environments.
Grossi, D., Aldewereld, H., Vázquez-Salceda, J., and Dignum, F. (2006). Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational and Mathematical Organization Theory, 12(2-3 SPEC. ISS.):251–275.
Guarino, N. (1998). Formal ontology in information systems: Proceedings of the first international conference (FOIS’98), June 6-8, Trento, Italy, volume 46. IOS press.
Klapiscak, T. and Bordini, R. H. (2008). Jasdl: A practical programming approach combining agent and semantic web technologies. In International Workshop on Declarative Agent Languages and Technologies, pages 91–110. Springer.
Muntaner, E. and Esteva, J. L. (2007). Towards a formalisation of dynamic electronic institutions. In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, pages 97–109. Springer.
Rodriguez-Aguilar, J. A., Sierra, C., Arcos, J. L., Lopez-Sanchez, M., and Rodriguez, I. (2015). Towards next generation coordination infrastructures. Knowledge Engineering Review, 30(4):435–453.
Searle, J. (2010). Making the social world: The structure of human civilization. Oxford University Press.
Searle, J. R. (1995). The construction of social reality. Simon and Schuster.
Thomas, C. (2018). Ontology in Information Science. BoD–Books on Demand.
Vázquez-Salceda, J., Aldewereld, H., Grossi, D., and Dignum, F. (2008). From human regulations to regulated software agents’ behavior. Artificial Intelligence and Law, 16(1):73–87.
Viganò, F. and Colombetti, M. (2008). Model Checking Norms and Sanctions in Institutions. (ii):316–329.
Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D., et al. (2003). The description logic handbook: Theory, implementation and applications. Cambridge university press.
Boella, G. and van der Torre, L. (2004). Regulative and constitutive norms in normative multiagent systems. KR, 4:255–265.
Brito, M. d. et al. (2016a). A model of institucional reality supporting the regulation in artificial institutions. PhD thesis, Universidade Federal de Santa Catarina.
Brito, M. D. E., Thévin, L., Garbay, C., Boissier, O., and Hübner, J. F. (2016b). Supporting flexible regulation of crisis management by means of situated artificial institution. 17(4):309–324.
Campos, J., Sanchez, M., Aguilar, J., and Esteva, M. (2009). Formalising Situatedness and Adaptation in. pages 126–139.
Cardoso, H. L. and Oliveira, E. (2007). Institutional Reality and Norms: Specifying and Monitoring Agent Organizations. International Journal of Cooperative Information Systems, 16(01):67–95.
Cliffe, O., De Vos, M., and Padget, J. (2006a). Answer set programming for representing and reasoning about virtual institutions. In International Workshop on Computational Logic in Multi-Agent Systems, pages 60–79. Springer.
Cliffe, O., De Vos, M., and Padget, J. (2006b). Specifying and reasoning about multiple institutions. In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, pages 67–85. Springer.
Cliffe, O., De Vos, M., and Padget, J. (2007). Answer Set Programming for Representing and Reasoning About Virtual Institutions. pages 60–79.
Condello, A. (2018). Two questions on the ontology of money. Ardeth, (03):181–191.
Condello, A., Ferraris, M., and Searle, J. R. (2019). Money, Social Ontology and Law. Routledge.
Dastani, M., Grossi, D., Meyer, J.-J. C., and Tinnemeier, N. (2009). Normative multi-agent programs and their logics. In Knowledge Representation for Agents and Multi-Agent Systems, pages 16–31. Springer.
Fornara, N. (2011). Specifying and monitoring obligations in open multiagent systems using semantic web technology. In Semantic agent systems, pages 25–45. Springer.
Fornara, N. and Colombetti, M. (2009a). Ontology and time evolution of obligations and prohibitions using semantic web technology. In International Workshop on Declarative Agent Languages and Technologies, pages 101–118. Springer.
Fornara, N. and Colombetti, M. (2009b). Specifying and Enforcing Norms. (2204):1–17.
Grandi, A. (2011). Jasa: Semantically aware agents to improve adaptivity and context-awareness of smart environments.
Grossi, D., Aldewereld, H., Vázquez-Salceda, J., and Dignum, F. (2006). Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational and Mathematical Organization Theory, 12(2-3 SPEC. ISS.):251–275.
Guarino, N. (1998). Formal ontology in information systems: Proceedings of the first international conference (FOIS’98), June 6-8, Trento, Italy, volume 46. IOS press.
Klapiscak, T. and Bordini, R. H. (2008). Jasdl: A practical programming approach combining agent and semantic web technologies. In International Workshop on Declarative Agent Languages and Technologies, pages 91–110. Springer.
Muntaner, E. and Esteva, J. L. (2007). Towards a formalisation of dynamic electronic institutions. In International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, pages 97–109. Springer.
Rodriguez-Aguilar, J. A., Sierra, C., Arcos, J. L., Lopez-Sanchez, M., and Rodriguez, I. (2015). Towards next generation coordination infrastructures. Knowledge Engineering Review, 30(4):435–453.
Searle, J. (2010). Making the social world: The structure of human civilization. Oxford University Press.
Searle, J. R. (1995). The construction of social reality. Simon and Schuster.
Thomas, C. (2018). Ontology in Information Science. BoD–Books on Demand.
Vázquez-Salceda, J., Aldewereld, H., Grossi, D., and Dignum, F. (2008). From human regulations to regulated software agents’ behavior. Artificial Intelligence and Law, 16(1):73–87.
Viganò, F. and Colombetti, M. (2008). Model Checking Norms and Sanctions in Institutions. (ii):316–329.
Publicado
07/07/2020
Como Citar
CUNHA, Rafhael R.; HÜBNER, Jomi F.; BRITO, Maiquel de.
Modelo Ontológico para Significar Status-Functions em Instituições Artificiais. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 14. , 2020, Evento Online.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2020
.
p. 37-48.
ISSN 2326-5434.
DOI: https://doi.org/10.5753/wesaac.2020.33378.
