A Modal Logic of Optimality (Student Abstract)

Authors

  • James T. Oswald Rensselaer Polytechnic Institute Rensselaer AI and Reasoning Laboratory
  • Brandon Rozek Rensselaer Polytechnic Institute Rensselaer AI and Reasoning Laboratory
  • Thomas Macaulay Ferguson Rensselaer Polytechnic Institute
  • Selmer Bringsjord Rensselaer Polytechnic Institute Rensselaer AI and Reasoning Laboratory

DOI:

https://doi.org/10.1609/aaai.v39i28.35286

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-25 / IAAI-25 / EAAI-25 Proceedings Cover

Downloads

Published

2025-04-11

How to Cite

Oswald, J. T., Rozek, B., Ferguson, T. M., & Bringsjord, S. (2025). A Modal Logic of Optimality (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 39(28), 29456–29458. https://doi.org/10.1609/aaai.v39i28.35286

Issue

Vol. 39 No. 28: IAAI-25, EAAI-25, AAAI-25 Student Abstracts, Undergraduate Consortium and Demonstrations

Section

AAAI Student Abstract and Poster Program