首页 | 本学科首页   官方微博 | 高级检索  
     


t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Authors:Pere Pardo  Lluís Godo
Affiliation:1. Institut d’Investigació en Intel·ligència Artificial (IIIA), Spanish National Research Council (CSIC), 08193, Bellaterra, Spain
2. Dept. de Lògica, Hist. i Filo. Ciència, Universitat de Barcelona, 08001, Barcelona, Spain
Abstract:The aim of this paper is to propose an argumentation-based defeasible logic, called t-DeLP, that focuses on forward temporal reasoning for causal inference. We extend the language of the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of basic temporal facts and (strict or defeasible) durative rules. Facts and rules combine into durative arguments representing temporal processes. As usual, a dialectical procedure determines which arguments are undefeated, and hence which literals are warranted, or defeasibly follow from the program. t-DeLP, though, slightly differs from DeLP in order to accommodate temporal aspects, like the persistence of facts. The output of a t-DeLP program is a set of warranted literals, which is first shown to be non-contradictory and be closed under sub-arguments. This basic framework is then modified to deal with programs whose strict rules encode mutex constraints. The resulting framework is shown to satisfy stronger logical properties like indirect consistency and closure.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号