Table 5

Hidden predicates | |

p1 | hasIS(m, s) |

Formulas | |

Hard constraints | |

f1 | ∀m ∈ M: |s ∈ S: hasIS(m, s)| = 1 |

Joint inference formula template | |

f_{g} | (w) ∀m_{i}, m_{j} ∈ M ∀$smi,smj$ ∈ S: jointInferenceFormula_Constraint (m_{i}, m_{j}) → hasIS(m_{i}, $smi$) ∧ hasIS(m_{j}, $smj$) |

Non-joint inference formula template | |

f_{l} | (w) ∀m ∈ M ∀s ∈ S: non-jointInferenceFormula_Constraint (m, s) → hasIS(m, s) |

Hidden predicates | |

p1 | hasIS(m, s) |

Formulas | |

Hard constraints | |

f1 | ∀m ∈ M: |s ∈ S: hasIS(m, s)| = 1 |

Joint inference formula template | |

f_{g} | (w) ∀m_{i}, m_{j} ∈ M ∀$smi,smj$ ∈ S: jointInferenceFormula_Constraint (m_{i}, m_{j}) → hasIS(m_{i}, $smi$) ∧ hasIS(m_{j}, $smj$) |

Non-joint inference formula template | |

f_{l} | (w) ∀m ∈ M ∀s ∈ S: non-jointInferenceFormula_Constraint (m, s) → hasIS(m, s) |

This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy.