Reasoning with rules in a multiple inheritance semantic network with exceptions
First Claim
Patent Images
1. A computer system with one or more memories and one or more central processing units comprising:
- a. a data structure, stored in one or more of the memories, representing a semantic network with three or more nodes connected by two or more links, each of the nodes representing an object, the semantic network describing the way the objects relate to one another, each of the nodes being one of a root node, internal node, and leaf node, the internal nodes and leaf nodes having one or more parent fields pointing to one or more other nodes in the network being parent nodes, the root and internal nodes having one or more child fields pointing to one or more other nodes in the network being child nodes, one or more ancestor nodes being either a parent node or recursively an ancestor of one of the parent nodes, a set of one or more rules attached to one or more of the nodes, a rule being a statement that at least partially regulates the object represented by the respective node and all the rules in the set being consistent;
b. a background data structure, stored in one or more of the memories containing one or more information items, each of the information items being attached to every node in the semantic network and at least partially regulating the objects represented by all the nodes in the semantic network; and
c. a process that proceeds node by node up one or more paths of the links to each ancestor node in the path, creating an interim set of rules by iteratively adding rules attached to each of the ancestors nodes processed only if the added rules are consistent with the rules in the interim set and the background information items, after all the ancestors of the node are processed the interim set being a superset of rules that are all the rules in the semantic network that regulate the node, the superset being a maximally consistent subset of all the rules attached to all of the ancestor nodes.
1 Assignment
0 Petitions
Accused Products
Abstract
A new data structure describes an inheritance network with exceptions, augmented with rules attached to nodes in the network, a background context of rules and information, and an optional prioritization of links in the network. A process that determines which rules apply to classes (nodes) in the taxonomy exploits the structure of the network, in particular specificity and path prioritization, to get preferred maximally consistent subsets of rules that apply at specified nodes.
123 Citations
37 Claims
-
1. A computer system with one or more memories and one or more central processing units comprising:
-
a. a data structure, stored in one or more of the memories, representing a semantic network with three or more nodes connected by two or more links, each of the nodes representing an object, the semantic network describing the way the objects relate to one another, each of the nodes being one of a root node, internal node, and leaf node, the internal nodes and leaf nodes having one or more parent fields pointing to one or more other nodes in the network being parent nodes, the root and internal nodes having one or more child fields pointing to one or more other nodes in the network being child nodes, one or more ancestor nodes being either a parent node or recursively an ancestor of one of the parent nodes, a set of one or more rules attached to one or more of the nodes, a rule being a statement that at least partially regulates the object represented by the respective node and all the rules in the set being consistent; b. a background data structure, stored in one or more of the memories containing one or more information items, each of the information items being attached to every node in the semantic network and at least partially regulating the objects represented by all the nodes in the semantic network; and c. a process that proceeds node by node up one or more paths of the links to each ancestor node in the path, creating an interim set of rules by iteratively adding rules attached to each of the ancestors nodes processed only if the added rules are consistent with the rules in the interim set and the background information items, after all the ancestors of the node are processed the interim set being a superset of rules that are all the rules in the semantic network that regulate the node, the superset being a maximally consistent subset of all the rules attached to all of the ancestor nodes. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 20, 21, 22, 23, 24, 25, 26, 27, 28)
-
-
10. A computer system with one or more memories and one or more central processing units comprising:
-
a. a data structure, stored in one or more of the memories, representing a semantic network with three or more nodes connected by two or more links, each of the nodes representing an object, the semantic network describing the way the objects relate to one another, each of the nodes being one of a root node, internal node, and leaf node, the internal nodes and leaf nodes having one or more parent fields pointing to one or more other nodes in the network being parent nodes, the root and internal nodes having one or more child fields pointing to one or more other nodes in the network being child nodes, one or more ancestor nodes being either a parent node or recursively an ancestor of one of the parent nodes, a set of one or more rules attached to one or more of the nodes, a rule being a statement that at least partially regulates the object represented by the respective node and all the rules in the set being consistent, the rules being divided into one or more rule categories, the rules in each category being statements partially regulating the objects represented by the respective node and all the rules in the category and in the set being consistent; b. a background data structure, stored in one or more of the memories containing one or more information items, each of the information items being attached to every node in the semantic network; and c. a process that transforms the set of rules attached for each category to one or more of the nodes to a superset of rules for each category by proceeding up one or more paths of the links in an order, the paths connecting the node with all the ancestors of the node on each of the paths, the process iteratively adding rules attached for each of the categories to each of the ancestors to form an interim set for each category only if the added rules are consistent with the rules in the interim set for each category and the background information items, the superset of rules for each category being the rules in the interim set for the category after all the ancestors of the node are processed, the superset of rules for each category being all the rules for that category in the semantic network that regulate the node, the superset being a maximally consistent subset of all the rules for that category attached to all of the ancestor nodes. - View Dependent Claims (11, 12, 13, 14, 29, 30, 31, 32, 33, 34, 35, 36, 37)
-
-
15. A computer system with one or more memories and one or more central processing units comprising:
-
a. a data structure, stored in one or more of the memories, representing a semantic network with three or more nodes connected by two or more links, each of the nodes representing an object, the semantic network describing the way the objects relate to one another, each of the nodes being one of a root node, internal node, and leaf node, the internal nodes and leaf nodes having one or more parent fields pointing to one or more other nodes in the network being parent nodes, the root and internal nodes having one or more child fields pointing to one or more other nodes in the network being child nodes, one or more ancestor nodes being either a parent node or recursively an ancestor of one of the parent nodes, a set of one or more rules attached to one or more of the nodes, a rule being a statement that at least partially regulates the object represented by the respective node and all the rules in the set being consistent; b. a background data structure, stored in one or more of the memories containing one or more information items, each of the information items being attached to every node in the semantic network and at least partially regulating the objects represented by all the nodes in the semantic network; and c. a process that proceeds node by node up one or more paths of the links in an order to each ancestor node in the path, creating an interim set of rules by iteratively adding rules attached to each of the ancestors nodes processed only if the added rules are consistent with the rules in the interim set and the background information items, after all the ancestors of the node are processed the interim set being a superset of rules that are all the rules in the semantic network that regulate the node, the superset being a maximally consistent subset of all the rules attached to all of the ancestor nodes.
-
-
16. A method of selecting a set of rules that apply to a focus node of a semantic network of nodes having multiple inheritance, the focus node representing a class of physical objects, comprising the steps of:
-
a. setting a collected rule set of one or more rules equal to a set of rules attached to a focus node in the semantic network of three or more nodes; b. determining all of the one or more ancestral nodes in the semantic network that are most distant from the focus node and that have a positive undefeated path between the focus node and the respective ancestral nodes, the ancestral nodes being prime nodes; c. identifying all of the positive undefeated paths between the focus node and the prime nodes; d. topologically sorting the positive undefeated paths to determine an order; e. in the order determined by the topological sort, traversing each of the positive undefeated paths by visiting each of one or more nodes on the positive undefeated path in an upward direction from the focus node to the respective prime node, and at each of the nodes visited, being a visited node, taking the preferred maximally consistent subset of the collected rule set and the rules attached to the visited node to create a new collected rule set; and f. after traversing all of the positive undefeated paths, taking the new collected rule set as a final set of rules that apply to the focus node. - View Dependent Claims (17, 18, 19)
-
Specification