论双主体博弈逻辑

双主体博弈逻辑是目前国际上博弈逻辑研究的重心。结合动态逻辑研究双主体博弈逻辑已经成为国际上双主体博弈逻辑研究的主要趋势。目前,国际学界对双主体零和博弈逻辑的形式系统进行了初步建构,并对双主体零和博弈逻辑模型检测的复杂性进行了探索,而对双主体非零和博弈逻辑的研究才刚刚开始。

基于双主体博弈的食品安全问题研究

食品安全问题是现阶段我国亟待解决的重大问题之一。笔者分析了完全信息条件下的消费者选择,构建了生产商和政府之间的完全信息静态博弈模型,并将生产商分化为小作坊生产商和企业生产商进行分析,提出了从健全法律体系、完善监管体制、建立信用档案、推行全程可追溯四个方面来加强我国食品安全监管的政策建议。

双主体零和博弈逻辑形式系统建构及模型检测研究

博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。