● 摘要
极大协调子集问题是信念修正和形式理论修正研究的核心问题之一. 本文提出了一个求解极大协调子集问题的形式演绎系统，构建了一套完整而系统的求解极大协调子集问题的理论，并设计了一个利用这个演绎系统求解极大协调子集问题的配置式极大修正算法. 本文通过三个典型的问题实例详细展示了如何运用配置式极大修正算法求解具体的极大协调子集问题.
相关内容
相关标签
