On the complexity of some inductive logic programming problems

被引：10
|
作者：
Gottlob, G
Leone, N
Scarcello, F
机构：
[1] Vienna Univ Technol, Inst Informat Syst, A-1040 Vienna, Austria
[2] Univ Calabria, ISI CNR, DEIS, I-87036 Arcavacata Di Rende, CS, Italy
来源：
NEW GENERATION COMPUTING | 1999年 / 17卷 / 01期
基金：
奥地利科学基金会;
关键词：
inductive logic programming; computational complexity; pac-learning;
D O I：
10.1007/BF03037582
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The bounded ILP-consistency problem for function-free Horn clauses is described as follows. Given a set E+ and E- of function-free ground Horn clauses and an integer I; polynomial in E+ boolean OR E-, does there exist a function-free Horn clause C with no more than k literals such that C subsumes each element in E+ and C does not subsume any element in E-? It is shown that this problem is Sigma(2)(P) complete. We derive some related results on the complexity of ILP and discuss the usefulness of such complexity results.
引用
收藏
页码：53 / 75
页数：23
相关论文
共 50 条
  • [31] Pairwise saturations in inductive logic programming
    Drole, Miha
    Kononenko, Igor
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2017, 47 (03) : 395 - 415
  • [32] On avoiding redundancy in inductive logic programming
    Fonseca, N
    Costa, VS
    Silva, F
    Camacho, R
    [J]. INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3194 : 132 - 146
  • [33] Pairwise saturations in inductive logic programming
    Miha Drole
    Igor Kononenko
    [J]. Artificial Intelligence Review, 2017, 47 : 395 - 415
  • [34] An approach to constraint Inductive Logic Programming
    Zheng, L
    Jia, D
    Liu, CN
    [J]. 2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 1597 - 1601
  • [35] Transfer Learning by Inductive Logic Programming
    Sato, Yuichiro
    Iida, Hiroyuki
    van den Herik, H. J.
    [J]. ADVANCES IN COMPUTER GAMES, ACG 2015, 2015, 9525 : 223 - 234
  • [36] Inductive logic programming by instance patterns
    Liu, Chongbing
    Pontelli, Enrico
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 230 - +
  • [37] Special issue on inductive logic programming
    Inoue, Katsumi
    Ohwada, Hayato
    Yamamoto, Akihiro
    [J]. MACHINE LEARNING, 2017, 106 (12) : 1863 - 1865
  • [38] Mathematical applications of inductive logic programming
    Simon Colton
    Stephen Muggleton
    [J]. Machine Learning, 2006, 64 : 25 - 64
  • [39] BET : An Inductive Logic Programming Workbench
    Kalgi, Srihari
    Gosar, Chirag
    Gawde, Prasad
    Ramakrishnan, Ganesh
    Gada, Kekin
    Iyer, Chander
    Kiran, T. V. S.
    Srinivasan, Ashwin
    [J]. INDUCTIVE LOGIC PROGRAMMING, ILP 2010, 2011, 6489 : 130 - 137
  • [40] Mathematical applications of inductive logic programming
    Colton, Simon
    Muggleton, Stephen
    [J]. MACHINE LEARNING, 2006, 64 (1-3) : 25 - 64
12345