首页    期刊浏览 2024年11月27日 星期三
登录注册

文章基本信息

  • 标题:Extracting Interval Temporal Logic Rules: A First Approach
  • 本地全文:下载
  • 作者:Davide Bresolin ; Enrico Cominato ; Simone Gnani
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2018
  • 卷号:120
  • 页码:1-15
  • DOI:10.4230/LIPIcs.TIME.2018.7
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others. Modern rule extraction algorithms focus on static rules, typically expressed in the language of Horn propositional logic, as opposed to temporal ones, which have received less attention in the literature. Since in many application domains temporal information is stored in form of intervals, extracting interval-based temporal rules seems the natural choice. In this paper we extend the well-known algorithm APRIORI for rule extraction to discover interval temporal rules written in the Horn fragment of Halpern and Shoham's interval temporal logic.
  • 关键词:Interval temporal logic; Horn fragment; Rule extraction
国家哲学社会科学文献中心版权所有