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 条
  • [41] Special issue on inductive logic programming
    Katsumi Inoue
    Hayato Ohwada
    Akihiro Yamamoto
    [J]. Machine Learning, 2017, 106 : 1863 - 1865
  • [42] Scalability issues in inductive logic programming
    Wrobel, S
    [J]. ALGORITHMIC LEARNING THEORY, 1998, 1501 : 11 - 30
  • [43] QuickFOIL: Scalable Inductive Logic Programming
    Zeng, Qiang
    Patel, Jignesh M.
    Page, David
    [J]. PROCEEDINGS OF THE VLDB ENDOWMENT, 2014, 8 (03): : 197 - 208
  • [44] Learning in clausal logic: A perspective on inductive logic programming
    Flach, P
    Lavrac, N
    [J]. COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 437 - 471
  • [45] Inductive equivalence in clausal logic and nonmonotonic logic programming
    Chiaki Sakama
    Katsumi Inoue
    [J]. Machine Learning, 2011, 83 : 1 - 29
  • [46] Inductive equivalence in clausal logic and nonmonotonic logic programming
    Sakama, Chiaki
    Inoue, Katsumi
    [J]. MACHINE LEARNING, 2011, 83 (01) : 1 - 29
  • [47] Inductive logic programming: Yet another application of logic
    Yamamoto, Akihiro
    [J]. DECLARATIVE PROGRAMMING FOR KNOWLEDGE MANAGEMENT, 2006, 4369 : 102 - 116
  • [48] Inductive logic programming: From logic of discovery to machine learning
    Arimura, H
    Yamamoto, A
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (01): : 10 - 18
  • [49] Formulating Description Logic Learning as an Inductive Logic Programming Task
    Konstantopoulos, Stasinos
    Charalambidis, Angelos
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010), 2010,
  • [50] COMPLEXITY OF SOME PARAMETRIC INTEGER AND NETWORK PROGRAMMING-PROBLEMS
    CARSTENSEN, PJ
    [J]. MATHEMATICAL PROGRAMMING, 1983, 26 (01) : 64 - 75
12345