Definizione: Inverso della deduzione. Parte da un effetto osservato e cerca una causa o un insieme di ipotesi che lo giustifichino. È particolarmente utile nella diagnosi (es. risalire dai sintomi alle malattie).
Criteri per una Spiegazione Abduttiva: Una formula è una spiegazione abduttiva di rispetto a una KB se soddisfa:
Sufficienza: KB {} .
Compatibilità: KB {} è consistente.
Semplicità ed Essenzialità: non include elementi superflui; idealmente, usa il numero minimo di termini.
Uso di Vocabolario Specifico (Abducibili): deve essere espressa usando un insieme predefinito di ipotesi plausibili (es. malattie in diagnosi mediche).
Prime Implicates: Utili per trovare spiegazioni abduttive. Una clausola è un “prime implicate” della KB se è implicata dalla KB ed è minimale (nessuna sotto-clausola è implicata dalla KB).