並列論理型核言語に基づく知識べースマシン (<特集>「AIマシン」)

伊藤 英則

doi:10.11517/jjsai.2.4_472

抄録

知識は変数を含む論理構造体である項(term)で表現されたものとする.知識ベースマシンの1つのモデルとして,項ベースマシンを研究・開発している.この項ベースマシンは,並列論理型核言語に基づいた,並列推論機構および項ベースの蓄積・検索機構から構成される.ここでは,並列論理型核言語処理系がもつデータストリーム制御・並列制御機能を活かし,全解収集機能を補強した項ベースの単一化検索機構に重点を置いて述べる.

著者関連情報

お気に入り & アラート

閲覧履歴

発行機関からのお知らせ

PDF閲覧時に認証を求められる記事がございます（発行後2年間）が，人工知能学会の個人会員は無料で閲覧可能です．認証のための購読者番号やパスワードは会員マイページ（ユース会員の場合はジュニア・ユース会員サイト）にログインし「お知らせ」にてご確認下さい（会員情報管理システムとオンラインで連携していないため，パスワードは同システムとは異なります．また，認証情報の更新は偶数月の月末に実施しております．新規入会された方は利用できるまでしばらくお待ちください）．個人会員以外は記事複製申込フォームから購入いただけます．また，アマゾンにて冊子版あるいはKindle版を購入いただくことも可能です．

責任著者(Corresponding author)

J-STAGEへの登録はこちら（無料）