retex v0.1.5 API Reference

Modules

Attribute values that a Wme should have in order for this condition to be true

A type of thing that needs to exists in order for a Wme to activate part of a condition

Attribute values that a Wme should have in order for this condition to be true

A BetaMemory works like a two input node in Rete. It is simply a join node between two tests that have passed successfully. The activation of a BetaMemory happens if the two parents (left and right) have been activated and the bindings are matching for both of them.

Production node. This is like a production node in Rete algorithm. It is activated if all the conditions in a rule are matching and contains the action that can be executed as consequence.

The select nodes are checking for attributes, if they exists and are linked to the right owner from above, they will be activated and pass the tokens down in the test nodes (that will check for their value instead).

Test node.

The NodeType if part of the alpha network, the discrimination part of the network that check if a specific class exists. If this is the case, it propagates the activations down to the select node types. They will select an attribute and check for its existance.

The root node is the root vertex of the network. From the root node start all the edges that connect with each TypeNode, the discrimination network starts from here.

The root node of the network is the input to the black box. This node receives the tokens that are sent to the black box and passes copies of the tokens to all its successors. The successors of the top node, the nodes to perform the intra-element tests, have one input and one or more outputs. Each node tests one feature and sends the tokens that pass the test to its successors. The two-input nodes compare tokens from different paths and join them into bigger tokens if they satisfy the inter-element constraints of the LHS. Because of the tests performed by the other nodes, a terminal node will receive only tokens that instantiate the LHS. The terminal node sends out of the black box the information that the conflict set must be changed. - RETE Match Algorithm - Forgy OCR

A working memory element, it represent the world in the form of identifier, attribute and values timestamp is set at time of insertion into retex