Presentation 2015-01-26
An approach to Application of Inductive Logic Programming to Characterization of Reachable States
Dung Tuan HO, Min ZHANG, Kazuhiro OGATA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Lemma conjecture is one of the most intellectual activities in interactive theorem proving. Interactively theorem proving that a state machine enjoys some properties, we often need to conjecture lemmas. We have recognized that the characterization of a state machine's reachable states is useful for conjecturing such lemmas. Then, we describe an approach to application of inductive logic programming, a logic-based machine learning technique, to characterization of state machines' reachable states.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) lemma conjecture / interactive theorem proving / machine learning / inductive logic programming
Paper # MSS2014-79,SS2014-43
Date of Issue

Conference Information
Committee MSS
Conference Date 2015/1/19(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Mathematical Systems Science and its applications(MSS)
Language ENG
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) An approach to Application of Inductive Logic Programming to Characterization of Reachable States
Sub Title (in English)
Keyword(1) lemma conjecture
Keyword(2) interactive theorem proving
Keyword(3) machine learning
Keyword(4) inductive logic programming
1st Author's Name Dung Tuan HO
1st Author's Affiliation Japan Advanced Institute of Science and Technology, JAIST()
2nd Author's Name Min ZHANG
2nd Author's Affiliation East China Normal University, ECNU
3rd Author's Name Kazuhiro OGATA
3rd Author's Affiliation Japan Advanced Institute of Science and Technology, JAIST
Date 2015-01-26
Paper # MSS2014-79,SS2014-43
Volume (vol) vol.114
Number (no) 415
Page pp.pp.-
#Pages 6
Date of Issue