Temporal extensions to defeasible logic

Governatori, Guido and Terenziani, Paolo (2007). Temporal extensions to defeasible logic. In: Hans W. Guesguen, Gerard Ligozat and Rita V. Rodrigues, Proceedings of the IJCAI’07 Workshop on Spatial and Temporal Reasoning. Twentieth International Joint Conference on Artificial Intelligence IJCAI'07, Hyderabad, India, (1-7). 6 January 2007.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
guido1.pdf guido1.pdf application/pdf 134.57KB 433
Author Governatori, Guido
Terenziani, Paolo
Title of paper Temporal extensions to defeasible logic
Conference name Twentieth International Joint Conference on Artificial Intelligence IJCAI'07
Conference location Hyderabad, India
Conference dates 6 January 2007
Proceedings title Proceedings of the IJCAI’07 Workshop on Spatial and Temporal Reasoning
Place of Publication Hyderabad, India
Publisher International Joint Conference on Artificial Intelligence
Publication Year 2007
Sub-type Fully published paper
Editor Hans W. Guesguen
Gerard Ligozat
Rita V. Rodrigues
Start page 1
End page 7
Total pages 7
Language eng
Abstract/Summary In this paper, we extend defeasible logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature. Finally, we also demonstrate that the computational properties of the original logic are still retained by the extended approach.
Subjects 280111 Conceptual Modelling
280213 Other Artificial Intelligence
Keyword Temproral reasoning
Defeasible logic
Non-monotonic reasoning
Causation
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 20 Nov 2006, 10:00:00 EST by Guido Governatori on behalf of Library Corporate Services