基于一阶逻辑的知识表示与自动提取

摘要

随着信息技术的发展，智慧教育和人工智能技术成为广泛关注的热点。传统教育受限于对于教师的依赖，学生离开老师的辅导之后无法提高学习效率，虽然现在的在线辅导系统能在一定程度上辅助学生完成自我测评任务，但是系统不能对学生在应用题中的答题给出个性化的辅导，导致了学生对学习中出现的问题不能及时的发现和纠正。因此，本文通过对在线辅导系统进行研究，解决教育领域的知识表示问题，同时能够对于文本结构的知识形式进行自动的获取和处理，并以此为基于构建一个适用于初等数学应用题的自动评测系统，为人工智能在智慧教育中的应用提供了一个新的思路。主要的研究内容如下：
　　1、初等数学知识表示。本文基于初等数学题库中知识的呈现形式，提出了一种一阶逻辑的知识表示方法，该方法结合面向对象技术，能够表示平面几何和初等代数知识，约束规则库与概念知识的分离，使得知识库的扩展和知识推理更加方便，同时有效的解决传统一阶谓词逻辑表示方法中对于高阶知识无法表示的问题。
　　2、文本知识分类和获取。本文提出一个以谓词为基础的文本知识获取的流程。该流程中主要包括对文本数据的预处理，其中包括中文分词、句子边界确定和异常数据处理，构建初等数学句模库，并使用句模库对句子的语义进行归处理，如何提取文本知识中的特征，怎样构建基于条件概率的决策树算法，并且用实验证明算法的有效性。整个算法流程能够对文本形式的自然语言进行处理，并且将文本数据信息提取为本文定义的知识表示形式。
　　3、根据本文提出的知识表示方法和文本知识处理算法，构建初等数学自动评测系统。该系统能够对学生做题数据进行挖掘分析，能够获取解题过程中的知识信息，并与答案中的标准知识列表进行匹配，以此分析学生在解题过程中错误类型，系统将解答中的错误展示学生，帮助学生提高学习效率。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1 研究背景与意义

1.2 研究现状

1.3 研究内容

1.4 论文组织结构

第二章 相关理论与技术

2.1 知识表示

2.2 面向对象技术

2.3 自然语言处理

2.4 文本分类

2.5 相关工具与技术

2.6 本章小结

第三章 一阶逻辑的知识表示方法的研究

3.1 一阶逻辑知识表示分析

3.2 一阶逻辑的面向对象知识表示方法

3.3 一阶逻辑的面向对象知识表示在初等数学中的应用

3.4 本章小结

第四章 一阶逻辑的知识提取算法研究与设计

4.1 文本信息预处理

4.2 谓词配价理论的句子语义处理

4.3 一阶逻辑的文本知识分类算法

4.4 本章小结

第五章 基于一阶逻辑知识表示在自动测评系统中的应用

5.1 基于一阶逻辑的自动评测系统总体结构

5.2 数据库结构设计

5.3 系统的设计与实现

5.4系统展示与测试分析

5.5 本章小结

第六章 总结与展望

6.1 总结

6.2 展望

致谢

参考文献

攻硕期间取得的研究成果