Formal Analysis of Deontic Logic Model for Ethical Decisions

Krishnendu Ghosh, Channing Smith

2025

Abstract

Ethical decision making is key in the certification of autonomous system. Modeling and verification of the actions of an autonomous system becomes imperative. An automated model abstraction for an autonomous system is constructed based on components of deontic logic such as obligation, permissible, and forbidden actions. Temporal logic queries have been formulated and posed as queries to evaluate for ethical decision making. A prototype of the formalism is constructed and model checking is performed. Experiments were conducted to evaluate the computational feasibility of the formalism. The experimental results are presented.

Paper Citation

in Harvard Style

Ghosh K. and Smith C. (2025). Formal Analysis of Deontic Logic Model for Ethical Decisions. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-758-737-5, SciTePress, pages 218-223. DOI: 10.5220/0013385200003890

in Bibtex Style

@conference{icaart25,
author={Krishnendu Ghosh and Channing Smith},
title={Formal Analysis of Deontic Logic Model for Ethical Decisions},
booktitle={Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART},
year={2025},
pages={218-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013385200003890},
isbn={978-989-758-737-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART
TI - Formal Analysis of Deontic Logic Model for Ethical Decisions
SN - 978-989-758-737-5
AU - Ghosh K.
AU - Smith C.
PY - 2025
SP - 218
EP - 223
DO - 10.5220/0013385200003890
PB - SciTePress