Merging example plans into generalized plans for non-deterministic environments

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but lack of probabilistic information about these uncertainties. We use a state abstraction technique from static analysis of programs, which uses 3-valued logic to compactly represent belief states with unbounded numbers of objects. Our approach for finding plans is to incrementally generalize and merge input example plans which can be generated by classical planners. The expressiveness and scope of this approach are demonstrated using experimental results on common benchmark domains.

Original languageEnglish (US)
Title of host publication9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages1341-1348
Number of pages8
ISBN (Print)9781617387715
StatePublished - Jan 1 2010
Externally publishedYes
Event9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 - Toronto, ON, Canada
Duration: May 10 2010 → …

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume2
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Other

Other9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
CountryCanada
CityToronto, ON
Period5/10/10 → …

Keywords

  • Agent Reasoning: Knowledge Representation
  • Planning

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint Dive into the research topics of 'Merging example plans into generalized plans for non-deterministic environments'. Together they form a unique fingerprint.

  • Cite this

    Srivastava, S., Immerman, N., & Zilberstein, S. (2010). Merging example plans into generalized plans for non-deterministic environments. In 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 (pp. 1341-1348). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 2). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).