項書換え系多重完備化手続きにおける新たな半順序制約表現の導入
スポンサーリンク
概要
- 論文の詳細を見る
多重完備化手続きMKBは,複数の簡約順序を同時に取り扱える完備化手続きである.MKBが考慮する簡約順序をステータス付き再帰的経路順序とした手続きMKB_<rpos>では,複数の簡約順序を論理関数で表現することにより,効率の良い完備化手続きを実現している.本稿では,MKB_<rpos>の簡約順序の論理関数表現における関数記号上の半順序制約に新たな表現方式を用い,完備化手続きの実装及び性能評価を行った結果について報告する.
- 社団法人電子情報通信学会の論文
- 2006-07-28
著者
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
佐藤 晴彦
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学 情報科学研究科
-
佐藤 晴彦
北海道大学 情報科学研究科
-
KURIHARA Masahito
Faculty of Engineering, Hokkaido University
-
Kurihara Masahito
Hokkaido University
-
佐藤 晴彦
北海道大学
関連論文
- 4R-3 リンク構造を考慮したベクトル空間法によるWebグラフ分割の実験的解析(Webマイニング,学生セッション,データベースとメディア)
- 動的ファジィ制約充足における解の安定性維持
- ゴール群に基づく並列論理型言語の情報資源管理方式
- LISP上のGHC コンパイラ
- 郡市医師会におけるテレビ会議システム導入可能性の検討 : 北海道医師会をモデルとした費用効果の試算
- 2Q-5 Java PathFinderによるモデル検査におけるGUIの提案(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- マッピング手法の導入によるインタラクション・モデルの拡張
- セマンティック・ウェブ技術を応用したユーザ嗜好インタフェースの実現
- ベイジアンネットを利用した強化学習エージェントの方策改善(知識処理)(「インタラクション:理論,技術,応用,評価」)
- 1-105 強化学習エージェントの確率的知識を用いた方策改善法に関する研究