AAAI 2025technical0 citations
A Modal Logic of Optimality (Student Abstract)
James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson, Selmer Bringsjord
Abstract
We present our work on a new modal logic of optimality, OPT, whose semantics are modeled in terms of optimal paths through reward-weighted transition systems. We prove some basic properties of OPT, including its status as a normal modal logic, as well as its relation to some of the standard modal axioms. We end with a discussion of applications to AI and future research directions and extensions.
BibTeX
@article{Oswald_Rozek_Ferguson_Bringsjord_2025, title={A Modal Logic of Optimality (Student Abstract)}, volume={39}, url={https://ojs.aaai.org/index.php/AAAI/article/view/35286}, DOI={10.1609/aaai.v39i28.35286}, abstractNote={We present our work on a new modal logic of optimality, OPT, whose semantics are modeled in terms of optimal paths through reward-weighted transition systems. We prove some basic properties of OPT, including its status as a normal modal logic, as well as its relation to some of the standard modal axioms. We end with a discussion of applications to AI and future research directions and extensions.}, number={28}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Oswald, James T. and Rozek, Brandon and Ferguson, Thomas Macaulay and Bringsjord, Selmer}, year={2025}, month={Apr.}, pages={29456-29458} }