命題論理KLMスタイルに基づく、デフォルトの立場論理に向けて

本稿では、異なる立場からの矛盾する可能性のある信念を単一の論理フレームワークで表現するため、デフォルト論理の一種である命題論理KLMに立場論理を統合し、合理閉包に基づく非単調的推論を提案する。