ルールの変換による類推と単一化
スポンサーリンク
概要
- 論文の詳細を見る
論理型プログラムの枠組みの中で,類推機構を実現するための新たな形式化と推論方法を与える.ここで考える類推のための基本概念は,確定節の集合が定める最小モデル間の部分的な同一性を与える写像φ,及びその部分同一性のための条件EPICである.類推のための基本操作は,そのφに基づくルールの変換である.実際に類推システムに与えられるものは,類推の対象を記述した確定節集合である.従って,部分同一φを求めて推論を行う必要があるが,これは等式の集合の解を単一化により求めることによって実現できることを示す.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- F-055 Contrasting Correlations Based on Double-Clique Search
- 6ZK-9 2次形式最小化に基づく動的順序付けを用いた形式概念探索(情報爆発時代におけるストリームデータと実世界情報処理,学生セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- ルールの変換による類推と単一化