この情報を出力する

このページのリンク

引用にはこちらのURLをご利用ください

他の検索サイト

利用統計

  • このページへのアクセス：1,759回

＜紀要論文＞
一般化補題を利用したモデル生成法

作成者
作成者名
清水, 純一
Shimizu, Junichi
シミズ, ジュンイチ
所属機関
所属機関名
九州大学大学院システム情報科学府知能システム学専攻 : 修士課程
Department of Intelligent Systems, Graduate School of Information Science and Electrical Engineering, Kyushu University : Master's Program
作成者名
越村, 三幸
Koshimura, Miyuki
コシムラ, ミユキ
所属機関
所属機関名
九州大学大学院システム情報科学研究院知能システム学部門
Department of Intelligent Systems, Faculty of Information Science and Electrical Engineering, Kyushu University
作成者名
藤田, 博
Fujita, Hiroshi
フジタ, ヒロシ
所属機関
所属機関名
九州大学大学院システム情報科学研究院知能システム学部門
Department of Intelligent Systems, Faculty of Information Science and Electrical Engineering, Kyushu University
作成者名
長谷川, 隆三
Hasegawa, Ryuzo
ハセガワ, リュウゾウ
所属機関
所属機関名
九州大学大学院システム情報科学研究院知能システム学部門
Department of Intelligent Systems, Faculty of Information Science and Electrical Engineering, Kyushu University
本文言語
日本語
出版者
九州大学大学院システム情報科学研究院
Faculty of Information Science and Electrical Engineering, Kyushu University
発行日
2003-03-26
収録物名
九州大学大学院システム情報科学紀要
巻
8
号
1
開始ページ
55
終了ページ
59
出版タイプ
Version of Record
アクセス権
open access
JaLC DOI
https://doi.org/10.15017/1515818
関連DOI
https://portal.isee.kyushu-u.ac.jp/
関連URI
https://portal.isee.kyushu-u.ac.jp/
関連情報
https://portal.isee.kyushu-u.ac.jp/
概要 We can prune unnecessary search spaces using lemmas. In order to enhance the pruning ability of lemmas, we introduce a method to generalize them. There may be many cases to which generalized lemma can... be applied but non-generalized one can not. Then we propose a method that can reduce the generation of lemmas using lemma subsumption. We evaluated effects of the method by proving some typical problem.続きを見る

本文ファイル

pdf p055 pdf 451 KB 149  

詳細

PISSN
1342-3819
EISSN
2188-0891
NCID
AN10569524
レコードID
1515818
査読有無
査読有
主題
モデル生成
Model generation
定理証明木
Theorem prover
補題
Lemma
一般化補題
Unit generalized lemma
補題の包摂検査
Lemma subsumption
登録日 2015.05.29
更新日 2020.11.17

この資料を見た人はこんな資料も見ています