石青云 缪淮扣 刘瑛睿 金涛 李迎豪 朱梧槚 王宗亮 宫宁生 陈勇浩 张东摩 吴茂康

中介逻辑 吴方法 立体视觉 表推演方法 完备性 数学归纳法 一阶谓词 归纳法推理 连接法 子句集的划分 并行算法 矩阵 任意矩阵 中介模态逻辑 判定法 简化规则 人工智能 有效性 表推演