本项目研究计算机辅助教学中的人工智能、专家系统和自动推理,以便研制既能自动推理又能交互式推理,能动态提示,自动审查学生证明步骤和自动批改作业软件系统。为达此目的我们必须有两种模型,一是自动推理模型,二是交互式推理模型,二者必须结合起来。为实现这两种模型,我们研究了算法。经过两年的实践,我们提出不使用SKOlem函数且能处理任何逻辑公式的合一算法。该算法已在计算机上实现,用该系统发现了Turing 机停机问题的机器证明和Andrews'挑战问题的机器证明。该结果发表在AAR Newsletter27 AAR协会主席Wos在该期前言中指出,本文是该期文章中最好的一篇。为解决搜索问题我们提出几个启发式搜索技术。
{{i.achievement_title}}
数据更新时间:2023-05-31
结直肠癌免疫治疗的多模态影像及分子影像评估
智能煤矿建设路线与工程实践
WMTL-代数中的蕴涵滤子及其应用
GF-4序列图像的云自动检测
区块链技术:从数据智能到知识自动化
超协调逻辑及其在人工智能中的应用
集成化学习系统及其在人工智能中的应用
人工智能方法在冶金物化研究与冶金工程中的应用
性质论及其在思维科学和人工智能技术中的应用