MYCIN werkte met behulp van een vrij eenvoudige inferentie-engine en een kennisbank van ~600 regels. De arts die het programma uitvoerde, kreeg vragen via een lange reeks eenvoudige ja/nee- of tekstvragen. Aan het eind gaf het een lijst van mogelijke boosdoeners, gerangschikt van hoog naar laag op basis van de waarschijnlijkheid van elke diagnose, het vertrouwen in de waarschijnlijkheid van elke diagnose, de redenering achter elke diagnose (dat wil zeggen, MYCIN gaf ook een lijst van de vragen en regels die het ertoe brachten een diagnose op een bepaalde manier te rangschikken), en de aanbevolen medicamenteuze behandeling.

MYCIN leidde tot discussie over het gebruik van zijn ad hoc, maar principiële onzekerheidsraamwerk, bekend als “zekerheidsfactoren”. De ontwikkelaars voerden studies uit die aantoonden dat de prestaties van MYCIN minimaal werden beïnvloed door verstoringen in de onzekerheidsmetrieken geassocieerd met individuele regels, wat suggereert dat de kracht in het systeem meer verband hield met zijn kennisrepresentatie en redeneerschema dan met de details van zijn numerieke onzekerheidsmodel. Sommige waarnemers waren van mening dat het mogelijk had moeten zijn om klassieke Bayesiaanse statistiek te gebruiken. De ontwikkelaars van MYCIN voerden aan dat dit ofwel onrealistische veronderstellingen van probabilistische onafhankelijkheid zou vereisen, ofwel de deskundigen zou verplichten schattingen te geven voor een onhaalbaar groot aantal voorwaardelijke waarschijnlijkheden.

Latere studies toonden later aan dat het zekerheidsfactormodel inderdaad in probabilistische zin kon worden geïnterpreteerd, en wezen op problemen met de impliciete veronderstellingen van zo’n model. De modulaire structuur van het systeem zou echter zeer succesvol blijken, en leiden tot de ontwikkeling van grafische modellen zoals Bayesiaanse netwerken.

BewijscombinatieEdit

In MYCIN was het mogelijk dat twee of meer regels conclusies trokken over een parameter met verschillende gewichten van bewijs. Bijvoorbeeld, één regel kan concluderen dat het organisme in kwestie E. Coli is met een zekerheid van 0,8 terwijl een andere concludeert dat het E. Coli is met een zekerheid van 0,5 of zelfs -0,8. Indien de zekerheid kleiner is dan nul, is het bewijs in feite tegen de hypothese. Om de zekerheidsfactor te berekenen heeft MYCIN deze gewichten met behulp van onderstaande formule gecombineerd tot één enkele zekerheidsfactor:

C F ( x , y ) = { X + Y – X Y indien X , Y > 0 X + Y + X Y indien X , Y < 0 X + Y 1 – min ( | X | , | Y | ) anders {{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}}}