[发明专利]文档的错误推断处理程序、处理装置和处理方法

权利要求书

1.一种文档的错误推断处理装置，该文档的错误推断处理装置具有：

文档数据存储部，其存储：分类模式，其将项目元素定义为带标记 的结构化语言；实例文档，其包含上下文，该上下文在所述分类模式所 定义的项目元素中存储了输入值；显示链接库，其包含所述实例文档的 项目元素彼此在显示处理上的层次结构；和计算链接库，其包含所述实 例文档的项目元素彼此在运算处理上的参考关系和层次结构；

不匹配检测处理单元，其根据所述计算链接库的层次结构计算所述 实例文档的项目元素的输入值，对计算值和所述实例文档的输入值进行 比较，检测所述计算值和所述输入值之间的不匹配，所述实例文档的所 述输入值与所述计算值的项目元素对应；以及

错误推断处理单元，其确定设定有检测出所述不匹配的计算值的项 目元素的、所述计算链接库的计算树结构，确定设定有检测出所述不匹 配的输入值的项目元素的、所述显示链接库的显示树结构，对分别设定 于所述计算树结构和所述显示树结构的项目元素彼此进行比较，在存在 仅设定于所述计算树结构和所述显示树结构的一方、且具有与所述输入 值和所述计算值之差的绝对值一致的输入值的项目元素的情况下，将该 项目元素的过剩与不足推断为所述不匹配的错误。

2.根据权利要求1所述的文档的错误推断处理装置，其中，

在所述错误推断处理单元中，在所述计算树结构中不存在设定于所 述显示树结构的项目元素、且从所述输入值减去所述计算值后得到的差 与所述实例文档的项目元素中不存在于所述计算树结构的项目元素的输 入值一致的情况下，推断为所述计算链接库的元素不足的错误。

3.根据权利要求1所述的文档的错误推断处理装置，其中，

在所述错误推断处理单元中，在所述显示树结构中不存在设定于所述 计算树结构的项目元素、且从所述输入值减去所述计算值后得到的差与将 所述实例文档的项目元素中不存在于所述显示树结构的项目元素的输入值 的符号取反的值一致的情况下，推断为所述计算链接库的元素过剩的错误。

4.根据权利要求1所述的文档的错误推断处理装置，其中，

在所述错误推断处理单元中，在所述实例文档中包含应该由同一项目 元素组构成的两个以上的上下文的情况下，当作为设定于所述计算树结构 的项目元素，在第1上下文中设定有该项目元素即具有与从所述输入值减 去所述计算值后得到的差一致的输入值的项目元素、且在第2上下文中未 设定该项目元素即具有数值与从所述输入值减去所述计算值后得到的差相 同而符号相反的输入值的项目元素时，推断为该项目元素的上下文的错误。

5.根据权利要求1所述的文档的错误推断处理装置，其中，

该文档的错误推断处理装置还包括错误推断结果输出处理单元，该 错误推断结果输出处理单元作为所述错误推断处理单元的错误推断结 果，输出与推断为错误的项目元素有关的信息。

6.一种文档的错误推断处理方法，该文档的错误推断处理方法用于具有 文档数据存储部的计算机，该文档数据存储部存储：分类模式，其将项目元 素定义为带标记的结构化语言；实例文档，其包含上下文，该上下文在所述 分类模式所定义的项目元素中存储了输入值；显示链接库，其包含所述实例 文档的项目元素彼此在显示处理上的层次结构；以及计算链接库，其包含所 述实例文档的项目元素彼此在运算处理上的参考关系和层次结构，其中，

该文档的错误推断处理方法具有以下步骤：

不匹配检测处理步骤：根据所述计算链接库的层次结构计算所述实 例文档的项目元素的输入值，对计算值和所述实例文档的输入值进行比 较，检测所述计算值和所述输入值之间的不匹配，所述实例文档的所述 输入值与所述计算值的项目元素对应；以及

错误推断处理步骤，确定设定有检测出所述不匹配的计算值的项目 元素的、所述计算链接库的计算树结构，确定设定有检测出所述不匹配 的输入值的项目元素的、所述显示链接库的显示树结构，对分别设定于 所述计算树结构和所述显示树结构的项目元素彼此进行比较，在存在仅 设定于所述计算树结构和所述显示树结构的一方、且具有与所述输入值 和所述计算值之差的绝对值一致的输入值的项目元素的情况下，将该项 目元素的过剩与不足推断为所述不匹配的错误。