DecontextualizerRule

From OpenCog
Jump to: navigation, search

This rule does the exact opposite of ContextualizerRule, that is it turns contextual knowledge into non contextual knowledge

More specifically apply the following inference

a)

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

It is assumed that both C, B and A are Nodes, which might be too constraining in the future.

b)

ContextLink <TV>
    C
    A
|-
SubsetLink <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).