Jul, 2022

四值逻辑下的冲突分析状态定义

TL;DR本研究使用 Belnap 的四值逻辑对冲突解决模型进行 GMCR 稳定性分析,防止了因信息不足引起的状态设定不正确,并提供了逻辑有效性和分析分辨率的方案。