四值模拟的方法和系统技术方案

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

【技术实现步骤摘要】
【国外来华专利技术】专利权和商标公告本申请包括从属于或者可能从属于专利权和/或商标保护的物质。由于本专利公开出现在专利和商标局的文件或记录中，所以专利权和商标的拥有者对于通过任何本专利的公开复制的复制品没有异议，但是无论如何保留所有的专利权和商标权。
本专利技术总体上涉及计算机实现的系统中的信息存储和条件测试。更具体地，公开的实施例涉及通常用于查询和推理引擎中的四值逻辑系统。
技术介绍
在现有技术中，各种其他逻辑系统或真值表已被公开。但是，现有技术缺乏当前公开的实施例的效率。
技术实现思路
本专利技术通过呈现出降低了传统上与计算机架构中的测试、操作和数据的分析关联的时间和计算开销的方法、系统和方式的不明显且独特的组合、配置和使用，克服了现有技术中的不足。公开的实施例通过呈现出允许将语法信息和语义信息两者均编码到语义网络中的与语义节点关联的两比特矢量符号的符号，克服了现有技术中的不足。公开的实施例还通过对每个特征在递归的谓词分析中假设的属性进行编码，来克服现有技术中的不足。附图说明图1描述了公开的逻辑；图2描述了实现针对语言生成的条件测试和变量量化的语法；图3描述了语义网络的图解表示；图4描述了对于数组内的特定指针的属性的分配；图5描述了机器实施。基于结合关联的附图阅读下面的详细描述，本专利技术的这些方面和其他方面将变得明显。具体实施方式下面的详细描述指向本专利技术的一些特定实施例。然而，本专利技术可按照如通过权利要求和它们的等同物限定和覆盖的多种不同方式来呈现。在该描述中，对附图做出参照，其中，贯穿整个附图，相同的部件被指定同样的数字符号。除非在该说明书或权利要求书中另外注释，否则在说明书和权利要求书中使用的所有术语具有通常具有本领域人员认为属于这些术语的含义。除非上下文明确地另外要求，贯穿说明书和权利要求书，词“包括”、“包含”以及类似的词将被按照包容性的意思被解释，而不是独有的或全部的意思；也就是说，按照“包括但不限于”的意思进行解释。使用单数或复数数量的词还分别包括多数或单数的数量。此外，当词“在此”、“以上”、“以下”以及类似含义的词在该说明书中被使用时，这些词应指的是作为整体的本申请，而不是本申请的任何特定部分。本专利技术的实施例的上面详细的描述不意在是详尽的或者将本专利技术限制为上面公开的明确形式。虽然本专利技术的特定实施例或示例由于示意性目的在上面被详细地描述，但是如相关领域的技术人员将认识到的，在本专利技术的范围内的各种等同的修改是可行的。例如，虽然步骤按照给定顺序被呈现，但是可选的实施例可执行具有按照不同顺序的步骤的例程。在此提供的本专利技术的教导可被应用于其他系统，而不仅仅是在此描述的系统。在此描述的各种实施例可被组合以提供其他实施例。根据具体实施方式可对本专利技术做出这些和其他改变。所有上述参考和美国专利以及申请通过引用在此被合并。如果需要，则本专利技术的各个方面可被修改，以采用上面描述的各种专利和申请的系统、功能和概念来提供本专利技术的其他进一步的实施例。参照图1，描述了针对四值逻辑的基本二进制运算符和逻辑非(忽略针对逻辑非的单调论证)的示意图。这些运算符被用于证明逻辑类的完备性。这些逻辑可通过各种不同论证推导出。从真值的布尔型分组进行考虑，或者从集合理论和递归定义进行考虑，将真值表预先排列成格子结构。所有这些被构造为以经典逻辑的形式来保存一些主要公理。通过对递归值进行建模，在语义网络中明确地假设真值使得条件的测试和变量的量化简化。对于系统成长的未定义值、默认值允许对于网络的动态良性编码，逻辑属性可归属于许多Kleene逻辑。第四属性允许对变量进行适当的量化和约束，以用于消除针对计算中的随后步骤的更新真值的影响。这也为针对判定程序引入直观可接受的“排中律(teriumnondatur)”以用于将马尔科夫(Markov)过程建模成该逻辑提供可能性。通过将具有特定比特的属性编码到比特矢量，线性缩放可被保持。由于创建符号表、测试特征以及辅助扩展的堆编译器实施，该系统在编译器设计方面有别于现有技术。在图1的第一栏中，逻辑非(not)符号被示出为在图1的第二栏中，与(AND)运算符被示出为Λ，在图1的第三栏中，或(OR)运算符被示出为∨。第一列示出了应用非运算符之前的值。例如，在第一列的第一行，值F在应用非运算符之前被示出，且T被示出为结果。在第二栏中，或运算符从第一列取一个值，从第一行取一个值，在列的值与行的值相交处示出逻辑运算符的结果。在第三栏中，和运算符按照如在第二栏中类似的方式被应用。例如，在第三栏中，示出了在第一行选择最后一个元素D，在第一列选择第二个元素F，结果是值D。参照图2，示出了用于利用针对语言生成的条件测试和变量量化来实现句子“Isawthemanwiththetelescope”的自上而下推导的语法。使用的基础方法学是入栈/出栈，其中，被从栈取出或去除的符号的条件筛选器可被用于测试用于将基于栈被推入的新构造的短语规则。这些条件测试在理论时间O(C)被执行。参照图3，利用对象510和关系520来示出语义网络500的图解表示，其中，所有对象和关系是存储器或数据库中的节点。图4描述了与存储器中的语义节点关联的两比特矢量数组的图解表示。图4还示出了跨越两个数组分配真值，其中，X为插入数组中的特定指针。图中词的大小是计算机架构中的词大小限制的结果。这引起针对数组的实现的组块因素。参照图5，示出利用计算机可读的非暂时性介质100的机器实施，计算机可读的非暂时性介质100具有被发送到通用或专用处理器200的指令集或机器可读指令。处理器可与非易失性存储器300和多个数据库以及其他组件(诸如，网络、用户界面和其他器件)进行通信。多个数据库可包括一个或更多个语义网络的数据库410(诸如，图3的网络系统)、矢量数组的数据库420(矢量数组可与每个语义节点或其他网络组件关联)、逻辑连接词的数据库430(诸如，图1的连接词)、语法短语结构实施的数据库440(诸如，图2的实施)以及其他公开的组件和系统的数据库。图5还描述了系统时钟700、自上而下/自下而上语法分析器800以及运行时间栈和堆600。根据上面的详细描述可对本专利技术做出这些和其他改变。一般而言，在权利要求中使用的术语不应被解释为将本专利技术限制为说明书中公开的特定实施例，除非上面的详细描述明确地限定该术语。因此，本专利技术的实际范围包含本文档来自技高网...

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

【技术特征摘要】
【国外来华专利技术】2013.09.03 US 14/016,5181.一种执行四值逻辑以使短期存储器最优化并使长期存储器最大化的机
器可实现的方法，所述方法包括：
a)使用包括...

【专利技术属性】
技术研发人员：罗杰·密德茂尔，
申请(专利权)人：罗杰·密德茂尔，
类型：发明
国别省市：美国;US