文献

J-GLOBAL ID：201702226994507046   整理番号：17A0241715

書き換え誘導を用いた帰納的定理の発見【Powered by NICT】

Discovering inductive theorems using rewriting induction

著者 (2件)： Sato Haruhiko (Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN) ,  Kurihara Masahito (Graduate School of Information Science and Technology, Hokkaido University, Sapporo, JAPAN)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： SMC  ページ： 000989-000993  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 理論探査は定理証明の自動化に重要な役割を果たしている補題生成法として研究した。探鉱における証明可能な定理の範囲を拡大するために,本論文では,帰納的定理の探査における書き換え帰納法を適用する手法を提案した。特に,書き換え帰納における証明探索のための幾つかの発見的方法を提案した。二例を用いた実験では,提案した発見的方法は証明探索における成功の数を犠牲にすることなく効率を改善した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 鉱床探査 ,  定理証明 ,  自動化 ,  *帰納推論 ,  発見的方法
準シソーラス用語： 帰納法 ,  補題 , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H)

タイトルに関連する用語 (4件)： 書き換え ,  誘導 ,  定理 ,  発見