印鉴 何维 石纯一 吕帅 曾云峰 孙吉贵 李莹 李传中 吴瑕 朱兴军 王晓京 汤庸 曹子宁 朱梧槚 刘全 陈光喜

计算机辅助教学 命题逻辑 符号逻辑 Tableau 物理智能教育软件 自动检测与修正 检索模型 TableauTAP系统 复制 程序规范 自动演绎 归结 基于事例的推理 开放逻辑 可满足性问题 Agent 变异 Lisp语言 启发式策略 扩展规则