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 |