並列論理型核言語に基づく知識べースマシン (<特集>「AIマシン」)
スポンサーリンク
概要
- 論文の詳細を見る
知識は変数を含む論理構造体である項(term)で表現されたものとする.知識ベースマシンの1つのモデルとして,項ベースマシンを研究・開発している.この項ベースマシンは,並列論理型核言語に基づいた,並列推論機構および項ベースの蓄積・検索機構から構成される.ここでは,並列論理型核言語処理系がもつデータストリーム制御・並列制御機能を活かし,全解収集機能を補強した項ベースの単一化検索機構に重点を置いて述べる.
- 社団法人人工知能学会の論文
- 1987-12-01
著者
関連論文
- 関係データベース処理エンジンのソータの試作と評価
- 知識ベースシステムのための知識コンパイルについての考察
- 大規模知識ベースマシン実験機の開発(4) : 単一化エンジンの評価
- 演繹データベースにおける制約付最小不動点
- 可変長レコード用関係データベース処理エンジンの試作とソート処理性能の評価
- ホーン節変換 : 演繹データベースにおける部分評価の応用
- 並列論理型核言語に基づく知識べースマシン (「AIマシン」)
- マルチポートページメモリを用いた知識ベースマシンの並列制御方式と処理性能
- 知識ベースにおける部分評価
- スーパーインポーズドコードを用いた構造体の検索方式
- 大規模知識ベースマシン実験機の開発(3) : 単一化エンジンの構成方式について
- 大規模知識ベースマシン実験機の開発(1) : 開発の背景と方針
- ロジックプログラミングパラダイムにおける知識ベースシステム (「第五世代コンピュータ」)
- 知識ベースマシンMu-X(5) : 知識ベース演算エンジン
- 知識ベースマシンMu-X(1) : 並列制御方式
- 大規模知識ベースマシン実験機の開発(2) : ハードウェアシミュレータ
- 知識ベ-スシステム (知的情報処理) -- (知的情報処理技術)