On the utility of plan-space (causal) encodings

Amol D. Mali, Subbarao Kambhampati

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

8 Scopus citations

Abstract

A systematic analytical and empirical comparison of plant-space (causal) encodings and state-space encodings is attempted. As a first step, the connection between the different ways of providing the correctness of a plan, and the spectrum of possible SAT encodings are detailed. The dimensions are characterized, and encodings are given which are much smaller than those previously proposed. Finally, some empirical results are given that demonstrate that the relative encoding sizes are indeed correlated with the hardness of solving them.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
PublisherAAAI
Pages557-563
Number of pages7
ISBN (Print)0262511061
StatePublished - Jan 1 1999
EventProceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99) - Orlando, FL, USA
Duration: Jul 18 1999Jul 22 1999

Publication series

NameProceedings of the National Conference on Artificial Intelligence

Other

OtherProceedings of the 1999 16th National Conference on Artificial Intelligence (AAAI-99), 11th Innovative Applications of Artificial Intelligence Conference (IAAI-99)
CityOrlando, FL, USA
Period7/18/997/22/99

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Fingerprint Dive into the research topics of 'On the utility of plan-space (causal) encodings'. Together they form a unique fingerprint.

Cite this