Representing actions over dynamic domains

Yan Zhang; Norman Y. Foo

doi:10.1007/3-540-45683-x_9

Representing actions over dynamic domains

Yan Zhang
, Norman Y. Foo

School of Computer, Data & Mathematical Sciences

University of New South Wales

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have normal effects as in other action theories, but also have effects of creating or destroying things in the domain. D has a similar syntax of A family languages but with a different model theoretic semantics in which a term is allowed to be undefined in the domain at some states. We also investigate the semantic properties of D in detail and illustrate how our approach overcomes the difficulty in representing actions over dynamic domains.

Original language	English
Title of host publication	PRICAI 2002
Subtitle of host publication	Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings
Editors	Mitsuru Ishizuka, Abdul Sattar
Publisher	Springer Verlag
Pages	60-69
Number of pages	10
ISBN (Print)	3540440380, 9783540440383
DOIs	https://doi.org/10.1007/3-540-45683-x_9
Publication status	Published - 2002
Event	7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 - Tokyo, Japan Duration: 18 Aug 2002 → 22 Aug 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2417
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002
Country/Territory	Japan
City	Tokyo
Period	18/08/02 → 22/08/02

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.

Access to Document

10.1007/3-540-45683-x_9

Cite this

Zhang, Y., & Foo, N. Y. (2002). Representing actions over dynamic domains. In M. Ishizuka, & A. Sattar (Eds.), PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 60-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2417). Springer Verlag. https://doi.org/10.1007/3-540-45683-x_9

Zhang, Yan ; Foo, Norman Y. / Representing actions over dynamic domains. PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Mitsuru Ishizuka ; Abdul Sattar. Springer Verlag, 2002. pp. 60-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{63406757771f4acd9aaeacaa7442f097,

title = "Representing actions over dynamic domains",

abstract = "Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have normal effects as in other action theories, but also have effects of creating or destroying things in the domain. D has a similar syntax of A family languages but with a different model theoretic semantics in which a term is allowed to be undefined in the domain at some states. We also investigate the semantic properties of D in detail and illustrate how our approach overcomes the difficulty in representing actions over dynamic domains.",

author = "Yan Zhang and Foo, \{Norman Y.\}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002 ; Conference date: 18-08-2002 Through 22-08-2002",

year = "2002",

doi = "10.1007/3-540-45683-x\_9",

language = "English",

isbn = "3540440380",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "60--69",

editor = "Mitsuru Ishizuka and Abdul Sattar",

booktitle = "PRICAI 2002",

}

Zhang, Y & Foo, NY 2002, Representing actions over dynamic domains. in M Ishizuka & A Sattar (eds), PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2417, Springer Verlag, pp. 60-69, 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002, Tokyo, Japan, 18/08/02. https://doi.org/10.1007/3-540-45683-x_9

Representing actions over dynamic domains. / Zhang, Yan; Foo, Norman Y.
PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Mitsuru Ishizuka; Abdul Sattar. Springer Verlag, 2002. p. 60-69 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2417).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Representing actions over dynamic domains

AU - Zhang, Yan

AU - Foo, Norman Y.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2002.

PY - 2002

Y1 - 2002

N2 - Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have normal effects as in other action theories, but also have effects of creating or destroying things in the domain. D has a similar syntax of A family languages but with a different model theoretic semantics in which a term is allowed to be undefined in the domain at some states. We also investigate the semantic properties of D in detail and illustrate how our approach overcomes the difficulty in representing actions over dynamic domains.

AB - Current action theories are usually based on static domains in the sense that objects in the domain are fixed and actions only change properties or relationships related to these objects, but cannot create new objects or destroy current objects in the domain. In this paper, we propose a new action language called D which handles dynamic domains. In the context of D actions may not only have normal effects as in other action theories, but also have effects of creating or destroying things in the domain. D has a similar syntax of A family languages but with a different model theoretic semantics in which a term is allowed to be undefined in the domain at some states. We also investigate the semantic properties of D in detail and illustrate how our approach overcomes the difficulty in representing actions over dynamic domains.

UR - https://www.scopus.com/pages/publications/84947932004

U2 - 10.1007/3-540-45683-x_9

DO - 10.1007/3-540-45683-x_9

M3 - Conference Paper

AN - SCOPUS:84947932004

SN - 3540440380

SN - 9783540440383

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 60

EP - 69

BT - PRICAI 2002

A2 - Ishizuka, Mitsuru

A2 - Sattar, Abdul

PB - Springer Verlag

T2 - 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002

Y2 - 18 August 2002 through 22 August 2002

ER -

Zhang Y, Foo NY. Representing actions over dynamic domains. In Ishizuka M, Sattar A, editors, PRICAI 2002: Trends in Artificial Intelligence - 7th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2002. p. 60-69. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45683-x_9

Representing actions over dynamic domains

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this