A Modal Logic of Optimality (Student Abstract)

James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson, Selmer Bringsjord

AAAI 2025 pp. 29456-29458

doi:10.1609/AAAI.V39I28.35286 /aaai/2025/oswald2025aaai-modal/

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.

AAAI Semantic Scholar

Cite

Text

Oswald et al. "A Modal Logic of Optimality (Student Abstract)." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I28.35286

Markdown

[Oswald et al. "A Modal Logic of Optimality (Student Abstract)." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/oswald2025aaai-modal/) doi:10.1609/AAAI.V39I28.35286

BibTeX

@inproceedings{oswald2025aaai-modal,
  title     = {{A Modal Logic of Optimality (Student Abstract)}},
  author    = {Oswald, James T. and Rozek, Brandon and Ferguson, Thomas Macaulay and Bringsjord, Selmer},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {29456-29458},
  doi       = {10.1609/AAAI.V39I28.35286},
  url       = {https://mlanthology.org/aaai/2025/oswald2025aaai-modal/}
}