仮説の選択が可能なATMS

概要

論文の詳細を見る
非単調な推論を可能とする一般的な推論の枠組みとして、TMSやATMSが提案されている。TMSは、常に1つの環境(仮説の集合)に沿って推論を行い、矛盾が発見されると、バックトラックして、別の環境に沿った推論を再開する。したがって、1つの解を求める場合には効率が良いが、いくつかの可能性(環境で表現される)の中から最適な解を選択することは、そのままでは困難である。一方ATMSは、複数の環境を同時に管理し、それぞれの環境に沿った推論を並行して進める。したがって、全ての解を求める必要がある場合には効果的だが、1つの解だけに興味がある場合や、多数の解のうち、いくつかの解が非常に大きな計算を必要とする場合には、非常に効率が悪くなる。本論文では、ATMSに仮説の中断、復活機能を追加し、推論を並行して行う環境を、ユーザまたは問題解決機構が制御することを可能にした、SATMS(Selective Assumption based TMS)について報告する。
一般社団法人情報処理学会の論文
1988-09-12