基于四值逻辑进行冲突分析的状态定义

我们考察了一种用于冲突消解模型中状态设定的四值逻辑方法。冲突消解的决策模型，如博弈论与冲突消解图模型（GMCR），将状态描述假定为策略组合的结果或决策者选项选择的后果。然而，对于一个作为决策系统的框架，除非存在将无限世界中的信息加以放置任务的清晰定义，否则无法确保逻辑一致性，从而该功能可能是不可计算的。引入次协调四值逻辑可防止在信息不充分下的错误状态设定与分析，并为依据可用信息粗粒度程度改变分析分辨率的分析方法提供逻辑有效性。本研究提出了一种基于 Belnap 四值逻辑、带状态配置的 GMCR 稳定性分析。