Some patterns may differ syntactically while being equivalent semantically. For instance
Lambda
X
X
is equivalent to
Lambda
X
And
X
X
(recall that And is used as a clause conjunction by the pattern matcher, not a literal AndLink.
Requirement
The reduct engine must be ported to atomese.
Proposal
Let us recall how the pattern miner works
Select pattern P from pattern pool
Calculate shallow abstractions of P
Generate specializations of P by composing it with its shallow abstractions
Insert specializations with enough support back in the pattern pool
In order to avoid over-representation, before inserting new patterns back in the pattern pool, the pattern miner should have an extra step, say between step 3. and step 4., if reduction is done over all specializations, or after step 4., if reduction is done only over specializations with enough support.
Problem
Some patterns may differ syntactically while being equivalent semantically. For instance
is equivalent to
(recall that And is used as a clause conjunction by the pattern matcher, not a literal
AndLink.Requirement
The reduct engine must be ported to atomese.
Proposal
Let us recall how the pattern miner works
In order to avoid over-representation, before inserting new patterns back in the pattern pool, the pattern miner should have an extra step, say between step 3. and step 4., if reduction is done over all specializations, or after step 4., if reduction is done only over specializations with enough support.