The issue of the order-dependence of iterative deletion processes is well-known in the game theory community, and meanwhile conditions on the dominance concept underlying these processes have been detected which ensure order-independence (see e.g. the criteria of Gilboa et al., 1990 and Apt, 2011). While this kind of research deals with the technical issue, whether certain iterative deletion pr...

To reason the interaction between agents’ epistemic states and environments, the agents’ epistemic states should include ontologies of agents (the agents’ assumptions about environments), what the agents know, believe and desire, and also should include the agents’ interpretations about these symbols in ontologies onto the environments. A formal description of such agents’ epistemic states and ...

We propose an approach for single-agent epistemic planning in domains with incomplete knowledge. We argue that on the one hand the integration of epistemic reasoning into planning is useful because it makes the use of sensors more flexible. On the other hand, defining an epistemic problem description is an error prone task as the epistemic effects of actions are more complex than their usual ph...

In this paper I explore the nature of confabulatory explanations of action guided by implicit bias. I claim that such explanations can have significant epistemic benefits in spite of their obvious epistemic costs, and that such benefits are not otherwise obtainable by the subject at the time at which the explanation is offered. I start by outlining the kinds of cases I have in mind, before char...

We start from Reiter’s solution to the frame problem in terms of successor state axioms and Scherl& Levesque’s extension to knowledge, as formulated by Lakemeyer&Levesque in their logic ES. While it was believed up to now that quantification over actions is a characteristic feature of Reiter’s solution, we here show that for a reasonably large subset of Reiter’s basic action theories one can do...