Exploring the KD45n property of a Kripke model after the execution of an action sequence

Tran Cao Son; Enrico Pontelli; Chitta Barai; Gregory Gelfond

Exploring the KD45_n property of a Kripke model after the execution of an action sequence

Tran Cao Son, Enrico Pontelli, Chitta Barai, Gregory Gelfond

Engineering, Ira A. Fulton Schools of (IAFSE)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Scopus citations

Abstract

The paper proposes a condition for preserving the KD45_n property of a Kripke model when a sequence of update models is applied to it. The paper defines the notions of a primitive update model and a semi-reflexive KD45_n (or sr-KD45_n) Kripke model. It proves that updating a sr-KD45_n Kripke model using a primitive update model results in a sr-KD45_n Kripke model, i.e., a primitive update model preserves the properties of a sr-KD45_n Kripke model. It shows that several update models for modeling well-known actions found in the literature are primitive. This result provides guarantees that can be useful in presence of multiple applications of actions in multi-agent system (e.g., multi-agent planning).

Original language	English (US)
Title of host publication	Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015
Publisher	AI Access Foundation
Pages	1604-1610
Number of pages	7
ISBN (Electronic)	9781577357001
State	Published - Jun 1 2015
Event	29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 - Austin, United States Duration: Jan 25 2015 → Jan 30 2015

Publication series

Name	Proceedings of the National Conference on Artificial Intelligence
Volume	2

Other

Other	29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015
Country/Territory	United States
City	Austin
Period	1/25/15 → 1/30/15

ASJC Scopus subject areas

Software
Artificial Intelligence

Cite this

Son, T. C., Pontelli, E., Barai, C., & Gelfond, G. (2015). Exploring the KD45_n property of a Kripke model after the execution of an action sequence. In Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 (pp. 1604-1610). (Proceedings of the National Conference on Artificial Intelligence; Vol. 2). AI Access Foundation.

Exploring the KD45_n property of a Kripke model after the execution of an action sequence. / Son, Tran Cao; Pontelli, Enrico; Barai, Chitta et al.
Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, 2015. p. 1604-1610 (Proceedings of the National Conference on Artificial Intelligence; Vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Son, TC, Pontelli, E, Barai, C & Gelfond, G 2015, Exploring the KD45_n property of a Kripke model after the execution of an action sequence. in Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. Proceedings of the National Conference on Artificial Intelligence, vol. 2, AI Access Foundation, pp. 1604-1610, 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015, Austin, United States, 1/25/15.

Son TC, Pontelli E, Barai C, Gelfond G. Exploring the KD45_n property of a Kripke model after the execution of an action sequence. In Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation. 2015. p. 1604-1610. (Proceedings of the National Conference on Artificial Intelligence).

Son, Tran Cao ; Pontelli, Enrico ; Barai, Chitta et al. / Exploring the KD45_n property of a Kripke model after the execution of an action sequence. Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, 2015. pp. 1604-1610 (Proceedings of the National Conference on Artificial Intelligence).

@inproceedings{7ca9073d0fc04b4cb3b4d4a955066001,

title = "Exploring the KD45n property of a Kripke model after the execution of an action sequence",

abstract = "The paper proposes a condition for preserving the KD45n property of a Kripke model when a sequence of update models is applied to it. The paper defines the notions of a primitive update model and a semi-reflexive KD45n (or sr-KD45n) Kripke model. It proves that updating a sr-KD45n Kripke model using a primitive update model results in a sr-KD45n Kripke model, i.e., a primitive update model preserves the properties of a sr-KD45n Kripke model. It shows that several update models for modeling well-known actions found in the literature are primitive. This result provides guarantees that can be useful in presence of multiple applications of actions in multi-agent system (e.g., multi-agent planning).",

author = "Son, {Tran Cao} and Enrico Pontelli and Chitta Barai and Gregory Gelfond",

note = "Publisher Copyright: Copyright {\textcopyright} 2015, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 ; Conference date: 25-01-2015 Through 30-01-2015",

year = "2015",

month = jun,

day = "1",

language = "English (US)",

series = "Proceedings of the National Conference on Artificial Intelligence",

publisher = "AI Access Foundation",

pages = "1604--1610",

booktitle = "Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015",

}

TY - GEN

T1 - Exploring the KD45n property of a Kripke model after the execution of an action sequence

AU - Son, Tran Cao

AU - Pontelli, Enrico

AU - Barai, Chitta

AU - Gelfond, Gregory

PY - 2015/6/1

Y1 - 2015/6/1

N2 - The paper proposes a condition for preserving the KD45n property of a Kripke model when a sequence of update models is applied to it. The paper defines the notions of a primitive update model and a semi-reflexive KD45n (or sr-KD45n) Kripke model. It proves that updating a sr-KD45n Kripke model using a primitive update model results in a sr-KD45n Kripke model, i.e., a primitive update model preserves the properties of a sr-KD45n Kripke model. It shows that several update models for modeling well-known actions found in the literature are primitive. This result provides guarantees that can be useful in presence of multiple applications of actions in multi-agent system (e.g., multi-agent planning).

AB - The paper proposes a condition for preserving the KD45n property of a Kripke model when a sequence of update models is applied to it. The paper defines the notions of a primitive update model and a semi-reflexive KD45n (or sr-KD45n) Kripke model. It proves that updating a sr-KD45n Kripke model using a primitive update model results in a sr-KD45n Kripke model, i.e., a primitive update model preserves the properties of a sr-KD45n Kripke model. It shows that several update models for modeling well-known actions found in the literature are primitive. This result provides guarantees that can be useful in presence of multiple applications of actions in multi-agent system (e.g., multi-agent planning).

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

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

M3 - Conference contribution

AN - SCOPUS:84959902456

T3 - Proceedings of the National Conference on Artificial Intelligence

SP - 1604

EP - 1610

BT - Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015

PB - AI Access Foundation

T2 - 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015

Y2 - 25 January 2015 through 30 January 2015

ER -