Efficient and scalable induction of logic programs using a deductive database system

被引:0
|
作者
Ferreira, Michel [1 ]
Fonseca, Nuno A. [1 ]
Rocha, Ricardo [1 ]
Scares, Tiago [1 ]
机构
[1] Univ Porto, DCC FC & LIACC, Oporto, Portugal
来源
INDUCTIVE LOGIC PROGRAMMING | 2007年 / 4455卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A consequence of ILP systems being implemented in Prolog or using Prolog libraries is that, usually, these systems use a Prolog internal database to store and manipulate data. However, in real-world problems, the original data is rarely in Prolog format. In fact, the data is often kept in Relational Database Management Systems (RDBMS) and then converted to a format acceptable by the ILP system. Therefore, a more interesting approach is to link the ILP system to the RDBMS and manipulate the data without converting it. This scheme has the advantage of being more scalable since the whole data does not need to be loaded into memory by the ILP system. In this paper we study several approaches of coupling ILP systems with RDBMS systems and evaluate their impact on performance. We propose to use a Deductive Database (DDB) system to transparently translate the hypotheses to relational algebra expressions. The empirical evaluation performed shows that the execution time of ILP algorithms can be effectively reduced using a DDB and that the size of the problems can be increased due to a non-memory storage of the data.
引用
收藏
页码:184 / +
页数:3
相关论文
共 50 条
  • [1] Efficient induction of logic programs
    1600, Publ by Ohmsha Ltd, Tokyo, Jpn
  • [2] A DEDUCTIVE DATABASE BASED ON ARISTOTELIAN LOGIC
    MOZES, E
    JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (05) : 487 - 507
  • [3] Implementation of a deductive database system using SQLBase
    Keong, CC
    Yin, C
    MICROPROCESSORS AND MICROSYSTEMS, 1997, 20 (06) : 317 - 323
  • [4] Reasoning with uncertainty in deductive databases and logic programs
    Ng, RT
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 1997, 5 (03) : 261 - 316
  • [5] A dynamic logic for deductive verification of concurrent programs
    Beckert, Bernhard
    Klebanov, Vladimir
    SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 141 - +
  • [6] SEMANTICS OF DISJUNCTIVE LOGIC PROGRAMS AND DEDUCTIVE DATABASES
    PRZYMUSINSKI, TC
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 566 : 85 - 107
  • [7] An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs
    Areias, Miguel
    Rocha, Ricardo
    PROCEEDINGS OF THE 2012 IEEE 18TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS 2012), 2012, : 636 - 643
  • [8] The MyYapDB deductive database system
    Ferreira, M
    Rocha, R
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 710 - 713
  • [9] IMPLEMENTATION OF A DEDUCTIVE DATABASE SYSTEM
    CELMA, M
    MORENO, L
    PASTOR, O
    RAMOS, I
    REVISTA DE INFORMATICA Y AUTOMATICA, 1987, 20 (03): : 35 - 41
  • [10] The deductive database system LOLA
    Zukowski, U
    Freitag, B
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 375 - 386