Action Localness, Genericity and Invariants in STRIPS

Foo, Norman Y.; Nayak, Abhaya C.; Pagnucco, Maurice; Peppas, Pavlos; Zhang, Yan

Action Localness, Genericity and Invariants in STRIPS

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Diagnosis and Qualitative Reasoning. Pages 549-553.

Abstract

The STRIPS specification for actions, despite criticisms of its shortcomings, remains popular in implementations because of its simplicity and intuitive appeal. Lifschitz showed in his logical account of STRIPS that states can safely be represented as sets of ground atom, and this is our starting point. Our aim is to provide logical foundations for design heuristics and procedural implementations of STRIPS. In particular, we formalize the notions of 'localness' in pre- and post-conditions of actions. This justifies and explicates the intuitions that underlie the diagrammatic reasoning typically used to design such conditions. A formal account is also given for 'generic' actions that have parameters. We conclude with a method for extracting candidate action invariants that distinguishes between two kinds of inertia implied by the action specifications.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, and Yan Zhang. 1997. Action Localness, Genericity and Invariants in STRIPS. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 549–553. https://ijcai.org/proceedings/1997/81

@inproceedings{ijcai1997p81,
  title     = {Action Localness, Genericity and Invariants in STRIPS},
  author    = {Foo, Norman Y. and Nayak, Abhaya C. and Pagnucco, Maurice and Peppas, Pavlos and Zhang, Yan},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {549--553},
  year      = {1997},
  note      = {Diagnosis and Qualitative Reasoning},
  url       = {https://ijcai.org/proceedings/1997/81},
}

TY  - CPAPER
TI  - Action Localness, Genericity and Invariants in STRIPS
AU  - Foo, Norman Y.
AU  - Nayak, Abhaya C.
AU  - Pagnucco, Maurice
AU  - Peppas, Pavlos
AU  - Zhang, Yan
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 549
EP  - 553
UR  - https://ijcai.org/proceedings/1997/81
ER  -