Interval Temporal Logic Decision Tree Learning

被引:7
作者
Brunello, Andrea [2 ]
Sciavicco, Guido [1 ]
Stan, Ionel Eduard [2 ]
机构
[1] Univ Ferrara, Dept Math & Comp Sci, Ferrara, Italy
[2] Univ Udine, Dept Math Comp Sci & Phys, Udine, Italy
来源
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019 | 2019年 / 11468卷
关键词
Decision trees; Interval temporal logics; Symbolic learning;
D O I
10.1007/978-3-030-19570-0_50
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Decision trees are simple, yet powerful, classification models used to classify categorical and numerical data, and, despite their simplicity, they are commonly used in operations research and management, as well as in knowledge mining. From a logical point of view, a decision tree can be seen as a structured set of logical rules written in propositional logic. Since knowledge mining is rapidly evolving towards temporal knowledge mining, and since in many cases temporal information is best described by interval temporal logics, propositional logic decision trees may evolve towards interval temporal logic decision trees. In this paper, we define the problem of interval temporal logic decision tree learning, and propose a solution that generalizes classical decision tree learning.
引用
收藏
页码:778 / 793
页数:16
相关论文
共 30 条
  • [1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS
    ALLEN, JF
    [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843
  • [2] Alluhaibi R., 2015, P 11 INT C COMP SEM, P283
  • [3] LEARNING REGULAR SETS FROM QUERIES AND COUNTEREXAMPLES
    ANGLUIN, D
    [J]. INFORMATION AND COMPUTATION, 1987, 75 (02) : 87 - 106
  • [4] [Anonymous], 2005, ELECT J SYMBOLIC DAT
  • [5] A Method for Compiling General Concepts with the Use of Temporal Decision Trees
    Antipov, S. G.
    Fomina, M. V.
    [J]. SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2011, 38 (06) : 409 - 419
  • [6] BaezaYates R, 2004, LECT NOTES COMPUT SC, V2945, P445
  • [7] Bartocci Ezio, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P23, DOI 10.1007/978-3-319-10512-3_3
  • [8] SmcHD1, containing a structural-maintenance-of-chromosomes hinge domain, has a critical role in X inactivation
    Blewitt, Marnie E.
    Gendrel, Anne-Valerie
    Pang, Zhenyi
    Sparrow, Duncan B.
    Whitelaw, Nadia
    Craig, Jeffrey M.
    Apedaile, Anwyn
    Hilton, Douglas J.
    Dunwoodie, Sally L.
    Brockdorff, Neil
    Kay, Graham F.
    Whitelaw, Emma
    [J]. NATURE GENETICS, 2008, 40 (05) : 663 - 669
  • [9] Top-down induction of first-order logical decision trees
    Blockeel, H
    De Raedt, L
    [J]. ARTIFICIAL INTELLIGENCE, 1998, 101 (1-2) : 285 - 297
  • [10] A Decision Tree Approach to Data Classification using Signal Temporal Logic
    Bombara, Giuseppe
    Vasile, Cristian-Ioan
    Penedo, Francisco
    Yasuoka, Hirotoshi
    Belta, Calin
    [J]. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 1 - 10