前向き推論型プロダクションシステムにおける非単調推論機構の実現

新谷　虎松 

誌名
電子情報通信学会論文誌 D  Vol.J75-D2  No.2  pp.361-370
発行日: 1992/02/20
Online ISSN: 
Print ISSN: 0915-1923
論文種別: 論文
専門分野: 人工知能，認知科学
キーワード: 
前向き推論,  プロダクションシステム,  非単調推論,  矛盾,  注視点制御, 

本文: PDF(709.1KB)

あらまし: 
OPS5を代表とする前向き推論型プロダクションシステム（PS）では，多くの実用的アプリケーションとルールプログラミング技法が蓄積されている．PSでの推論は単調に行われる．一方，デフォルトな知識を用いた推論では，過去に行われた推論や問題解決の一部分を変更するための非単調推論のメカニズムが必要とされる．本論文では，PSの推論方式に適した非単調推論の実現法について論じる．本研究は，論理的な推論システムの実現よりも，むしろ，PSにおける矛盾解消機能の実現を主眼とする．本アプローチにおいて矛盾は，矛盾を帰結するルールが起動されることにより生じる．矛盾の解消過程では，矛盾解消のための特別な推論である矛盾解消推論が実行される．矛盾解消推論は，矛盾の原因となるデフォルトを修正し，不都合な推論を取り消す．本方式は，プロダクションシステムにおける注視点制御に関連して，ワーキングメモリの部分的な一貫性を保持する．PSにおける非単調推論機構の実現は，ルールプログラミングの応用範囲を広げ，アプリケーションプログラムを柔軟に構築することを可能にする．本研究では，既存PSのアーキテクチャを大幅に変更することなしに，PSの推論方式に適した非単調推論機構を実現した．