Constraints from STRIPS — preliminary report

  • Authors:

  • Norman Foo;Pavlos Peppas;Yan Zhang

  • Affiliations:

  • NICTA, and The School of Computer Science and Engineering, University of New South Wales, Sydney, NSW, Australia;Dept of Business Administration, University of Patras, Patras, Greece;School of Computing and Information Technology, University of Western Sydney, NSW, Australia

  • Venue:
  • AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We re-visit the problem of converting action specifications into system constraints by re-examining it in the very simple setting of STRIPS This has the merit of making many thorny issues relatively transparent The paper is in the form of an extended summary of ongoing work and many of the results are merely outlined But sufficient details are included to indicate where we will be taking things further, and to encourage others to pursue the same objectives These objectives are in some sense a kind of reverse-engineering, as the database community is evidently familiar with the idea of starting with constraints and then deriving action specifications from them However in AI reactive systems, action specifications are often the primary entity, so techniques to unearth the implicit constraints can facilitate better designs.