The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Apresentamos um novo método para descobrir conhecimento a partir de dados estruturados que são representados por gráficos no âmbito da Programação Lógica Indutiva. Um gráfico, ou rede, é amplamente utilizado para representar relações entre vários dados e expressar uma hipótese pequena e de fácil compreensão. O sistema de análise que manipula diretamente os gráficos é útil para a descoberta de conhecimento. Nosso método usa Formal Graph System (FGS) como linguagem de representação de conhecimento para dados estruturados em grafos. FGS é um tipo de sistema de programação lógica que lida diretamente com gráficos, assim como termos de primeira ordem. E nosso método emprega um algoritmo de inferência indutivamente refutável como algoritmo de aprendizagem. Um algoritmo de inferência indutivamente refutável é um tipo especial de algoritmo de inferência indutiva com refutabilidade de espaços de hipóteses e é adequado para descoberta de conhecimento. Damos um espaço de hipóteses suficientemente grande, o conjunto de programas de FGS com redução fraca. E mostramos que este espaço de hipóteses é refutavelmente inferível a partir de dados completos. Projetamos e implementamos um protótipo de sistema de descoberta de conhecimento KD-FGS, que se baseia em nosso método e adquire conhecimento diretamente de dados estruturados em grafos. Finalmente discutimos a aplicabilidade do nosso método para dados estruturados em grafos com resultados experimentais sobre algumas noções teóricas de grafos.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copiar
Tetsuhiro MIYAHARA, Tomoyuki UCHIDA, Takayoshi SHOUDAI, Tetsuji KUBOYAMA, Kenichi TAKAHASHI, Hiroaki UEDA, "Discovering Knowledge from Graph Structured Data by Using Refutably Inductive Inference of Formal Graph Systems" in IEICE TRANSACTIONS on Information,
vol. E84-D, no. 1, pp. 48-56, January 2001, doi: .
Abstract: We present a new method for discovering knowledge from structured 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. The analyzing system directly manipulating graphs is useful for knowledge discovery. Our method uses Formal Graph System (FGS) as a knowledge representation language for graph structured data. FGS is a kind of logic programming system which directly deals with graphs just like first order terms. And our method employs a refutably inductive inference algorithm as a learning algorithm. A refutably inductive inference algorithm is a special type of inductive inference algorithm with refutability of hypothesis spaces, and is suitable for knowledge discovery. We give a sufficiently large hypothesis space, the set of weakly reducing FGS programs. And we show that this hypothesis space is refutably inferable from complete data. We have designed and implemented a prototype of a knowledge discovery system KD-FGS, which is based on our method and acquires knowledge directly from graph structured data. Finally we discuss the applicability of our method for graph structured data with experimental results on some graph theoretical notions.
URL: https://global.ieice.org/en_transactions/information/10.1587/e84-d_1_48/_p
Copiar
@ARTICLE{e84-d_1_48,
author={Tetsuhiro MIYAHARA, Tomoyuki UCHIDA, Takayoshi SHOUDAI, Tetsuji KUBOYAMA, Kenichi TAKAHASHI, Hiroaki UEDA, },
journal={IEICE TRANSACTIONS on Information},
title={Discovering Knowledge from Graph Structured Data by Using Refutably Inductive Inference of Formal Graph Systems},
year={2001},
volume={E84-D},
number={1},
pages={48-56},
abstract={We present a new method for discovering knowledge from structured 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. The analyzing system directly manipulating graphs is useful for knowledge discovery. Our method uses Formal Graph System (FGS) as a knowledge representation language for graph structured data. FGS is a kind of logic programming system which directly deals with graphs just like first order terms. And our method employs a refutably inductive inference algorithm as a learning algorithm. A refutably inductive inference algorithm is a special type of inductive inference algorithm with refutability of hypothesis spaces, and is suitable for knowledge discovery. We give a sufficiently large hypothesis space, the set of weakly reducing FGS programs. And we show that this hypothesis space is refutably inferable from complete data. We have designed and implemented a prototype of a knowledge discovery system KD-FGS, which is based on our method and acquires knowledge directly from graph structured data. Finally we discuss the applicability of our method for graph structured data with experimental results on some graph theoretical notions.},
keywords={},
doi={},
ISSN={},
month={January},}
Copiar
TY - JOUR
TI - Discovering Knowledge from Graph Structured Data by Using Refutably Inductive Inference of Formal Graph Systems
T2 - IEICE TRANSACTIONS on Information
SP - 48
EP - 56
AU - Tetsuhiro MIYAHARA
AU - Tomoyuki UCHIDA
AU - Takayoshi SHOUDAI
AU - Tetsuji KUBOYAMA
AU - Kenichi TAKAHASHI
AU - Hiroaki UEDA
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E84-D
IS - 1
JA - IEICE TRANSACTIONS on Information
Y1 - January 2001
AB - We present a new method for discovering knowledge from structured 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. The analyzing system directly manipulating graphs is useful for knowledge discovery. Our method uses Formal Graph System (FGS) as a knowledge representation language for graph structured data. FGS is a kind of logic programming system which directly deals with graphs just like first order terms. And our method employs a refutably inductive inference algorithm as a learning algorithm. A refutably inductive inference algorithm is a special type of inductive inference algorithm with refutability of hypothesis spaces, and is suitable for knowledge discovery. We give a sufficiently large hypothesis space, the set of weakly reducing FGS programs. And we show that this hypothesis space is refutably inferable from complete data. We have designed and implemented a prototype of a knowledge discovery system KD-FGS, which is based on our method and acquires knowledge directly from graph structured data. Finally we discuss the applicability of our method for graph structured data with experimental results on some graph theoretical notions.
ER -