• 经济领域中的博弈逻辑推理问题探析

    经济领域中的博弈逻辑推理问题探析

    论文摘要博弈论是知识经济时代的新兴学科,也是现在决策科学中最重要的一支,博弈逻辑的产生是随着博弈论的发展而产生的。博弈逻辑主要讨论了具有理性思维的博弈主体在决策时所做的一系列的...
  • 博弈逻辑中的推理问题研究

    博弈逻辑中的推理问题研究

    论文摘要博弈逻辑是逻辑学研究领域的一个新方向,属于应用逻辑范畴。博弈逻辑的研究重心在于博弈行为中的推理问题。社会生活中,人与人之间的交往、以及交往过程中的互动行为,均可以看成是...
  • 电子商务协议形式化方法及模型检测技术的研究与应用

    电子商务协议形式化方法及模型检测技术的研究与应用

    论文摘要电子商务协议形式化分析是电子商务研究的一个重要方面,电子商务协议是面向电子商务的密码协议,安全的电子商务协议是保证电子商务活动正常开展的基础,其基本属性包括安全性、保密...