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

dc.contributor.author Governatori, Guido
dc.contributor.author Padmanabhan, Vineet
dc.contributor.author Rotolo, Antonino
dc.contributor.author Sattar, Abdul
dc.date.accessioned 2022-03-27T05:51:28Z
dc.date.available 2022-03-27T05:51:28Z
dc.date.issued 2009-01-01
dc.description.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. © The Author 2009. Published by Oxford University Press. All rights reserved.
dc.identifier.citation Logic Journal of the IGPL. v.17(3)
dc.identifier.issn 13670751
dc.identifier.uri 10.1093/jigpal/jzp006
dc.identifier.uri https://academic.oup.com/jigpal/article-lookup/doi/10.1093/jigpal/jzp006
dc.identifier.uri https://dspace.uohyd.ac.in/handle/1/8394
dc.title A defeasible logic for modelling policy-based intentions and motivational attitudes
dc.type Journal. Article
dspace.entity.type
Files
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: