Abstract planning with unknown object quantities and properties

Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein

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

4 Citations (Scopus)

Abstract

State abstraction has been widely used for state aggregation in approaches to AI search and planning. In this paper we use a powerful abstraction technique from software model checking for representing collections of states with different object quantities and properties. We exploit this method to develop precise abstractions and action operators for use in AI. This enables us to find scalable, algorithm-like plans with branches and loops which can solve problems of unbounded sizes. We describe how this method of abstraction can be effectively used in AI, with compelling results from implementations of two planning algorithms.

Original languageEnglish (US)
Title of host publicationSARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation
Pages143-150
Number of pages8
StatePublished - Dec 1 2009
Externally publishedYes
Event8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009 - Lake Arrowhead, CA, United States
Duration: Jul 7 2009Jul 10 2009

Other

Other8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009
CountryUnited States
CityLake Arrowhead, CA
Period7/7/097/10/09

Fingerprint

Planning
Unknown
Model checking
Agglomeration
Model Checking
Aggregation
Branch
Software
Abstraction
Object
Operator

ASJC Scopus subject areas

  • Applied Mathematics

Cite this

Srivastava, S., Immerman, N., & Zilberstein, S. (2009). Abstract planning with unknown object quantities and properties. In SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation (pp. 143-150)

Abstract planning with unknown object quantities and properties. / Srivastava, Siddharth; Immerman, Neil; Zilberstein, Shlomo.

SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. 2009. p. 143-150.

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

Srivastava, S, Immerman, N & Zilberstein, S 2009, Abstract planning with unknown object quantities and properties. in SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. pp. 143-150, 8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009, Lake Arrowhead, CA, United States, 7/7/09.
Srivastava S, Immerman N, Zilberstein S. Abstract planning with unknown object quantities and properties. In SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. 2009. p. 143-150
Srivastava, Siddharth ; Immerman, Neil ; Zilberstein, Shlomo. / Abstract planning with unknown object quantities and properties. SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation. 2009. pp. 143-150
@inproceedings{2c4a7c0bb0c54432972452e89d0b7bcb,
title = "Abstract planning with unknown object quantities and properties",
abstract = "State abstraction has been widely used for state aggregation in approaches to AI search and planning. In this paper we use a powerful abstraction technique from software model checking for representing collections of states with different object quantities and properties. We exploit this method to develop precise abstractions and action operators for use in AI. This enables us to find scalable, algorithm-like plans with branches and loops which can solve problems of unbounded sizes. We describe how this method of abstraction can be effectively used in AI, with compelling results from implementations of two planning algorithms.",
author = "Siddharth Srivastava and Neil Immerman and Shlomo Zilberstein",
year = "2009",
month = "12",
day = "1",
language = "English (US)",
isbn = "9781577354338",
pages = "143--150",
booktitle = "SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation",

}

TY - GEN

T1 - Abstract planning with unknown object quantities and properties

AU - Srivastava, Siddharth

AU - Immerman, Neil

AU - Zilberstein, Shlomo

PY - 2009/12/1

Y1 - 2009/12/1

N2 - State abstraction has been widely used for state aggregation in approaches to AI search and planning. In this paper we use a powerful abstraction technique from software model checking for representing collections of states with different object quantities and properties. We exploit this method to develop precise abstractions and action operators for use in AI. This enables us to find scalable, algorithm-like plans with branches and loops which can solve problems of unbounded sizes. We describe how this method of abstraction can be effectively used in AI, with compelling results from implementations of two planning algorithms.

AB - State abstraction has been widely used for state aggregation in approaches to AI search and planning. In this paper we use a powerful abstraction technique from software model checking for representing collections of states with different object quantities and properties. We exploit this method to develop precise abstractions and action operators for use in AI. This enables us to find scalable, algorithm-like plans with branches and loops which can solve problems of unbounded sizes. We describe how this method of abstraction can be effectively used in AI, with compelling results from implementations of two planning algorithms.

UR - http://www.scopus.com/inward/record.url?scp=84862705530&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84862705530&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84862705530

SN - 9781577354338

SP - 143

EP - 150

BT - SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation

ER -