ContextualizerRule

From OpenCog
Jump to: navigation, search

Turn non contextual knowledge into Contextual knowledge.

More specifically apply the following inference

a)

R <TV>
   C ANDLink A
   C ANDLink B
|-
ContextLink <TV>
   C
   R A B

b)

SubsetLink <TV>
   C
   A
|-
ContextLink <TV>
   C
   A

where A is a Node. that is because

A <TV> is equivalent to

SubsetLink <TV> Universe A

the rest follows from a).