G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains

Yan Zhang; Yun Bai

G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains

School of Computer, Data & Mathematical Sciences

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

Abstract

State change is an essential issue in robotic dynamics modeling. In this paper, we investigate this issue over dynamic domains in the sense that an object in the domain may be created or destroyed by executing some plan of the system. It is observed that current logic based dynamic systems, e.g. the STRIPS-like systems, are semantically problematic to deal with dynamic domains in state change. It turns out that representing nonexisting objects in a logic system becomes a key point to handle this problem. Based on this observation, we define N-structures for an arbitrary first order language where syntactic terms are allowed to denote nonexisting objects with respect to the domain of quantification. Using N-structures to model dynamic domains, we then generalize classical STRIPS to G-STRIPS which can represent and reason about state change involving creation or destruction of objects. We also specify a provablely correct semantics for a class of G-STRIPS systems based on N-structures.

Original language	English
Title of host publication	Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings
Editors	Zbigniew W. Ras, Einoshin Suzuki, Ning Zhong, Shusaku Tsumoto
Publisher	Springer Verlag
Pages	292-296
Number of pages	5
ISBN (Print)	3540202560, 9783540202561
Publication status	Published - 2003
Event	14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003 - Maebashi City, Japan Duration: 28 Oct 2003 → 31 Oct 2003

Publication series

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

Conference

Conference	14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003
Country/Territory	Japan
City	Maebashi City
Period	28/10/03 → 31/10/03

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2003.

Keywords

Commonsense reasoning
Knowledge representation
Logic of AI
Reasoning about change

Cite this

Zhang, Y., & Bai, Y. (2003). G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains. In Z. W. Ras, E. Suzuki, N. Zhong, & S. Tsumoto (Eds.), Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings (pp. 292-296). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2871). Springer Verlag.

Zhang, Yan ; Bai, Yun. / G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains. Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings. editor / Zbigniew W. Ras ; Einoshin Suzuki ; Ning Zhong ; Shusaku Tsumoto. Springer Verlag, 2003. pp. 292-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{641a9570e8fd4837bbbad37af5ade317,

title = "G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains",

abstract = "State change is an essential issue in robotic dynamics modeling. In this paper, we investigate this issue over dynamic domains in the sense that an object in the domain may be created or destroyed by executing some plan of the system. It is observed that current logic based dynamic systems, e.g. the STRIPS-like systems, are semantically problematic to deal with dynamic domains in state change. It turns out that representing nonexisting objects in a logic system becomes a key point to handle this problem. Based on this observation, we define N-structures for an arbitrary first order language where syntactic terms are allowed to denote nonexisting objects with respect to the domain of quantification. Using N-structures to model dynamic domains, we then generalize classical STRIPS to G-STRIPS which can represent and reason about state change involving creation or destruction of objects. We also specify a provablely correct semantics for a class of G-STRIPS systems based on N-structures.",

keywords = "Commonsense reasoning, Knowledge representation, Logic of AI, Reasoning about change",

author = "Yan Zhang and Yun Bai",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003.; 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003 ; Conference date: 28-10-2003 Through 31-10-2003",

year = "2003",

language = "English",

isbn = "3540202560",

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

publisher = "Springer Verlag",

pages = "292--296",

editor = "Ras, {Zbigniew W.} and Einoshin Suzuki and Ning Zhong and Shusaku Tsumoto",

booktitle = "Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings",

}

Zhang, Y & Bai, Y 2003, G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains. in ZW Ras, E Suzuki, N Zhong & S Tsumoto (eds), Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2871, Springer Verlag, pp. 292-296, 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003, Maebashi City, Japan, 28/10/03.

G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains. / Zhang, Yan ; Bai, Yun.
Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings. ed. / Zbigniew W. Ras; Einoshin Suzuki; Ning Zhong; Shusaku Tsumoto. Springer Verlag, 2003. p. 292-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2871).

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

TY - GEN

T1 - G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains

AU - Zhang, Yan

AU - Bai, Yun

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

PY - 2003

Y1 - 2003

N2 - State change is an essential issue in robotic dynamics modeling. In this paper, we investigate this issue over dynamic domains in the sense that an object in the domain may be created or destroyed by executing some plan of the system. It is observed that current logic based dynamic systems, e.g. the STRIPS-like systems, are semantically problematic to deal with dynamic domains in state change. It turns out that representing nonexisting objects in a logic system becomes a key point to handle this problem. Based on this observation, we define N-structures for an arbitrary first order language where syntactic terms are allowed to denote nonexisting objects with respect to the domain of quantification. Using N-structures to model dynamic domains, we then generalize classical STRIPS to G-STRIPS which can represent and reason about state change involving creation or destruction of objects. We also specify a provablely correct semantics for a class of G-STRIPS systems based on N-structures.

AB - State change is an essential issue in robotic dynamics modeling. In this paper, we investigate this issue over dynamic domains in the sense that an object in the domain may be created or destroyed by executing some plan of the system. It is observed that current logic based dynamic systems, e.g. the STRIPS-like systems, are semantically problematic to deal with dynamic domains in state change. It turns out that representing nonexisting objects in a logic system becomes a key point to handle this problem. Based on this observation, we define N-structures for an arbitrary first order language where syntactic terms are allowed to denote nonexisting objects with respect to the domain of quantification. Using N-structures to model dynamic domains, we then generalize classical STRIPS to G-STRIPS which can represent and reason about state change involving creation or destruction of objects. We also specify a provablely correct semantics for a class of G-STRIPS systems based on N-structures.

KW - Commonsense reasoning

KW - Knowledge representation

KW - Logic of AI

KW - Reasoning about change

UR - http://www.scopus.com/inward/record.url?scp=7444226389&partnerID=8YFLogxK

M3 - Conference Paper

AN - SCOPUS:7444226389

SN - 3540202560

SN - 9783540202561

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

SP - 292

EP - 296

BT - Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings

A2 - Ras, Zbigniew W.

A2 - Suzuki, Einoshin

A2 - Zhong, Ning

A2 - Tsumoto, Shusaku

PB - Springer Verlag

T2 - 14th International Symposium on Methodologies for Intelligent Systems, ISMIS 2003

Y2 - 28 October 2003 through 31 October 2003

ER -

Zhang Y , Bai Y. G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains. In Ras ZW, Suzuki E, Zhong N, Tsumoto S, editors, Foundations of Intelligent Systems - 14th International Symposium, ISMIS 2003, Proceedings. Springer Verlag. 2003. p. 292-296. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

G-STRIPS – A generalized STRIPS system for handling state change over dynamic domains

Abstract

Publication series

Conference

Bibliographical note

Keywords

Other files and links

Fingerprint

Cite this