Abstract | ||
---|---|---|
We present a method for discovering new knowledge from structural data which are represented by graphs in the framework of inductive logic programming. A graph, or network, is widely used for representing relations between various data and expressing a small and easily understandable hypothesis. Formal Graph System (FGS) is a kind of logic programming system which directly deals with graphs just like first order terms. By employing refutably inductive inference algorithms and graph algorithmic techniques, we are developing a knowledge discovery system KD-FGS, which acquires knowledge directly from graph data by using FGS as a knowledge representation language. In this paper we develop a logical foundation of our knowledge discovery system. A term tree is a pattern which consists of variables and treelike structures. We give a polynomial-time algorithm for finding a unifier of a term tree and a tree in order to make consistency checks efficiently. Moreover we give experimental results on some graph theoretical notions with the system. The experiments show that the system is useful for finding new knowledge. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-48751-4_21 | ILP |
Keywords | Field | DocType |
graph theoretical notion,new knowledge,knowledge discovery system,graph data,knowledge representation language,graph algorithmic technique,knowledge discovery system kd-fgs,structural data,term tree,logic programming system,inductive logic programming,discovering new knowledge,knowledge discovery,structured data,inductive inference,first order,knowledge representation | Inductive logic programming,Computer science,Tree decomposition,Theoretical computer science,SPQR tree,Knowledge extraction,Artificial intelligence,Graph rewriting,Abstract semantic graph,Machine learning,Moral graph,Graph (abstract data type) | Conference |
Volume | ISSN | ISBN |
1634 | 0302-9743 | 3-540-66109-3 |
Citations | PageRank | References |
5 | 0.63 | 13 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tetsuhiro Miyahara | 1 | 267 | 32.75 |
Takayoshi Shoudai | 2 | 269 | 31.89 |
Tomoyuki Uchida | 3 | 255 | 35.06 |
Tetsuji Kuboyama | 4 | 140 | 29.36 |
Kenichi Takahashi | 5 | 156 | 18.94 |
Hiroaki Ueda | 6 | 154 | 16.74 |