信念修正

研究者基于AGM信念修正框架，首次提出一种能够容纳矛盾解释假设而不导致逻辑崩溃的体化扩张操作，为人工智能中的非单调推理提供了新的形式化工具。