website/content/paper/2406.02.md

18 lines
No EOL
1.4 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

---
draft: false
title: "Initial Steps in Planning under Qualitative Uncertainty"
authors: [
"Brandon Rozek",
"Selmer Bringsjord"
]
date: 2024-06-02
publish_date: "2024/06/02"
conference: "International Workshop on Human-Aware and Explainable Planning (HAXP)"
isbn: ""
doi: ""
language: "English"
pdf_url: "https://openreview.net/pdf?id=soH9BIp0pL"
abstract: "Techniques in automated planning under uncertainty capture whether an agent believes that a ground atomic formula is true, false, or uncertain; and, in some cases, the exact probability that its true at a given state. Sometimes, however, an agent does not have access to exact probabilistic information, but is instead able to judge the uncertainty qualitatively. We take initial but substantial steps towards characterizing a variant of conformant planning based on qualitative uncertainty. Our framework, QU-STRIPS, introduces levels of belief about ground atomic formulae which stratify uncertainty ranging on the negative side from certainly not, to agnostic, and then on the positive side up to certainly. In order to efficiently find plans, we present a sound compilation into classical STRIPS. We provide preliminary results on a new escape domain and show that state-of-the-art planners can effectively find plans that achieve the goal at a high positive belief level, while considering the trade-off between the strength of a plan and its cost."
---