要是Alloy 与其在博弈建模中的应用。报告的前半部分简要介绍了一种基于一阶逻辑的自动化建模分析工具—— Alloy，包括Alloy 的历史背景与基本理论框架，语言与分析工具以及Alloy 在逻辑上的实例应用。报告的后半部分 主要介绍了博弈论的基本模型以及博弈论与逻辑学的关系，最后给出了完全信息静态博弈的 Alloy 实现算法。

发布时间：2014-01-15 17:09:15