 However, there have been also proposals that formalize (parts of) the abductive process in terms of diverse epistemic concepts (e.g., Levesque 1989; Boutilier &amp; Becher 1995). Among them, Velázquez-Quesada, Soler-Toscano, &amp; Nepomuceno-Fernández (2013) understand abductive reasoning as a process of belief change that is triggered by an observation and guided by the knowledge the agent has. In symbols (Velázquez-Quesada 2015), abductive reasoning from a surprising observation \(\psi\) to a belief \(\varphi\) can be described as