Logo des Repositoriums

Auflistung nach Autor:in "Rozek, Brandon"

1 - 2 von 2
  • Zeitschriftenartikel
    Modeling $$\mathscr {C}^{0}$$ C 0 Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Oswald, James T.; Rozek, Brandon; Ferguson, Thomas M.
    We introduce the $$\mathscr {C}^{0}$$ C 0 family of logics, which include temporalized modal operators for belief and hyperintensional modal operators for obligations and goals. We motivate the $$\mathscr {C}^{0}$$ C 0 family as extended doxastic fragments of the $$\mathcal {DCEC}$$ DCEC family of logics, which are cognitive calculi designed for theory-of-mind reasoning among multiple artificial agents. In the literature, $$\mathcal {DCEC}$$ DCEC family logics are defined exclusively using proof-theoretic semantics. In this work we provide a model theory for the $$\mathscr {C}^{0}$$ C 0 family of logics which constitutes the first steps towards providing a model theory for the $$\mathcal {DCEC}$$ DCEC cognitive calculi family as a whole. We investigate the fragment relationships between both the $$\mathscr {C}^{0}$$ C 0 family and the $$\mathcal {DCEC}$$ DCEC family, produce a model theory for the $$\mathscr {C}^{0}$$ C 0 family and prove important results establishing completeness for all $$\mathscr {C}^{0}$$ C 0 family logics and establish soundness for $$\mathscr {C}^{0}$$ C 0 fragments without time.
  • Zeitschriftenartikel
    Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Rozek, Brandon; Bringsjord, Selmer
    Research in automated planning traditionally focuses on model-based approaches that often sacrifice expressivity for computational efficiency. For artificial agents that operate in complex environments, however, frequently the agent needs to reason about the beliefs of other agents and be capable of handling uncertainty. We present Spectra, a STRIPS-inspired AI planner built atop automated reasoning. Our system is expressive, in that we allow for state spaces to be defined as arbitrary formulae. Spectra is also designed to be logic-agnostic, as long as an automated reasoner exists that can perform entailment and question-answering over it. Spectra can handle environments of unbounded uncertainty; and with certain non-classical logics, our system can create plans under epistemic beliefs. We highlight all of these features using the cognitive calculus $$\mathcal {DCC}$$ DCC . Lastly, we discuss that under this framework, in order to fully plan under uncertainty, a defeasible (= non-monotonic) logic can be used in conjunction with our planner.