According to an aspect, a cyclical directed graphical model that includes a plurality of nodes connected by directed edges is accessed. Each directed edge has an edge strength indicating a degree of relation between the nodes, and each node has a value and a state of either active or inactive. A first node that has at least one directed incoming edge from a second node having a state of active is selected. At least a subset of the nodes in the cyclical directed graphical model are traversed in a reverse direction relative to the directed edges. The traversing is performed along a path starting from the second node and ending at a third node having a state of active. If the path does not include the first node, an inference about a value of the first node is proposed based on a value of the second node.
Please help me write a proper abstract based on the patent claims. CLAIM: 1-9. (canceled) 10. A computer program product comprising: a tangible storage medium readable by a processing circuit and storing instructions for execution by the processing circuit to perform a method comprising: accessing a cyclical graphical model in a data store, the cyclical directed graphical model comprising a plurality of nodes connected by directed edges, each directed edge having an edge strength indicating a degree of relation between the nodes, and each node having a value and a state, the state one of active and inactive; selecting a first node from the plurality of nodes, the first node having at least one incoming directed edge from a second node in the plurality of nodes, the incoming directed edge having an edge strength greater than zero, and the second node having a state of active; traversing at least a subset of the nodes in the cyclical directed graphical model in a reverse direction relative to the directed edges, the traversing performed along a path starting from the second node and ending at a third node having a state of active; and based on the path not including the first node, proposing an inference about a value of the first node based on a value of the second node. 11. The computer program product of claim 10, wherein the method further comprises: assigning the inference to the first node. 12. The computer program product of claim 10, wherein the method further comprises: based on the path including the first node, proposing that an inference about the value of the first node based on the value of the second node cannot be made. 13. The computer program product of claim 10, wherein the traversing is along a plurality of paths including the path and the proposing is based on none of the paths including the first node. 14. The computer program product of claim 10, wherein the third node is an evidence node that has a state of active independently of a state of any other node in the cyclical directed graphical model. 15. The computer program product of claim 10, wherein the method further comprises: performing the selecting, traversing, and proposing for plurality of nodes in the cyclical directed graphical model. 16. A system comprising: a memory having computer readable instructions; and a processor for executing the computer readable instructions, the computer readable instructions including: accessing a cyclical graphical model in a data store, the cyclical directed graphical model comprising a plurality of nodes connected by directed edges, each directed edge having an edge strength indicating a degree of relation between the nodes, and each node having a value and a state, the state one of active and inactive; selecting a first node from the plurality of nodes, the first node having at least one incoming directed edge from a second node in the plurality of nodes, the incoming directed edge having an edge strength greater than zero, and the second node having a state of active; traversing at least a subset of the nodes in the cyclical directed graphical model in a reverse direction relative to the directed edges, the traversing performed along a path starting from the second node and ending at a third node having a state of active; and based on the path not including the first node, proposing an inference about a value of the first node based on a value of the second node. 17. The system of claim 16, wherein the instructions further include: assigning the inference to the first node. 18. The system of claim 16, wherein the instructions further include: based on the path including the first node, proposing that an inference about the value of the first node based on the value of the second node cannot be made. 19. The system of claim 16, wherein the traversing is along a plurality of paths including the path and the proposing is based on none of the paths including the first node. 20. The system of claim 16, wherein the instructions further include: performing the selecting, traversing, and proposing for plurality of nodes in the cyclical directed graphical model.