Temporal Extensions to Defeasible Logic

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. We also prove that the computational properties of the original logic are still retained by the extended approach.

• Type: Conference
• Year: 2007
• Where: AUSAI
• Authors: Guido Governatori, Paolo Terenziani
• Keywords: Artificial Intelligence, AUSAI 2007, Computationally-oriented Non-monotonic Logic, Defeasible Logic, Extended Temporalised Framework