Modelling Intentional Reasoning with Defeasible and Temporal Logic

5th International Workshop on Logics, Agents, and Mobility (LAM'12), 1st International Workshop on Petri Net-based Security (WooPS'12), 2nd International Workshop on Petri Nets Compositions (CompoNet'12)

Jose Martn Castro-Manzano

Others  :  http://ceur-ws.org/Vol-853/lam3.pdf
PID  :  43077

来源: CEUR

【 摘 要 】

We follow the hypothesis that intentional reasoning is a form of logical reasoning sui generis by its double nature: temporal and defeasible. Then we briefly describe a formal framework that deals with these topics and we study the metalogical properties of its notion of inference. The idea is that intentional reasoning can be represented in a well-behaved defeasible logic and has the right to be called logical reasoning since it behaves, mutatis mutandis, as a logic, strictly speaking, as a non-monotonic logic.