Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarely explored. In this paper we first introduce the epistemic HT-logic, and then propose a more general extension of logic programs called nested epistemic logic programs. The semantics of this extension named equilibrium views is...

Planning with epistemic goals has received attention from both the dynamic logic and planning communities. In the single-agent case, under the epistemic closed-world assumption (ECWA), epistemic planning can be reduced to contingent planning. However, it is inappropriate to make the ECWA in some epistemic planning scenarios, for example, when the agent is not fully introspective, or when the ag...

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 explore when finite epistemic models are definable up to simulation or bisimulation, either over the basic multi-agent epistemic language L or over its extension L with common knowledge operators. Our main results are the following: 1. Bisimulation to finite epistemic states (i.e., pointed models) is not definable in L. 2. Global bisimulation to finite epistemic models is definable using mod...

In the following I discuss the debate between epistemological internalists and externalists from an unfamiliar meta-epistemological perspective. In doing so, I focus on the question of whether rationality is best captured in externalist or internalist terms. Using the idea of epistemic judgments as “doxastic plans”, I characterize one important subspecies of judgments about epistemic rationalit...

This article analyses the phenomenon of epistemic injustice within contemporary healthcare. We begin by detailing the persistent complaints patients make about their testimonial frustration and hermeneutical marginalization, and the negative impact this has on their care. We offer an epistemic analysis of this problem using Miranda Fricker's account of epistemic injustice. We detail two types o...

Information on epistemic beliefs has the potential to enrich feedback to students and teachers, through open learner modelling (OLM). We outline existing OLM applications with epistemic content and ways in which more holistic aspects of learning and development (epistemic beliefs, values, identity cognition etc.) may extend OLM for 21 Century learning. We propose three steps to extend epistemic...

We introduce and formally study games in which the goals of players relate to the epistemic states of players in the game. For example, one player might have a goal that another player knows a certain proposition, while another player might have as a goal that a certain player does not know some proposition. The formal model we use to study epistemic games is a variation of the increasingly pop...

This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...

Epistemic planning is a variant of automated planning in the framework of dynamic epistemic logic. In recent works, the epistemic planning problem has been proved to be undecidable when preconditions of events can be epistemic formulas of arbitrary complexity, and in particular arbitrary modal depth. It is known however that when preconditions are propositional (and there are no postconditions)...