TY - JOUR AU - Son, Tran AU - Pontelli, Enrico AU - Baral, Chitta AU - Gelfond, Gregory PY - 2015/02/18 Y2 - 2024/03/29 TI - Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 29 IS - 1 SE - AAAI Technical Track: Knowledge Representation and Reasoning DO - 10.1609/aaai.v29i1.9401 UR - https://ojs.aaai.org/index.php/AAAI/article/view/9401 SP - AB - <p> The paper proposes a condition for preserving the KD45 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 (or sr-KD45) Kripke model. It proves that updating a sr-KD45 Kripke model using a primitive update model results in a sr-KD45 Kripke model, i.e., a primitive update model preserves the properties of a sr-KD45 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). </p> ER -