[发明专利]一种逻辑表示及其推理引擎方法

权利要求书

1.一种逻辑表示及其推理引擎方法，其特征在于，所述的方法包括语意表示方法、逻辑表示方法和推理计算方法，三个部分有机结合，基于已知语意推理得到新的语意，其中：

1)所述的语意表示方法，语意之间存在如下关系：

i.一个记为A的语意通过一种一对一的关系，对应一个记为B的语意，称B为A的范式语意；

ii.一个记为A的语意通过一种一对多的关系，对应于一个或多个语意，称这一个或多个语意为A的具体语意；

iii.语意之间通过下述第2)项的映射规则建立关系；基于映射规则建立的关系与前述第i点的语意之间的一对一关系和第ii点的语意之间的一对多关系类似，可被记录和读取；

iv.两个语意合并形成一个语意，合并后的一个语意具有合并前的两个语意的全部与其它语意之间的关系；由语意合并的定义可知，只有范式语意相同的语意才能相互合并，否则融合后的语意具有两个或以上的范式语意，违反前述第i点规则；

v.实际应用中，若不存在需要合并语意的情形，则上述语意表示方法的语意可合并的特性可不在语意表示方法的具体实现中体现；

2)所述的逻辑表示方法，逻辑表示为一组映射规则，映射规则具有如下特征：

i.映射规则为一对多映射，即一个语意经由一个映射规则得到一个或多个语意；不同的语意经由同一个映射规则得到同一个语意；称一个记为A语意经由一个映射规则得到一个或多个语意的过程为一个映射任务，A为所述映射任务的出发语意；

ii.一个特定的记为T的映射规则具有一个特定的定义域，即T仅作用于以一个特定的记为D的语意为范式语意的语意，称D为T的定义域语意；

iii.一个特定的记为T的映射规则具有一个特定的值域，即经由T仅得到以一个特定的记为R的语意为范式语意的语意，称R为T的值域语意；

iv.一个映射任务在执行的过程中，使用与所述任务的出发语意相关的一组语意作为参数，这一组语意称为一个映射任务的参数语意集；

v.映射规则与它的定义域语意和值域语意的组合一一对应；即一个映射规则具有一个定义域语意和一个值域语意；当给定一对语意分别作为一个映射规则的定义域语意和值域语意时，唯一确定这个映射规则或确定不存在这样的映射规则；因此，用一个记为(D，R)的语意二元组表示一个映射规则的名称；

vi.映射规则可逆，即若存在一个记为T的映射规则，T的定义域语意为D，T的值域语意为R，则必然存在另一个记为T’映射规则，T’的定义域语意为R，T’的值域语意为D；且当一个记为A的语意经映射规则T得到另一个记为B的语意时，B经映射规则T’得到A；

3)所述的推理计算方法，当语意被生成或更新时，触发映射任务执行：

i.语意的生成，指组合一个范式语意和至少一个具体语意成为一个新的语意；

ii.语意的更新，指改变一个语意与其它语意的关系，包括：记录所述语意与其它语意之间的映射关系，将两个语意合并为一个语意，添加或删除一个语意与其具体语意之间的关系；在实际应用中，若不存在某些语意之间的关系发生改变的情况，则推理计算方法的具体实现中可不体现处理这些语意之间的关系发生改变的内容；

iii.当一个语意被生成时，触发以所述语意为出发语意，由可作用于所述语意的映射规则定义的映射任务执行；当一个语意被更新时，触发执行过程使用所述语意为参数语意的已执行的映射任务更新结果；直到没有可执行或应更新结果的映射任务；在实际应用中，若不存在需要触发已执行的映射任务更新结果的情况，则不在推理计算方法的具体实现中体现相应的机制。