ファジー形式文脈における可能性論的推論のための様相論理

本論文は、ファジー形式文脈内での可能性論的推論のために設計された新しい様相論理を紹介しています。形式概念分析（FCA）を拡張し、ファジー集合と可能性理論を組み込むことで、知識表現と推論に対するより微妙なアプローチを提供しています。公理化と完全性の結果は重要な貢献であり、FCAの概念をファジー文脈に一般化することは重要な進歩です。マルチリレーショナルファジー文脈を処理できることは、論理の適用性をさらに高めます。

• •可能性論的推論のための2種類の重み付き様相論理を導入。
• •論理は、可能性理論に基づくファジー形式文脈で解釈されます。
• •必要性と十分性のフラグメントに対して、健全な公理化と完全性の結果を提供します。
• •形式概念分析（FCA）の概念をファジー文脈に一般化します。
• •マルチリレーショナルファジー文脈を処理するように論理を拡張します。