Modelagem formal de abordagens éticas para comportamento de agentes
Resumo
Este artigo apresenta a modelagem formal de três abordagens éticas (deontologia, consequencialismo e ética das virtudes) na tomada de decisão de agentes. Para tal, foi usada a ferramenta de model checking UPPAAL na construção de autômatos (temporais) e verificação de propriedades a respeito do comportamento dos agentes.
Palavras-chave:
modelos éticos, agentes, model checking
Referências
Alves, G. V., Dennis, L., and Fisher, M. (2021b). A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. Journal of Sensor and Actuator Networks, 10(3):41. Number: 3 Publisher: Multidisciplinary Digital Publishing Institute. https://doi.org/jsan10030041
Alves, G. V., Dennis, L., Fernandes, L., and Fisher, M. (2020). Reliable Decision-Making in Autonomous Vehicles. In Leitner, A., Watzenig, D., and Ibanez-Guzman, J., editors, Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project, pages 105–117. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-14628-3_10
Alves, G., Dennis, L., and Fisher, M. (2021a). An Agent-based architecture with support to Ethical Decisions on a Road Traffic Scenario. Publisher: Zenodo. https://doi.org/10.5281/zenodo.5651310
Bench-Capon, T. (2020). Ethical approaches and autonomous systems. Artificial Intelligence, 281:103239. https://doi.org/10.1016/j.artint.2020.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. https://doi.org/10.1007/BFb0020949
Dennis, L. A. and Fisher, M. (2023). Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines. Cambridge University Press. https://doi.org/10.1017/9781108755023
Fernandes, L. E. R., Custodio, V., Alves, G. V., and Fisher, M. (2017). A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In Bulwahn, L., Kamali, M., and Linker, S., editors, Proceedings First Workshop on Formal Verification of Autonomous Vehicles, Turin, Italy, 19th September 2017, volume 257 of Electronic Proceedings in Theoretical Computer Science, pages 35–42. Open Publishing Association. https://doi.org/10.48550/arXiv.1709.02557
Alves, G. V., Dennis, L., Fernandes, L., and Fisher, M. (2020). Reliable Decision-Making in Autonomous Vehicles. In Leitner, A., Watzenig, D., and Ibanez-Guzman, J., editors, Validation and Verification of Automated Systems: Results of the ENABLE-S3 Project, pages 105–117. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-14628-3_10
Alves, G., Dennis, L., and Fisher, M. (2021a). An Agent-based architecture with support to Ethical Decisions on a Road Traffic Scenario. Publisher: Zenodo. https://doi.org/10.5281/zenodo.5651310
Bench-Capon, T. (2020). Ethical approaches and autonomous systems. Artificial Intelligence, 281:103239. https://doi.org/10.1016/j.artint.2020.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. https://doi.org/10.1007/BFb0020949
Dennis, L. A. and Fisher, M. (2023). Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines. Cambridge University Press. https://doi.org/10.1017/9781108755023
Fernandes, L. E. R., Custodio, V., Alves, G. V., and Fisher, M. (2017). A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In Bulwahn, L., Kamali, M., and Linker, S., editors, Proceedings First Workshop on Formal Verification of Autonomous Vehicles, Turin, Italy, 19th September 2017, volume 257 of Electronic Proceedings in Theoretical Computer Science, pages 35–42. Open Publishing Association. https://doi.org/10.48550/arXiv.1709.02557
Publicado
09/10/2023
Como Citar
MARKOVICZ, João Vicente; ALVES, Gleifer Vaz.
Modelagem formal de abordagens éticas para comportamento de agentes. In: WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA (WEIT), 7. , 2023, Rio Grande/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2023
.
p. 134-138.
DOI: https://doi.org/10.5753/weit.2023.26607.
