Criação de Agentes BDI a partir de Modelos do UPPAAL
Resumo
Este artigo apresenta a extensão de modelos éticos em forma de autômatos construídos na ferramenta UPPAAL. Tais modelos são traduzidos em protótipos de agentes BDI. Esta tradução busca estabelecer uma relação direta entre a modelagem formal e a implementação dos agentes.Referências
Alves, G., Dennis, L., and Fisher, M. (2021). An Agent-based architecture with support to Ethical Decisions on a Road Traffic Scenario. Publisher: Zenodo.
Bench-Capon, T. (2020). Ethical approaches and autonomous systems. Artificial Intelligence, 281:103239.
Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. (1996). UPPAAL — a tool suite for automatic verification of real-time systems. In Alur, R., Henzinger, T. A., and Sontag, E. D., editors, Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232–243. Springer Berlin Heidelberg.
Bordini, R. H., Hübner, J. F., and Wooldridge, M. (2007). Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons, Inc., Hoboken, NJ, USA.
Bratman, M. (1987). Intention, Plans, and Practical Reason. Cambridge: Cambridge, MA: Harvard University Press.
Dennis, L. and Müller, B. (2008). Gwendolen: A bdi language for verifiable agents.
Markovicz, J. V. and Alves, G. V. (2023). Modelagem formal de abordagens éticas para comportamento de agentes. In Anais do Workshop-Escola de Informática Teórica (WEIT), pages 134–138.
Bench-Capon, T. (2020). Ethical approaches and autonomous systems. Artificial Intelligence, 281:103239.
Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., and Yi, W. (1996). UPPAAL — a tool suite for automatic verification of real-time systems. In Alur, R., Henzinger, T. A., and Sontag, E. D., editors, Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232–243. Springer Berlin Heidelberg.
Bordini, R. H., Hübner, J. F., and Wooldridge, M. (2007). Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). John Wiley & Sons, Inc., Hoboken, NJ, USA.
Bratman, M. (1987). Intention, Plans, and Practical Reason. Cambridge: Cambridge, MA: Harvard University Press.
Dennis, L. and Müller, B. (2008). Gwendolen: A bdi language for verifiable agents.
Markovicz, J. V. and Alves, G. V. (2023). Modelagem formal de abordagens éticas para comportamento de agentes. In Anais do Workshop-Escola de Informática Teórica (WEIT), pages 134–138.
Publicado
14/08/2024
Como Citar
MARKOVICZ, João Vicente; ALVES, Gleifer Vaz; BORGES, André Pinz.
Criação de Agentes BDI a partir de Modelos do UPPAAL. In: WORKSHOP-ESCOLA DE SISTEMAS DE AGENTES, SEUS AMBIENTES E APLICAÇÕES (WESAAC), 18. , 2024, Brasília/DF.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 174-179.
ISSN 2326-5434.
