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

说明书

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

专利权和商标公告

本申请包括从属于或者可能从属于专利权和/或商标保护的物质。由于本专利公开出现在专利和商标局的文件或记录中，所以专利权和商标的拥有者对于通过任何本专利的公开复制的复制品没有异议，但是无论如何保留所有的专利权和商标权。

技术领域

本发明总体上涉及计算机实现的系统中的信息存储和条件测试。更具体地，公开的实施例涉及通常用于查询和推理引擎中的四值逻辑系统。

背景技术

在现有技术中，各种其他逻辑系统或真值表已被公开。但是，现有技术缺乏当前公开的实施例的效率。

发明内容

本发明通过呈现出降低了传统上与计算机架构中的测试、操作和数据的分析关联的时间和计算开销的方法、系统和方式的不明显且独特的组合、配置和使用，克服了现有技术中的不足。

公开的实施例通过呈现出允许将语法信息和语义信息两者均编码到语义网络中的与语义节点关联的两比特矢量符号的符号，克服了现有技术中的不足。公开的实施例还通过对每个特征在递归的谓词分析中假设的属性进行编码，来克服现有技术中的不足。

附图说明

图1描述了公开的逻辑；

图2描述了实现针对语言生成的条件测试和变量量化的语法；

图3描述了语义网络的图解表示；

图4描述了对于数组内的特定指针的属性的分配；

图5描述了机器实施。

基于结合关联的附图阅读下面的详细描述，本发明的这些方面和其他方面将变得明显。

具体实施方式

下面的详细描述指向本发明的一些特定实施例。然而，本发明可按照如通过权利要求和它们的等同物限定和覆盖的多种不同方式来呈现。在该描述中，对附图做出参照，其中，贯穿整个附图，相同的部件被指定同样的数字符号。

除非在该说明书或权利要求书中另外注释，否则在说明书和权利要求书中使用的所有术语具有通常具有本领域人员认为属于这些术语的含义。

除非上下文明确地另外要求，贯穿说明书和权利要求书，词“包括”、“包含”以及类似的词将被按照包容性的意思被解释，而不是独有的或全部的意思；也就是说，按照“包括但不限于”的意思进行解释。使用单数或复数数量的词还分别包括多数或单数的数量。此外，当词“在此”、“以上”、“以下”以及类似含义的词在该说明书中被使用时，这些词应指的是作为整体的本申请，而不是本申请的任何特定部分。

本发明的实施例的上面详细的描述不意在是详尽的或者将本发明限制为上面公开的明确形式。虽然本发明的特定实施例或示例由于示意性目的在上面被详细地描述，但是如相关领域的技术人员将认识到的，在本发明的范围内的各种等同的修改是可行的。例如，虽然步骤按照给定顺序被呈现，但是可选的实施例可执行具有按照不同顺序的步骤的例程。在此提供的本发明的教导可被应用于其他系统，而不仅仅是在此描述的系统。在此描述的各种实施例可被组合以提供其他实施例。根据具体实施方式可对本发明做出这些和其他改变。