arXiv cs.AI

非モノトニックS4Fスタンドポイント論理

Non-Monotonic S4F Standpoint Logic

http://arxiv.org/abs/2511.10449v1


スタンドポイント論理は、複数の異なる視点を表現するための統一的なモーダル論理形式を提供します。本論文では、モーダル論理S4Fを用いた非モノトニック推論フレームワークを提案します。新たに提案されるS4Fスタンドポイント論理は、S4Fとスタンドポイント命題論理を一般化し、複数の視点からの非モノトニック意味的コミットメントを表現できる能力を持ちます。これにより、その文法と意味論を定義し、計算の複雑性を分析しました。その結果、S4Fスタンドポイント論理は構成要素の論理と比較して、計算的に難しくないことが判明しました。また、信じやすい受け入れと懐疑的受け入れのメカニズムを概説し、具体的な例でフレームワークを説明しています。