A defeasible logic for modelling policy-based intentions and motivational attitudes
MetadataShow full item record
In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ?A/? ?A, that is from ?A derive ? ?A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention that specifies how modalities can be introduced and manipulated in a non-monotonic setting without giving rise to the problem of logical omniscience. In a similar way we show how to add deontic modalities defeasibly and how to integrate them with other motivational attitudes like beliefs and goals. Finally we show that the basic aspect of the BOID architecture is captured by this extended framework.
Logic Journal of the IGPL
© 2009 Oxford University Press. This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Logic Journal of the IGPL following peer review. The definitive publisher-authenticated version A defeasible logic for modelling policy-based intentions and motivational attitudes, Logic Journal of the IGPL, Volume 17, Issue 3, Pages 227–265, 2009 is available online at: https://doi.org/10.1093/jigpal/jzp006.
Mathematical Logic, Set Theory, Lattices and Universal Algebra