MYCIN funzionava usando un motore di inferenza abbastanza semplice e una base di conoscenza di ~600 regole. Interrogava il medico che eseguiva il programma tramite una lunga serie di semplici domande sì/no o testuali. Alla fine, forniva una lista di possibili batteri colpevoli classificati dall’alto al basso in base alla probabilità di ogni diagnosi, la sua fiducia nella probabilità di ogni diagnosi, il ragionamento dietro ogni diagnosi (cioè, MYCIN elencava anche le domande e le regole che lo portavano a classificare una diagnosi in un modo particolare), e il suo corso raccomandato di trattamento farmacologico.

MYCIN scatenò un dibattito sull’uso del suo quadro di incertezza ad hoc, ma basato su principi, noto come “fattori di certezza”. Gli sviluppatori eseguirono studi che dimostravano che le prestazioni di MYCIN erano minimamente influenzate da perturbazioni nelle metriche di incertezza associate alle singole regole, suggerendo che la potenza del sistema era legata più alla sua rappresentazione della conoscenza e allo schema di ragionamento che ai dettagli del suo modello numerico di incertezza. Alcuni osservatori hanno ritenuto che avrebbe dovuto essere possibile usare la classica statistica bayesiana. Gli sviluppatori di MYCIN sostennero che questo avrebbe richiesto o ipotesi irrealistiche di indipendenza probabilistica, o richiesto agli esperti di fornire stime per un numero troppo grande di probabilità condizionali.

Studi successivi mostrarono che il modello del fattore di certezza poteva effettivamente essere interpretato in senso probabilistico, ed evidenziarono problemi con le ipotesi implicite di un tale modello. Tuttavia la struttura modulare del sistema si sarebbe dimostrata di grande successo, portando allo sviluppo di modelli grafici come le reti bayesiane.

Combinazione di proveModifica

In MYCIN era possibile che due o più regole traessero conclusioni su un parametro con diversi pesi di prove. Per esempio, una regola può concludere che l’organismo in questione è E. Coli con una certezza di 0,8 mentre un’altra conclude che è E. Coli con una certezza di 0,5 o addirittura -0,8. Nel caso in cui la certezza sia inferiore a zero l’evidenza è effettivamente contro l’ipotesi. Per calcolare il fattore di certezza MYCIN ha combinato questi pesi usando la formula seguente per ottenere un unico fattore di certezza:

C F ( x , y ) = { X + Y – X Y se X , Y > 0 X + Y + X Y se X , Y < 0 X + Y 1 – min ( | X | , | Y | ) altrimenti {\displaystyle CF(x,y)={\begin{cases}X+Y-XY&{\text{if }}X,Y>0\\X+Y+XY&{\text{if }}X,Y<0\\{\frac {X+Y}{1-\min(|X|,|Y|)}}&{\text{otherwise}}\end{cases}}}