Defeasible Logic: Agency, Intention and Obligation

We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic.

• Type: Conference
• Year: 2004
• Where: DEON
• Authors: Guido Governatori, Antonino Rotolo
• Keywords: Artificial Intelligence, Defeasible Nature, DEON 2004, Non-monotonic Multi-modal Logic