朱水林 李蒙 李春泰 张大松

演绎逻辑 计算机模型 贝叶斯主义 商务智能 哲学 休谟问题 可能世界 证据选择 理论确证 全能程序 认知逻辑 可能世界语义学 猜测 测度函数 概率 科学发现 公理化系统 人工智能 必然性 统计学 证据确认