用于辅助评判数学题答题质量的方法及装置制造方法及图纸

本申请提供了一种用于辅助自动评判数学题答题质量的方法及装置，其中，所述方法包括：基于电子识别出的待识别对象，获取待识别对象的一阶谓词逻辑，其中待识别对象包括：题干和学生答案；基于题干的一阶谓词逻辑及已知的数学知识生成与所述题干相关的知识库；判断所述学生答案的一阶谓词逻辑是否在所述知识库中，以及是否符合所述知识库的逻辑；若在所述知识库中且符合所述知识库的逻辑，则确定所述学生答案正确；若不在所述知识库中，则判断基于符号运算是否能推导出所述学生答案的一阶谓词逻辑；若基于符号运算能够推导出所述学生答案的一阶谓词逻辑，则确定所述学生答案正确。本申请实现了对数学题辅助自动评判，有效提高评判效率，节省人员成本。

【技术实现步骤摘要】

本申请涉及计算机领域，尤其涉及一种用于辅助评判数学题答题质量的方法及装 置。
技术介绍
传统的数学题答题质量的评判操作都是由人工来完成。人工评判答题质量的缺点 在于：评判操作需要具备相关知识的人员来完成，也就是对评判操作者要求较高；另外，人 工评判操作效率较低。 为解决上述问题，目前已经出现了自动评判技术，但该自动评判技术一般只针对 客观题，例如，选择题，而无法实现对主观题的自动评判。 因此，需要研发一种针对数学主观题的辅助自动评判方案，以解决已有的人工评 判的效率低及人员要求高等缺点。
技术实现思路
本申请解决的技术问题之一是提供一种用于辅助自动评判数学题答题质量的方 法及装置，能实现评判数学题答题质量的自动化，提高评判效率。 根据本申请一方面的一个实施例，提供了一种用于辅助自动评判数学题答题质量 的方法，包括： 基于电子识别出的待识别对象，获取待识别对象的一阶谓词逻辑，其中待识别对 象包括：题干和学生答案； 基于题干的一阶谓词逻辑及已知的数学知识生成与所述题干相关的知识库； 判断所述学生答案的一阶谓词逻辑是否在所述知识库中，以及是否符合所述知识 库的逻辑； 若在所述知识库中且符合所述知识库的逻辑，则确定所述学生答案正确； 若不在所述知识库中，则判断基于符号运算是否能推导出所述学生答案的一阶谓 词逻辑； 若基于符号运算能够推导出所述学生答案的一阶谓词逻辑，则确定所述学生答案 正确。 根据本申请另一方面的一个实施例，提供了一种用于辅助自动评判数学题答题质 量的装置，包括： 获取单元，用于基于电子识别出的待识别对象，获取待识别对象的一阶谓词逻辑， 其中待识别对象包括：题干和学生答案； 知识库生成单元，用于基于题干的一阶谓词逻辑及已知的数学知识生成与所述题 干相关的知识库； 辅助自动评判单元，用于判断所述学生答案的一阶谓词逻辑是否在所述知识库 中，以及是否符合所述知识库的逻辑； 若在所述知识库中且符合所述知识库的逻辑，则确定所述学生答案正确； 若不在所述知识库中，则判断基于符号运算是否能推导出所述学生答案的一阶谓 词逻辑； 若基于符号运算能够推导出所述学生答案的一阶谓词逻辑，则确定所述学生答案 正确。 本申请实施例可以将形式多样的待识别对象转换为统一的、可识别的一阶谓词逻 辑，因此，本申请实施例在辅助自动评判时对待识别对象输入形式要求较低，用户接受度 高，使得适用范围更广。另外，本申请实施例通过将题干知识与已知的数学知识结合生成用 于评判答题质量的知识库，实现了对数学题答题质量的辅助自动评判，有效提高评判效率， 节省人员成本。 本领域普通技术人员将了解，虽然下面的详细说明将参考图示实施例、附图进行， 但本申请并不仅限于这些实施例。而是，本申请的范围是广泛的，且意在仅通过后附的权利 要求限定本申请的范围。【附图说明】 通过阅读参照以下附图所作的对非限制性实施例所作的详细描述，本申请的其它 特征、目的和优点将会变得更明显： 图1是根据本申请一个实施例的用于辅助评判数学题答题质量的方法的流程图。 图2是根据本申请一个实施例的题干对应的附图。 图3是根据本申请一个实施例的用于辅助评判数学题答题质量的装置结构示意 图。 图4是根据本申请又一个实施例的用于辅助评判数学题答题质量的装置结构示 意图。 本领域普通技术人员将了解，虽然下面的详细说明将参考图示实施例、附图进行， 但本申请并不仅限于这些实施例。而是，本申请的范围是广泛的，且意在仅通过后附的权利 要求限定本申请的范围。【具体实施方式】 在更加详细地讨论示例性实施例之前应当提到的是，一些示例性实施例被描述成 作为流程图描绘的处理或方法。虽然流程图将各项操作描述成顺序的处理，但是其中的许 多操作可以被并行地、并发地或者同时实施。此外，各项操作的顺序可以被重新安排。当其 操作完成时所述处理可以被终止，但是还可以具有未包括在附图中的附加步骤。所述处理 可以对应于方法、函数、规程、子例程、子程序等等。 所述计算机设备包括用户设备与网络设备。其中，所述用户设备包括但不限于电 脑、智能手机、PDA等；所述网络设备包括但不限于单个网络服务器、多个网络服务器组成 的服务器组或基于云计算（Cloud Computing)的由大量计算机或网络服务器构成的云，其 中，云计算是分布式计算的一种，由一群松散耦合的计算机集组成的一个超级虚拟计算机。 其中，所述计算机设备可单独运行来实现本申请，也可接入网络并通过与网络中的其他计 算机设备的交互操作来实现本申请。其中，所述计算机设备所处的网络包括但不限于互联 网、广域网、城域网、局域网、VPN网络等。 需要说明的是，所述用户设备、网络设备和网络等仅为举例，其他现有的或今后可 能出现的计算机设备或网络如可适用于本申请，也应包含在本申请保护范围以内，并以引 用方式包含于此。 后面所讨论的方法（其中一些通过流程图示出）可以通过硬件、软件、固件、中间 件、微代码、硬件描述语言或者其任意组合来实施。当用软件、固件、中间件或微代码来实施 时，用以实施必要任务的程序代码或代码段可以被存储在机器或计算机可读介质（比如存 储介质）中。（一个或多个）处理器可以实施必要的任务。 这里所公开的具体结构和功能细节仅仅是代表性的，并且是用于描述本申请的示 例性实施例的目的。但是本申请可以通过许多替换形式来具体实现，并且不应当被解释成 仅仅受限于这里所阐述的实施例。 应当理解的是，虽然在这里可能使用了术语"第一"、"第二"等等来描述各个单元， 但是这些单元不应当受这些术语限制。使用这些术语仅仅是为了将一个单元与另一个单元 进行区分。举例来说，在不背离示例性实施例的范围的情况下，第一单元可以被称为第二单 元，并且类似地第二单元可以被称为第一单元。这里所使用的术语"和/或"包括其中一个 或更多所列出的相关联项目的任意和所有组合。 应当理解的是，当一个单元被称为"连接"或"耦合"到另一单元时，其可以直接 连接或耦合到所述另一单元，或者可以存在中间单元。与此相对，当一个单元被称为"直接 连接"或"直接耦合"到另一单元时，则不存在中间单元。应当按照类似的方式来解释被用 于描述单元之间的关系的其他词语（例如"处于...之间"相比于"直接处于...之间"， "与...邻近"相比于"与...直接邻近"等等）。 这里所使用的术语仅仅是为了描述具体实施例而不意图限制示例性实施例。除非 上下文明确地另有所指，否则这里所使用的单数形式"一个"、"一项"还意图包括复数。还 应当当前第1页1 2 3 4 本文档来自技高网...

【技术保护点】
一种用于辅助自动评判数学题答题质量的方法，其特征在于，包括：基于电子识别出的待识别对象，获取待识别对象的一阶谓词逻辑，其中待识别对象包括：题干和学生答案；基于题干的一阶谓词逻辑及已知的数学知识生成与所述题干相关的知识库；判断所述学生答案的一阶谓词逻辑是否在所述知识库中，以及是否符合所述知识库的逻辑；若在所述知识库中且符合所述知识库的逻辑，则确定所述学生答案正确；若不在所述知识库中，则判断基于符号运算是否能推导出所述学生答案的一阶谓词逻辑；若基于符号运算能够推导出所述学生答案的一阶谓词逻辑，则确定所述学生答案正确。

【技术特征摘要】

【专利技术属性】
技术研发人员：林辉，
申请(专利权)人：成都准星云学科技有限公司，
类型：发明
国别省市：四川;51