一种 可接受性 理论 编程 主要的 计算机 强有力的 核心概念 编译器 正确性 方法 接受性 形式 解释器 问题 博弈论 有力的 论据 特殊的 理论的 逻辑 机制 编程的 人工智能 系统的 研究 使用的 逻辑结构 论证