優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き

横山, 壱星; 栗原, 正仁

優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き

横山, 壱星; 栗原, 正仁

人工知能学会論文誌, 2004, 19(6), 472-482

Permalink : https://hdl.handle.net/2115/14561

このアイテムのアクセス数:1,661件（2026-03-14 08:08 集計）

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
yokoyama2004jsai-final	pdf	224 KB	1,047

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/14561
タイトル	優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
タイトル	Completion for Multiple Path Orderings Based on Precedence and Binary Decision Diagrams
著者	著者名横山, 壱星 Yokoyama, Issei
著者	e-Rad_Researcher 50133707 著者名栗原, 正仁 Kurihara, Masahito
言語	日本語
キーワード	term rewriting system
	completion
	precedence
	path ordering
	binary decision diagram
発行日	2004
出版者	人工知能学会
収録物名	人工知能学会論文誌
巻(号)	19(6)
ページ	472-482
抄録	In this paper, we propose a completion procedure (called MKBpo) for term rewriting systems. Based on the existing procedure MKB which works with multiple reduction orderings and the ATMS nodes, the MKBpo improves its performance by restricting the class of reduction orderings to precedence-based path orderings, representing them by logical functions in which a logical variable xfg represents the precedence f ≻ g. By using BDD (binary decision diagrams) as a representation of logical functions, the procedure can be implemented efficiently. This makes it possible to save the number of quasi-parallel processes effectively and suppress the rapid increase in the amount of computation time asymptotically.
資源タイプ	学術雑誌論文
出版タイプ	Accepted Manuscript
PISSN	1346-0714
EISSN	1346-8030
関連情報 (isVersionOf)	出版社版DOI https://doi.org/10.1527/tjsai.19.472