Method and knowledge structures for reasoning about concepts, relations, and rules
    1.
    发明授权
    Method and knowledge structures for reasoning about concepts, relations, and rules 有权
    关于概念,关系和规则推理的方法和知识结构

    公开(公告)号:US07447667B2

    公开(公告)日:2008-11-04

    申请号:US10316588

    申请日:2002-12-11

    IPC分类号: G06N5/00

    CPC分类号: G06N5/04 Y10S707/99935

    摘要: A system and method for reasoning about concepts, relations and rules having a semantic network comprising at least one node from a predetermined set of node types, at least one link from a predetermined set of link types, and zero or more rules from a predetermined set of rule types, a subset of the rule types being matching rule types, each node and each link being associated with a set of zero or more rules; a network reasoning data structure having a reasoning type database having at least one regular expression, each of the regular expressions being a class of sequences having at least three node types and two link types, wherein the network reasoning data structure further has a context being a set of rules; and a reasoning engine having an activator for activating one or more activated paths in the semantic network, the set of activated paths having a common starting node in the semantic network, wherein the reasoning engine further has a validator for selecting a subset of the activated paths being valid paths, each rule from the set of rule matching types that is associated with one or more path elements on each valid path being matched by one or more rules in the context and wherein the reasoning engine further has a legal inferencer for selecting a subset of the set of valid paths being legal and valid paths, the legal and valid paths matching at least one of the regular expressions.

    摘要翻译: 一种用于推理具有语义网络的概念,关系和规则的系统和方法,所述概念,关系和规则包括来自预定的一组节点类型的至少一个节点,来自预定的一组链路类型的至少一个链路以及来自预定集合的零个或多个规则 规则类型的一部分,规则类型的一部分是匹配规则类型,每个节点和每个链接与一组零个或多个规则相关联; 具有至少一个正则表达式的推理类型数据库的网络推理数据结构,每个正则表达式是具有至少三种节点类型和两种链接类型的序列类别,其中所述网络推理数据结构还具有上下文为 一套规则; 以及具有用于激活所述语义网络中的一个或多个激活路径的激活器的推理引擎,所述激活路径集合具有所述语义网络中的公共起始节点,其中所述推理引擎还具有用于选择所述激活路径的子集的验证器 作为有效路径,来自与在上下文中的一个或多个规则匹配的每个有效路径上的一个或多个路径元素相关联的规则匹配类型的集合中的每个规则,并且其中所述推理引擎还具有用于选择子集的合法参考 的有效路径集合是合法且有效的路径,合法和有效路径与至少一个正则表达式匹配。

    Method and knowledge structures for reasoning about concepts, relations, and rules
    2.
    发明授权
    Method and knowledge structures for reasoning about concepts, relations, and rules 有权
    关于概念,关系和规则推理的方法和知识结构

    公开(公告)号:US07844562B2

    公开(公告)日:2010-11-30

    申请号:US12261541

    申请日:2008-10-30

    IPC分类号: G06N5/00

    CPC分类号: G06N5/04 Y10S707/99935

    摘要: A system and method for reasoning about concepts, relations and rules having a semantic network comprising at least one node from a predetermined set of node types, at least one link from a predetermined set of link types, and zero or more rules from a predetermined set of rule types, a subset of the rule types being matching rule types, each node and each link being associated with a set of zero or more rules; a network reasoning data structure having a reasoning type database having at least one regular expression, each of the regular expressions being a class of sequences having at least three node types and two link types, wherein the network reasoning data structure further has a context being a set of rules; and a reasoning engine having an activator for activating one or more activated paths in the semantic network, the set of activated paths having a common starting node in the semantic network, wherein the reasoning engine further has a validator for selecting a subset of the activated paths being valid paths, each rule from the set of rule matching types that is associated with one or more path elements on each valid path being matched by one or more rules in the context and wherein the reasoning engine further has a legal inferencer for selecting a subset of the set of valid paths being legal and valid paths, the legal and valid paths matching at least one of the regular expressions.

    摘要翻译: 一种用于推理具有语义网络的概念,关系和规则的系统和方法,所述概念,关系和规则包括来自预定的一组节点类型的至少一个节点,来自预定的一组链路类型的至少一个链路以及来自预定集合的零个或多个规则 规则类型的一部分,规则类型的一部分是匹配规则类型,每个节点和每个链接与一组零个或多个规则相关联; 具有至少一个正则表达式的推理类型数据库的网络推理数据结构,每个正则表达式是具有至少三种节点类型和两种链接类型的序列类别,其中所述网络推理数据结构还具有上下文为 一套规则; 以及具有用于激活所述语义网络中的一个或多个激活路径的激活器的推理引擎,所述激活路径集合具有所述语义网络中的公共起始节点,其中所述推理引擎还具有用于选择所述激活路径的子集的验证器 作为有效路径,来自与在上下文中的一个或多个规则匹配的每个有效路径上的一个或多个路径元素相关联的规则匹配类型的集合中的每个规则,并且其中所述推理引擎还具有用于选择子集的合法参考 的有效路径集合是合法且有效的路径,合法和有效路径与至少一个正则表达式匹配。