Intentional Reasoning as Non-monotonic Reasoning.
José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra‐Hernández · 2011
Intentional reasoning is also logical reasoning. Since it is a dynamic process that involves reasoning from beliefs, goals and time, it requires both a temporal semantics and a non-monotonic behavior. In this work we propose a model of intentional reasoning as a case of nonmonotonic reasoning. We also show the consistency and soundness of the system.