A defeasible logic for modelling policy-based intentions and motivational attitudes

There are no files associated with this record.

Title A defeasible logic for modelling policy-based intentions and motivational attitudes
Author Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonio; Sattar, Abdul
Journal Name Logic Journal of the IGPL
Year Published 2009
Place of publication United Kingdom
Publisher Oxford University Press
Abstract 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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1093/jigpal/jzp006
Volume 17
Issue Number 3
Page from 227
Page to 265
ISSN 1367-0751
Date Accessioned 2010-04-24
Date Available 2010-08-25T07:04:16Z
Language en_AU
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Mathematical Logic, Set Theory, Lattices and Universal Algebra
URI http://hdl.handle.net/10072/30736
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Show simple item record

Griffith University copyright notice