A Formal Model for MAWC Operations

A MAWC operation has one (or two) expressions as arguments, and also returns an expression.  In other words, both the input and the output are MAWC tagged documents.

MATCH operator

The MATCH operation, m_t(f₁{O₁, O₂, …, O_n}, f₂{O^’₁, O^’₂, …, O^’_m}) extracts from f₂{O^’₁, O^’₂, …, O^’_m} all the objects O^’_i that are similar to  f₁{O₁, O₂, …, O_n} with respect to the threshold t.

 

     m_t(f₁{O₁, O₂, …, O_n}, f₂{O^’₁, O^’₂, …, O^’_m}) = f₂{O^’₁, O^’₂, …, O^’_m}

     where O^’_i in {O^’₁, O^’₂, …, O^’_m} is similar to f₁{O₁, O₂, …, O_n} with respect to the threshold t.