Skip to main content

modus_ponens

qualia_core_db::modalities::likeliness::inference

Function modus_ponens 

Source 
pub fn modus_ponens(
    premise: Likeliness,
    rule_reliability: Likeliness,
) -> Likeliness
Expand description

Naive modus ponens. From a premise p (how expected it is to hold) and a rule’s reliability r (how expected it is that p ⇒ q), the conclusion q is and(p, r) — inference never produces a conclusion stronger than its weakest input.