CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning
dc.contributor.author | Tsamardinos, Ioannis | en_US |
dc.contributor.author | Vidal, Thierry | en_US |
dc.contributor.author | Pollack, Martha E. | en_US |
dc.date.accessioned | 2006-09-11T15:16:51Z | |
dc.date.available | 2006-09-11T15:16:51Z | |
dc.date.issued | 2003-10 | en_US |
dc.identifier.citation | Tsamardinos, Ioannis; Vidal, Thierry; Pollack, Martha E.; (2003). "CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning." Constraints 8(4): 365-388. <http://hdl.handle.net/2027.42/44793> | en_US |
dc.identifier.issn | 1383-7133 | en_US |
dc.identifier.issn | 1572-9354 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/44793 | |
dc.description.abstract | Temporal constraints pose a challenge for conditional planning, because it is necessary for a conditional planner to determine whether a candidate plan will satisfy the specified temporal constraints. This can be difficult, because temporal assignments that satisfy the constraints associated with one conditional branch may fail to satisfy the constraints along a different branch. In this paper we address this challenge by developing the Conditional Temporal Problem (CTP) formalism, an extension of standard temporal constraint-satisfaction processing models used in non-conditional temporal planning. Specifically, we augment temporal CSP frameworks by (1) adding observation nodes, and (2) attaching labels to all nodes to indicate the situation(s) in which each will be executed. Our extended framework allows for the construction of conditional plans that are guaranteed to satisfy complex temporal constraints. Importantly, this can be achieved even while allowing for decisions about the precise timing of actions to be postponed until execution time, thereby adding flexibility and making it possible to dynamically adapt the plan in response to the observations made during execution. We also show that, even for plans without explicit quantitative temporal constraints, our approach fixes a problem in the earlier approaches to conditional planning, which resulted in their being incomplete. | en_US |
dc.format.extent | 576641 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Kluwer Academic Publishers; Springer Science+Business Media | en_US |
dc.subject.other | Mathematics | en_US |
dc.subject.other | Artificial Intelligence (Incl. Robotics) | en_US |
dc.subject.other | Optimization | en_US |
dc.subject.other | Operation Research/Decision Theory | en_US |
dc.subject.other | Temporal Reasoning | en_US |
dc.subject.other | Constraint-based Planning | en_US |
dc.subject.other | Conditional Planning | en_US |
dc.title | CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Computer Science | en_US |
dc.subject.hlbsecondlevel | Philosophy | en_US |
dc.subject.hlbtoplevel | Engineering | en_US |
dc.subject.hlbtoplevel | Humanities | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Computer Science and Engineering, University of Michigan, USA | en_US |
dc.contributor.affiliationother | Department of Biomedical Informatics, Vanderbilt University, USA | en_US |
dc.contributor.affiliationother | Production Engineering Laboratory (LGP) - ENIT, France | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/44793/1/10601_2004_Article_5141764.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1023/A:1025894003623 | en_US |
dc.identifier.source | Constraints | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.