Formulation of Tradeoffs in Planning Under Uncertainty

Planning under uncertainty with multiple, competing objectives is impossible when goals are represented as predicates and the effects of actions are modeled as deterministic functions of situations. Decision-theoretic models, on the other hand, do not address the problem of constructing strategies f...

Full description

Bibliographic Details
Main Author: Wellman, Michael P.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149132
_version_ 1826199509601878016
author Wellman, Michael P.
author_facet Wellman, Michael P.
author_sort Wellman, Michael P.
collection MIT
description Planning under uncertainty with multiple, competing objectives is impossible when goals are represented as predicates and the effects of actions are modeled as deterministic functions of situations. Decision-theoretic models, on the other hand, do not address the problem of constructing strategies from more primitive representations of actions. In this proposal, I describe a method for formulating plans from large knowledge bases that can accomodate uncertain and partial satisifaction of goals. At the core of the planner is a dominance prover that derives admissibility properties of plan classes. The representation for the effects of actions is based on a qualitative formalism for asserting influences among variables. The planner makes decisions "up to tradeoffs," an intuitive description that seems to characterize the power of a dominance prover based on the qualitative influence formalism.
first_indexed 2024-09-23T11:21:24Z
id mit-1721.1/149132
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T11:21:24Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1491322023-03-30T03:53:48Z Formulation of Tradeoffs in Planning Under Uncertainty Wellman, Michael P. Planning under uncertainty with multiple, competing objectives is impossible when goals are represented as predicates and the effects of actions are modeled as deterministic functions of situations. Decision-theoretic models, on the other hand, do not address the problem of constructing strategies from more primitive representations of actions. In this proposal, I describe a method for formulating plans from large knowledge bases that can accomodate uncertain and partial satisifaction of goals. At the core of the planner is a dominance prover that derives admissibility properties of plan classes. The representation for the effects of actions is based on a qualitative formalism for asserting influences among variables. The planner makes decisions "up to tradeoffs," an intuitive description that seems to characterize the power of a dominance prover based on the qualitative influence formalism. 2023-03-29T14:30:25Z 2023-03-29T14:30:25Z 1987-06 https://hdl.handle.net/1721.1/149132 MIT-LCS-TM-332 application/pdf
spellingShingle Wellman, Michael P.
Formulation of Tradeoffs in Planning Under Uncertainty
title Formulation of Tradeoffs in Planning Under Uncertainty
title_full Formulation of Tradeoffs in Planning Under Uncertainty
title_fullStr Formulation of Tradeoffs in Planning Under Uncertainty
title_full_unstemmed Formulation of Tradeoffs in Planning Under Uncertainty
title_short Formulation of Tradeoffs in Planning Under Uncertainty
title_sort formulation of tradeoffs in planning under uncertainty
url https://hdl.handle.net/1721.1/149132
work_keys_str_mv AT wellmanmichaelp formulationoftradeoffsinplanningunderuncertainty