[发明专利]四值模拟的方法和系统

摘要

一种用于将语义网络中的语法和语义信息动态编码成通用四值逻辑符号的系统。新信息的编码对于现有语法构造、在时间O(C)的N条件测试是良性的，且允许在每个递归步骤进行适当的变量的量化。通过这种实施构造的查询/推理引擎能够最优化短期存储器，以用于使自动机中的长期存储器最大化。在并行的环境下，这可被视为最优化进程之间的通信和存储器分配。公开的四值编码的实施例在最小化运行时间栈和最大化堆大小(特别是在并行架构下)获得效率。公开的实施例在模拟和搜索引擎实现中有益。

主权项

1.一种执行四值逻辑以使短期存储器最优化并使长期存储器最大化的机器可实现的方法，所述方法包括：a)使用包括F、T、U和D的符号来表示被映射到二矢量动态数组的“假”、“真”、“未定义”和“已定义”的值，其中，F表示被映射到二矢量动态数组的“假”的值，T表示被映射到二矢量动态数组的“真”的值，U表示被映射到二矢量动态数组的“未定义”的值，D表示被映射到二矢量动态数组的“已定义”的值；所述值还被映射到二矢量动态数组中的指针且被存储为语义网络内的节点；b)将F、T、U和D用集合理论限定，其中，{}为“未定义”，{T}为“真”，{F}为“假”，{T,F}为“已定义”，这些值被解释为：属性{P}为“真”，属性{P}为“假”，属性{}为“未定义”，属性{P,P}为“已定义”，这些属性是用于针对在谓词积分中的连续递归步骤测试条件和量化变量的属性；c)利用下面的二进制连接词，忽略单调论证，利用否定来定义逻辑：连接词逻辑与Λ、逻辑非以及逻辑或∨被用于证明逻辑的完备性，如下所示：F是TT是FU是DD是U；d)针对连接词Λ其中，第一行的值和第一列的值是进行逻辑与运算之前的值，第一行的第i个值与第一列的第j个值进行逻辑与运算得到第i行第j列的值，其中，2≤i≤5，2≤j≤5；e)针对连接词∨其中，第一行的值和第一列的值是进行逻辑或运算之前的值，第一行的第i个值与第一列的第j个值进行逻辑或运算得到第i行第j列的值，其中，2≤i≤5，2≤j≤5；f)通过将语法信息和语义信息线性编码到语义网络来使短期存储器最优化，并使长期存储器最大化；g)在并行环境下，使短期存储器最优化以使长期存储器最大化变为最优化不同知识源之间的通信和存储器。