Original title: Deontická logika s aplikacemi v informatice
Translated title: Deontic logic with applications to computer science
Authors: Jallow, Kalidou S ; Šlapal, Josef (referee) ; Lieberman, Michael Joseph (advisor)
Document type: Master’s theses
Year: 2026
Language: eng
Publisher: Vysoké učení technické v Brně. Fakulta strojního inženýrství
Abstract: This thesis illustrates that ethical principles in AI systems can be formally specified and verified using dynamic deontic linear time temporal logic (DDLTL). We revisit and improve upon one previous approach [1] and point out several issues, including ambiguities, redundancies, and logical inconsistencies in their axiomatization of ethical behavior. We develop a clearer and more robust framework for expressing obligations, permissions, and actions over time. This approach allows ethical constraints on the behavior of AI systems to be expressed, analyzed, and verified over time using precise mathematical definitions.
Keywords: AI ethics; Deontic dynamic linear time temporal logic; Deontic logic; Dynamic logic; Formal methods; Formalization of ethical AI systems; Temporal logic; AI ethics; Deontic dynamic linear time temporal logic; Deontic logic; Dynamic logic; Formal methods; Formalization of ethical AI systems; Temporal logic

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/259816

Permalink: http://www.nusl.cz/ntk/nusl-776181


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses