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
基金
奥地利科学基金会;
关键词
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 条
  • [1] On the complexity of some inductive logic programming problems
    Georg Gottlob
    Nicola Leone
    Francesco Scarcello
    [J]. New Generation Computing, 1999, 17 : 53 - 75
  • [2] Taming the Complexity of Inductive Logic Programming
    Zelezny, Filip
    Kuzelka, Ondrej
    [J]. SOFSEM 2010: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, 2010, 5901 : 132 - 140
  • [3] INDUCTIVE LOGIC PROGRAMMING
    MUGGLETON, S
    [J]. NEW GENERATION COMPUTING, 1990, 8 (04) : 295 - 318
  • [4] Inductive Logic Programming in Clementine
    Brewer, Sam
    Khabaza, Tom
    [J]. LECTURE NOTES IN COMPUTER SCIENCE <D>, 2000, 1910 : 337 - 344
  • [5] Inductive logic programming at 30
    Cropper, Andrew
    Dumancic, Sebastijan
    Evans, Richard
    Muggleton, Stephen H.
    [J]. MACHINE LEARNING, 2022, 111 (01) : 147 - 172
  • [6] Possibilistic inductive logic programming
    Serrurier, M
    Prade, H
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 675 - 686
  • [7] Anytime Inductive Logic Programming
    Lindgren, T
    [J]. COMPUTERS AND THEIR APPLICATIONS, 2000, : 439 - 442
  • [8] APPROACHES TO INDUCTIVE LOGIC PROGRAMMING
    BRAZDIL, PB
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 617 : 139 - 160
  • [9] Phonotactics in inductive logic programming
    Nerbonne, J
    Konstantopoulos, S
    [J]. INTELLIGENT INFORMATION PROCESSING AND WEB MINING, 2004, : 493 - 502
  • [10] A Survey on Inductive Logic Programming
    Dai, Wangzhou
    Zhou, Zhihua
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2019, 56 (01): : 138 - 154