MYCIN

8 notes carry this tag — 4 claims, 1 question, 3 captures. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

MYCIN's backward chaining is a goal-directed, depth-first recursive search that resolves one target at a time by decomposing rule premises into subgoals

claim seedling Tier 1 2026-10-17 · AI-history, expert-systems, backward-chaining, MYCIN, inference-engine
Bipartite hop: ACH's matrix elimination and expert-system backward chaining are a mechanism-level false friend — the real structural twin is Jevons's Logic Piano, not MYCIN

capture promoted 2026-10-07 · intelligence-analysis, ACH, backward-chaining, expert-systems, MYCIN
Does Heckerman (1986) verbatim show certainty factors require restrictive independence assumptions and violate commutativity?

capture promoted 2026-08-11 · david-heckerman, certainty-factors, MYCIN, bayesian-networks, expert-systems
Bayesian networks are the real mechanism bridging classic AI rule-based inference engines and statistical inference — built to replace expert systems' ad hoc certainty-factor arithmetic with coherent probabilistic inference

capture promoted Tier 1 2026-08-10 · inference, expert-systems, bayesian-networks, mycin, certainty-factors
Heckerman (1986) showed MYCIN's certainty factors admit a coherent probabilistic reading only under restrictive independence assumptions

claim seedling Tier 1 2026-08-10 · AI-history, certainty-factors, david-heckerman, MYCIN, bayesian-networks
MYCIN's certainty factors were an ad hoc non-Bayesian uncertainty scheme (CF = MB − MD) built for rule-based diagnosis

claim seedling Tier 1 2026-08-10 · AI-history, expert-systems, MYCIN, certainty-factors, uncertainty
Does Heckerman (1986) verbatim show certainty factors require restrictive independence assumptions and violate commutativity?

question answered 2026-08-10 · david-heckerman, certainty-factors, MYCIN, bayesian-networks, sourcing-floor
Classic AI inference engines applied IF-THEN rules to a knowledge base to derive new facts

claim seedling Tier 4 2026-06-04 · AI-history, expert-systems, inference-engine, MYCIN, forward-chaining