semantic error checking 语意错误检查 ; 语义错误检验
This thesis analysizes mathematicalknowledgesemanticchecking,mainlyincludingknowledge redundancy and knowledge inconsistency, and presents elaborate algorithms and data structures for mathematical knowledge semantic checking.
分析了数学知识的语义错误现象,主要包括知识的冗余性错误和不一致性错误。 给出了详细的语义检查算法以及数据结构。
参考来源 - 数学知识获取研究和知识管理平台的实现·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