深さ優先ノンホーンマジックセット法の完全性証明 - 九大コレクション | 九州大学附属図書館

＜紀要論文＞
深さ優先ノンホーンマジックセット法の完全性証明

作成者	作成者名越村, 三幸 Koshimura, Miyuki コシムラ, ミユキ所属機関所属機関名九州大学大学院システム情報科学研究院知能システム学部門 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
発行日	2002-09-26
収録物名	九州大学大学院システム情報科学紀要
巻	7
号	2
開始ページ	111
終了ページ	118
出版タイプ	Version of Record
アクセス権	open access
JaLC DOI	https://doi.org/10.15017/1525456
関連DOI	https://portal.isee.kyushu-u.ac.jp/
関連URI	https://portal.isee.kyushu-u.ac.jp/
関連情報	https://portal.isee.kyushu-u.ac.jp/
概要	The non-Horn magic sets (NHM) have been presented in order to enhance forward reasoning provers by combining top-down and bottom-up provings. The NHM method is a natural extension of Horn magic sets a...nd is applicable to non-Horn clauses. There are two types of transformations to get non-Horn magic sets from the given clause sets: depth-first NHM and breadth-first NHM. We present a proof of completeness for depth-first NHM by giving a proof-tree transformation procedure.続きを見る

本文ファイル

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p111	pdf	765 KB	204

詳細

PISSN	1342-3819
EISSN	2188-0891
NCID	AN10569524
レコードID	1525456
査読有無	査読有
主題	深さ優先ノンホーンマジックセット法
	Depth-first NHM
	The non-Horn magic sets
	証明木変換手続き
	Proof-tree transformation
	モデル生成
	Model generation
登録日	2015.09.16
更新日	2020.10.13