Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence

@inproceedings{Son2015ExploringTK,
  title={Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence},
  author={Tran Cao Son and Enrico Pontelli and Chitta Baral and Gregory Gelfond},
  booktitle={AAAI Conference on Artificial Intelligence},
  year={2015},
  url={https://api.semanticscholar.org/CorpusID:897030}
}
It is proved that updating a sr-KD45 Kripke model using a primitive update model results in a sr, i.e., a primitiveupdate model that preserves the properties of a Sr, KD45, or semi-reflexive Kripkel model.
View via Publisher
9 Citations
Background Citations
6
Methods Citations
1

Figures from this paper

9 Citations

Representing and Reasoning with Event Models for Epistemic Planning

This work combines the representation of event models with a description language for finitary initial epistemic theories, and shows how this allows us to reason about the effects of a sequence of actions in a multi-agent epistemic domain by updating a single multi-pointed epistemic model.

A Semantic Approach to Decidability in Epistemic Planning

A novel semantic approach to achieve decidability of Dynamic Epistemic Logic by augmenting the logic of knowledge with an interaction axiom called (knowledge) commutativity, which controls the ability of agents to unboundedly reason on the knowledge of other agents.

An Action Language for Multi-Agent Domains: Foundations

mA+ allows the representation of and reasoning about different types of actions that an agent can perform in a domain where many other agents might be present -- such as world-altering actions, sensing actions, and announcement/communication actions.

An action language for multi-agent domains

EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains

This paper presents two prototypical epistemic forward planners, called EFP and PG-EFP, for generating plans in multi-agent environments and introduces the notion of an epistemic planning graph.

Belief Update for Proper Epistemic Knowledge Bases

This paper presents a belief update mechanism for PEKBs that ensures the knowledge base remains consistent when new beliefs are added, achieved by first erasing any formulae that contradict these new beliefs.

1 Executive Summary

The seminar Epistemic Planning brought together the research communities of Dynamic Epistemic Logic, Knowledge Representation and Reasoning, and Automated Planning to address fundamental problems on…

Agent-update Models

The

Epistemic Planning (Dagstuhl Seminar 17231)

The seminar Epistemic Planning brought together the research communities of Dynamic Epistemic Logic, Knowledge Representation and Reasoning, and Automated Planning to address fundamental problems on…