• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Learning of formal graph systems and its application to graph mining

Research Project

Project/Area Number 26280087
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Intelligent informatics
Research InstitutionKyushu International University

Principal Investigator

Shoudai Takayoshi  九州国際大学, 現代ビジネス学部, 教授 (50226304)

Co-Investigator(Kenkyū-buntansha) 内田 智之  広島市立大学, 情報科学研究科, 准教授 (70264934)
松本 哲志  東海大学, 理学部, 准教授 (30307235)
鈴木 祐介  広島市立大学, 情報科学研究科, 助教 (10398464)
Project Period (FY) 2014-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥6,630,000 (Direct Cost: ¥5,100,000、Indirect Cost: ¥1,530,000)
Fiscal Year 2016: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2014: ¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Keywordsグラフ文法 / グラフパターン / 形式体系 / 計算論的学習 / 機械学習 / 帰納推論 / グラフマイニング / グラフアルゴリズム
Outline of Final Research Achievements

Formal graph system (FGS) is a logic program that deals with term graphs instead of the terms of first-order predicate logic. In this research, we have studied the polynomial-time learnability of graph patterns and formal graph systems in the frameworks of the PAC-learning, query-learning, and inductive inference models. In particular, we introduced the hierarchy of FGS that is defined by some numerical graph invariants and the parameters of logic programs. We showed that there exist formal graph systems in the hierarchy that are learnable in the PAC framework. Furthermore, we described how distributional learning techniques are applied to formal graph system (FGS) languages. We showed that the regular FGS languages of bounded degree with the 1-finite context property (1-FCP) and bounded treewidth property are learned from positive data and membership queries.

Report

