人間と協調的な対話を行う,知的な行為者の内部の計算モデルを提案する.このモデルでは,状況に関する行為者の
信念
をタイプを用いて表現する.対話相手の
信念
および意図は,状況意味論と同様に,生態学的実在論の立場から間接分類することで状況内の事実と同様に取り扱う.そして,自己の
信念
に関する
信念
を効率良く処理するために,「自己参照型知識表現構造」を用いる.この知識表現構造では,行為者は自分自身の
信念
を内省(観察)することができるので,自分自身の
信念
に関する
信念
はもはや明示的に表現しない.このことにより,自分の
信念
に関する
信念をも含めた信念
の管理が容易に行える.推論は,その時に分かっている状況に関する部分情報(
信念
)から推論できることを漸増的に推論していき,その過程でさまざまな意図を生成する.行為者は,このようにして生成された意図に基づいて行動することで,状況に即した適切な行動をとる.また,
信念
管理および漸増的推論によって,状況の変化に対して柔軟で効率の良い推論を行うことができる.最後に,この枠組みを用いて対話行為を遂行することが可能なことを示す.
抄録全体を表示