A Defeasible Logic of Policy-based Intention

Governatori, Guido, Nair, Vineet and Sattar, Abdul (2002). A Defeasible Logic of Policy-based Intention. In: B. McKay and J. Slaney, Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence Proceedings. Australasian Workshop on Computational Logic 2002, Canberra, (9-20). 2-3 December, 2002.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
awcl02.pdf awcl02.pdf application/pdf 69.90KB 240

Author Governatori, Guido
Nair, Vineet
Sattar, Abdul
Title of paper A Defeasible Logic of Policy-based Intention
Conference Paper Type Fully Published Paper
Conference name Australasian Workshop on Computational Logic 2002
Conference location Canberra
Conference dates 2-3 December, 2002
Proceedings title Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence Proceedings
Editor B. McKay
J. Slaney
Place published Berlin
Publisher Springer-Verlag
Publication date 2002
Volume number 2557
ISBN 3-540-00197-2
ISSN 03029743
Start page 9
End page 20
Total pages 12
Collection year 2002
Language eng
Abstract/Summary Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. The proposed technique alleviates most of the problems related to logical omniscience.
Subjects 230101 Mathematical Logic, Set Theory, Lattices And Combinatorics
440106 Logic
280100 Information Systems
E1
780101 Mathematical sciences
280213 Other Artificial Intelligence
Keyword defeasible logic
modal logic
agents
BDI logic
non-monotonic reasoning
Q-Index Code E1
 
Available Versions of this Record
 
Versions
Version Filter Type
Citation counts: Thomson Reuters Citation Count Cited 4 times in Thomson Reuters Researcher ID
Access Statistics: 178 Abstract Views, 240 File Downloads  -  Detailed Statistics
Created: Mon, 07 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering  -  Detailed History