Removing Functions
Convert sentence to Implicative Normal Form (INF)
If sentence is a literal, convert to an implication
- (Signal (Out 1 ?g) On) becomes
- (=> (Out 1 ?g ?t) (Signal ?t On))
- (Signal (In (Sk1 ?g) ?g) On)) becomes
- (=> (Sk1 ?g ?i) (In ?i ?g ?t) (Signal ?t On))
If sentence is an implication, add relational sentences to the antecedents
- (=> (Type ?g OR) (Signal (In ?j ?g) On)
(Signal (Out 1 ?g) On)) becomes
- (=> (In ?j ?g ?tin) (Out 1 ?g ?tout) (Type ?g OR) (Signal ?tin On)
(Signal ?tout On))