(4 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Annual Research Report
  • 2014 Annual Research Report
  • Research Products

    (29 results)

All 2017 2016 2015 2014

All Journal Article (12 results) (of which Peer Reviewed: 11 results,  Acknowledgement Compliant: 8 results,  Open Access: 3 results) Presentation (17 results) (of which Int'l Joint Research: 1 results)

  • [Journal Article] Algorithm for Enumerating all Frequent Paths from Structurally Compressed Tree-Structured Data2017

    • Author(s)
      T. Horibe, Y. Itokawa, T. Uchida, Y. Suzuki, T. Miyahara
    • Journal Title

      Proc. International MultiConference of Engineers and Computer Scientists 2017

      Volume: I Pages: 69-74

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Polynomial Time Inductive Inference of Languages of Ordered Term Tree Patterns with Height-Constrained Variables from Positive Data2017

    • Author(s)
      Takayoshi Shoudai, Kazuhide Aikoh, Yusuke Suzuki, Satoshi Matsumoto, Tetsuhiro Miyahara, Tomoyuki Uchida
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E100.A Issue: 3 Pages: 785-802

    • DOI

      10.1587/transfun.E100.A.785

    • NAID

      130005397026

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] A Polynomial Time Pattern Matching Algorithm on Graph Patterns of Bounded Treewidth2017

    • Author(s)
      T. Shoudai, T. Yamada
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: 印刷中

    • NAID

      130006038279

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Distributional Learning of Regular Formal Graph System of Bounded Degree2017

    • Author(s)
      T. Shoudai, S. Matsumoto, Y. Suzuki
    • Journal Title

      Proc. 26th International Conference on Inductive Logic Programming (ILP2016), Springer, Lecture Notes in Artificial Intelligence

      Volume: 印刷中

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Enumeration of Maximally Frequent Ordered Tree Patterns with Wildcards for Edge Labels2017

    • Author(s)
      T. Miyahara, Y. Suzuki, T. Shoudai, T. Uchida, T. Kuboyama
    • Journal Title

      IPSJ Transactions on Mathematical Modeling and its Applications

      Volume: 印刷中

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Acquisition of Characteristic Block Preserving Outerplanar Graph Patterns by Genetic Programming using Label Information2016

    • Author(s)
      F. Tokuhara, T. Miyahara, Y. Suzuki, T. Uchida, T. Kuboyama
    • Journal Title

      Proc. 5th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) (2016)

      Volume: - Pages: 203-210

    • DOI

      10.1109/iiai-aai.2016.212

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Semi-Supervised Data Screening for Network Traffic Data Using Graph Min-Cuts2016

    • Author(s)
      T. Shoudai, H. Murai, A. Okamoto
    • Journal Title

      IPSJ Transactions on Mathematical Modeling and its Applications

      Volume: 9 Pages: 49-60

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Using canonical representations of block tree patterns in acquisition of characteristic block preserving outerplanar graph patterns2016

    • Author(s)
      Fumiya Tokuhara, Tetsuhiro Miyahara, Yusuke Suzuki, Tomoyuki Uchida, Tetsuji Kuboyama
    • Journal Title

      9th IEEE International Workshop on Computational Intelligence and Applications

      Volume: - Pages: 93-99

    • DOI

      10.1109/iwcia.2016.7805755

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed
  • [Journal Article] An Efficient Pattern Matching Algorithm for Ordered Term Tree Patterns2015

    • Author(s)
      Yusuke Suzuki, Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E98.A Issue: 6 Pages: 1197-1211

    • DOI

      10.1587/transfun.E98.A.1197

    • NAID

      130005071829

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2015 Annual Research Report
    • Peer Reviewed / Open Access / Acknowledgement Compliant
  • [Journal Article] Polynomial time MAT learning of c-deterministic regular formal graph systems2014

    • Author(s)
      Seiya Hara, Takayoshi Shoudai
    • Journal Title

      Proc. 3rd International Conference on Adbanced Applied Informatics (IIAI-AAI 2014)

      Volume: - Pages: 204-211

    • DOI

      10.1109/iiai-aai.2014.51

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 多項式時間PAC学習可能な木幅定数形式グラフ体系について2014

    • Author(s)
      正代 隆義
    • Journal Title

      九州国際大学教養研究

      Volume: 21 Pages: 1-26

    • NAID

      120005714655

    • Related Report
      2014 Annual Research Report
    • Open Access
  • [Journal Article] Graph contraction pattern matching for graphs of bounded treewidth2014

    • Author(s)
      Takashi Yamada, Takayoshi Shoudai
    • Journal Title

      Latest Advances in Inductive Logic Programming, Imperial College Press

      Volume: - Pages: 173-180

    • DOI

      10.1142/9781783265091_0018

    • ISBN
      9781783265084, 9781783265091
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Presentation] Enumeration of Maximally Frequent Ordered Tree Patterns with Wildcards for Edge Labels2017

    • Author(s)
      T. Miyahara, Y. Suzuki, T. Shoudai, T. Uchida, T. Kuboyama
    • Organizer
      第112回数理モデル化と問題解決研究発表会
    • Place of Presentation
      盛岡市繋温泉清温荘
    • Related Report
      2016 Annual Research Report
  • [Presentation] 化合物データからの特徴的な外平面的グラフパターン発見アルゴリズムの実装とGUI開発2017

    • Author(s)
      延 拓哉, 鈴木 祐介, 内田 智之, 宮原 哲浩
    • Organizer
      情報処理学会九州支部火の国情報シンポジウム2017
    • Place of Presentation
      鹿児島大学工学部
    • Related Report
      2016 Annual Research Report
  • [Presentation] TTSPグラフパターン集合を個体とする進化的手法による複合的グラフ構造パターンの獲得2017

    • Author(s)
      山縣 佑貴, 宮原 哲浩, 鈴木 祐介, 内田 智之, 久保山 哲二
    • Organizer
      情報処理学会九州支部火の国情報シンポジウム2017
    • Place of Presentation
      鹿児島大学工学部
    • Related Report
      2016 Annual Research Report
  • [Presentation] グラフ構造の分布情報を用いた有界な次数と木幅の文脈自由グラフ言語の多項式時間機械学習2017

    • Author(s)
      松本 哲志, 正代 隆義, 鈴木 祐介
    • Organizer
      情報処理学会第79回全国大会
    • Place of Presentation
      名古屋大学東山キャンパス
    • Related Report
      2016 Annual Research Report
  • [Presentation] A Semi-Supervised Data Screening for Network Traffic Data using Graph Min-Cuts2016

    • Author(s)
      正代 隆義, 村井 光, 岡本 敦
    • Organizer
      情報処理学会第107回数理モデル化と問題解決(MPS)研究会
    • Place of Presentation
      山口湯田温泉山口健康づくりセンター
    • Year and Date
      2016-03-08
    • Related Report
      2015 Annual Research Report
  • [Presentation] グラフパターンの木表現を用いた遺伝的プログラミングによる特徴的なブロック保存型外平面的グラフパターンの獲得2016

    • Author(s)
      大内山 祐斗, 宮原 哲浩, 鈴木 祐介, 内田 智之, 久保山 哲二, 徳原 史也
    • Organizer
      2016人工知能学会全国大会
    • Place of Presentation
      北九州国際会議場
    • Related Report
      2016 Annual Research Report
  • [Presentation] 隣接した変数を持つ順序グラフパターンに対するマッチングアルゴリズム2016

    • Author(s)
      木下 智貴, 鈴木 祐介, 内田 智之, 宮原 哲浩
    • Organizer
      平成28年度電気・情報関連学会中国支部連合大会
    • Place of Presentation
      広島大学東広島キャンパス
    • Related Report
      2016 Annual Research Report
  • [Presentation] 2-限定的木置換文法に対する非終端記号に関する所属性質問を用いた質問学習2016

    • Author(s)
      李 起春, 鈴木 祐介, 内田 智之, 宮原哲浩
    • Organizer
      平成28年度電気・情報関連学会中国支部連合大会
    • Place of Presentation
      広島大学東広島キャンパス
    • Related Report
      2016 Annual Research Report
  • [Presentation] Acquisition of Multiple Tree Structured Patterns by an Evolutionary Method using Sets of Tag Tree Patterns as Individuals2015

    • Author(s)
      Shotarou Tani, Tetsuhiro Miyahara, Yusuke Suzuki, Tomoyuki Uchida
    • Organizer
      4th IIAI International Congress on Advanced Applied Informatics (AAI 2015)
    • Place of Presentation
      Okayama Convention Center
    • Year and Date
      2015-07-16
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 文脈決定正則形式グラフ体系の多項式時間MAT学習2015

    • Author(s)
      正代 隆義
    • Organizer
      第13回論理と計算セミナー
    • Place of Presentation
      福岡工業大学
    • Year and Date
      2015-07-04
    • Related Report
      2015 Annual Research Report
  • [Presentation] 構造データからの頻出多ポート項木パターン枚挙アルゴリズム2015

    • Author(s)
      糸川 裕子, 内田 智之
    • Organizer
      2015人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2015-05-31
    • Related Report
      2015 Annual Research Report
  • [Presentation] VLDC木パターン集合を個体とする進化的手法による複合的木構造パターンの獲得2015

    • Author(s)
      中居 翔平, 宮原 哲浩, 鈴木 祐介, 久保山 哲二, 内田 智之
    • Organizer
      2015人工知能学会全国大会
    • Place of Presentation
      公立はこだて未来大学
    • Year and Date
      2015-05-30
    • Related Report
      2015 Annual Research Report
  • [Presentation] 効果的なネットワークインシデント検知のための半教師ありデータスクリーニング2015

    • Author(s)
      村井 光, 正代 隆義
    • Organizer
      火の国情報シンポジウム2015, 情報処理学会九州支部
    • Place of Presentation
      佐賀大学本庄キャンパス
    • Year and Date
      2015-03-05 – 2015-03-06
    • Related Report
      2014 Annual Research Report
  • [Presentation] グラフベースの半教師あり学習によるデータスクリーニングソフトウェア2015

    • Author(s)
      村井 光, 正代 隆義
    • Organizer
      Software in Mathematics Demonstration Track in Hakata Workshop 2015
    • Place of Presentation
      福岡市博多区
    • Year and Date
      2015-02-06
    • Related Report
      2014 Annual Research Report
  • [Presentation] 多項式時間学習可能な木幅定数グラフ言語の形式体系について2015

    • Author(s)
      正代 隆義, 内田 智之
    • Organizer
      2014年度冬のLAシンポジウム
    • Place of Presentation
      京都大学吉田キャンパス
    • Year and Date
      2015-01-28 – 2015-01-30
    • Related Report
      2014 Annual Research Report
  • [Presentation] 多項式時間PAC学習可能な木幅定数形式グラフ体系について2014

    • Author(s)
      正代 隆義
    • Organizer
      第19回情報・統計科学シンポジウム
    • Place of Presentation
      九州大学箱崎キャンパス
    • Year and Date
      2014-12-05
    • Related Report
      2014 Annual Research Report
  • [Presentation] Polynomial time learning of formal graph systems via queries2014

    • Author(s)
      Takayoshi Shoudai
    • Organizer
      ELC Workshop on Learning Theory and Complexity collocated with the 12th International Conference on Grammatical Inference (ICGI2014)
    • Place of Presentation
      京都大学吉田キャンパス
    • Year and Date
      2014-09-16
    • Related Report
      2014 Annual Research Report

URL: 

Published: 2014-04-04   Modified: 2018-03-22  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi