Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI
Resumo
Autômatos temporais são uma estrutura adequada para verificação de comportamentos reativos, enquanto a estrutura de agentes BDI abrange uma parte mais cognitiva e racional de tomada de decisão. Este artigo tem o objetivo de partir de um sistema puramente reativo para um sistema de tomada de decisões baseada em crenças e objetivos, permitindo representar um agente de forma mais racional selecionando um plano a ser seguido. Com isso, o presente artigo tem como objetivo apresentar uma proposta de tradução de um autômato temporal, representado utilizando a ferramenta de modelagem em tempo real UPPAAL, para um agente BDI, utilizando a estrutura do framework MASPY como referência.
Palavras-chave:
Agente BDI, Autômato Temporal, Tradução, Verificação de Modelos, Modelo Formal
Referências
Alur, R. (1999). Timed automata. In Lecture Notes in Computer Science.
Alves, G. V., Dennis, L., and Fisher, M. (2021). A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations. Journal of Sensor and Actuator Networks. DOI: 10.3390/jsan10030041
Bratman, M. E. (1987). Intention, plans, and practical reason. Harvard University Press, Cambridge, Mass.
de Silva, L., Meneguzzi, F., and Logan, B. (2022). Bdi agent architectures: A survey. arXiv preprint arXiv:2206.11990.
Larsen, K. G., Pettersson, P., and Yi, W. (1995). Uppaal model checker software.
Markovicz, J., Alves, G., and Borges, A. (2024). Criação de agentes bdi a partir de modelos do uppaal. In Anais do XVIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, pages 174–179, Porto Alegre, RS, Brasil. SBC. DOI: 10.5753/wesaac.2024.33470
Mellado, A., Fidler, I., Borges, A., and Alves, G. (2023). Maspy: Towards the creation of bdi multi-agent systems. In Anais do XVII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, pages 106–117, Porto Alegre, RS, Brasil. SBC. DOI: 10.5753/wesaac.2023.33440
Alves, G. V., Dennis, L., and Fisher, M. (2021). A double-level model checking approach for an agent-based autonomous vehicle and road junction regulations. Journal of Sensor and Actuator Networks. DOI: 10.3390/jsan10030041
Bratman, M. E. (1987). Intention, plans, and practical reason. Harvard University Press, Cambridge, Mass.
de Silva, L., Meneguzzi, F., and Logan, B. (2022). Bdi agent architectures: A survey. arXiv preprint arXiv:2206.11990.
Larsen, K. G., Pettersson, P., and Yi, W. (1995). Uppaal model checker software.
Markovicz, J., Alves, G., and Borges, A. (2024). Criação de agentes bdi a partir de modelos do uppaal. In Anais do XVIII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, pages 174–179, Porto Alegre, RS, Brasil. SBC. DOI: 10.5753/wesaac.2024.33470
Mellado, A., Fidler, I., Borges, A., and Alves, G. (2023). Maspy: Towards the creation of bdi multi-agent systems. In Anais do XVII Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, pages 106–117, Porto Alegre, RS, Brasil. SBC. DOI: 10.5753/wesaac.2023.33440
Publicado
10/09/2025
Como Citar
KARAU, Lucas S.; CARDOSO, Rafael C.; BORGES, André P.; ALVES, Gleifer V..
Uma Proposta de Tradução de Autômatos Temporais para Agentes BDI. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 8. , 2025, Ponta Grossa/PR.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2025
.
p. 208-213.
