website/content/paper/2405.01.md

draft	title	authors	date	publish_date	conference	isbn	doi	language	pdf_url	abstract
false	Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning	Brandon Rozek Selmer Bringsjord	2024-05-22	2024/05/22	KI - Künstliche Intelligenz		10.1007/s13218-024-00847-8	English	https://link.springer.com/article/10.1007/s13218-024-00847-8	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 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.