Modelling Intentional Reasoning with Defeasible and Temporal Logic

The intentionality of action requires an intention or pro-attitude (I), while the intentionality of omissions requires knowledge (O) 8. Indeed, as already mentioned, when people

According to the twofold scheme ( Lucas, 1998a ), the putatively Ischigualastian faunas of the Popo Agie, Middle Wolfville, and Lower Maleri Formations are Otischalkian, whereas

These results have triggered numerous experiments and many comments on human irrationality, as they are at variance with what is considered the normative solution from the

And the intuitive reason why the action would not count as intentional is that the agent's intentions were not directed at her action “in the right way.” Ironically, it is the

We find evidence for correspondence with postulate U1, which states that updating with the new fact must ensure that the new fact is a consequence of the update.. We find evidence

Non-restricted single phenotype (NSiP) classes, for example, define the datatype, a unit of measure and an optional aggregate function; non-restricted derived phenotype (NDeP)

We define a (naïve) tableau- based algorithm for checking preferential consistency of contextual defeasible knowledge bases, a central piece in the definition of other forms

Therefore, this research focused on a qualitative comparison of the degree of explainability of defeasible argumentation and non-monotonic fuzzy reasoning in a real-world