Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

Research output: Contribution to journalConference articlepeer-review

44 Scopus citations

Abstract

In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, executability condition of actions, and dynamic and static constraints. This language allow? us to be able to express effects of act i on and constraints with same first order representation but different intuitive behavior to be specified differently. We then discuss how we can use state specifications to extend the action description languages A and Lo.

Original languageEnglish (US)
Pages (from-to)2017-2023
Number of pages7
JournalIJCAI International Joint Conference on Artificial Intelligence
Volume2
StatePublished - 1995
Externally publishedYes
Event14th International Joint Conference on Artificial Intelligence, IJCAI 1995 - Montreal, Canada
Duration: Aug 20 1995Aug 25 1995

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Reasoning about actions: Non-deterministic effects, Constraints, and Qualification'. Together they form a unique fingerprint.

Cite this