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...
Main Author: | |
---|---|
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 |