Budget Amount *help |
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2027: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2026: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2025: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2024: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
Fiscal Year 2023: ¥520,000 (Direct Cost: ¥400,000、Indirect Cost: ¥120,000)
|
Outline of Research at the Start |
本研究では, 矛盾許容性, 曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論を構築するとともにその応用を提案する. 本研究で対象とする拡張非古典論理は, 矛盾許容論理, ファジー論理, 確率論理, 時間論理, 記述論理などの非古典論理を組み合わせた拡張である. 本研究では, 研究代表者らが開発してきた「埋め込み定理を用いた証明手法」を基にして, 当該拡張非古典論理に対するカット除去定理, 完全性定理, 決定可能性定理, 補間定理などを統一的に扱うことが可能な基礎理論を構築する. さらに, 構築した基礎理論を用いた拡張推論技術への応用を提案する.
|