论文标题
使用四值逻辑进行冲突分析的状态定义
State Definition for Conflict Analysis with Four-valued Logic
论文作者
论文摘要
我们在冲突解决模型中检查了针对状态设置的四个值逻辑方法。解决冲突的决策模型，例如解决冲突解决方案的游戏理论和图形模型（GMCR），假设对状态的描述是策略组合或决策者选择选择的结果。但是，要使框架充当决策系统，除非对存在无限世界的任务的明确定义，否则无法确保逻辑一致性，因此，该函数可能是无法计算的。引入paracensent的四值逻辑可以防止不正确的信息设置和分析，并为分析方法提供逻辑有效性，这些分析方法会根据可用信息的粗略程度而改变分析分辨率。这项研究提出了基于Belnap的四值逻辑的状态配置的GMCR稳定性分析。
We examined a four-valued logic method for state settings in conflict resolution models. Decision-making models of conflict resolution, such as game theory and graph model for conflict resolution (GMCR), assume the description of a state to be the outcome of a combination of strategies or the consequence of option selection by the decision-makers. However, for a framework to function as a decision-making system, unless a clear definition of the task of placing information out of an infinite world exists, logical consistency cannot be ensured, and thus, the function may be incomputable. The introduction of paraconsistent four-valued logic can prevent incorrect state setting and analysis with insufficient information and provide logical validity to analytical methods that vary the analysis resolution depending on the degree of coarseness of the available information. This study proposes a GMCR stability analysis with state configuration based on Belnap's four-valued logic.
