Idén om sunt förnuft är en av de svåraste idéerna att automatisera, att göra en programmerbar modell (en maskin) av. I själva verket blir vi ständigt påminda om det kloka i att använda alla former av automatiserat beslutstöd med sunt förnuft och inte med blind tilltro, annars kan det gå riktigt galet. Detta är i själva verket ett av de bästa exemplen på just sunt förnuft.

Varför pratar vi så mycket om sunt förnuft? Är inte en rationell varelse en som följer logikens lagar även om de råkar strida mot sunt förnuft? Den deduktiva logiken är förvisso en del i rationalitetsbegreppet. Men bara som ett gränsfall. Vi behöver framförallt en utvidgning av denna som vi kan kalla normativ logik, alternativt idealiserat sunt förnuft.

1. Om det är så att när A är sannt så är B sannt, så kan man av att A är sannt sluta sig till att B är sannt.

2. Om det är så att när A är sannt så är B sannt, så kan man av att B är osannt sluta sig till att A är osannt.

Sedan länge finns en fungerande programmerbar modell, Booleansk algebra, som täcker in hela fältet av kombinationer och upprepningar av dessa regler i en formell syntax. Lägg märke till att i en maskin som fungerar enligt denna syntax så orsakar "icke-B" "icke-A" (enligt sats 2), men detta är inget förhållande som en maskin som uppvisar sunt förnuft skulle tillskriva naturliga förhållanden i sin omgivning.

Om A i maskinens omgivning är den fysiska orsaken till B, så är det naturligtvis inte därmed troligt att frånvaron av B skulle orsaka frånvaron av A!

En autonom robot som har att klara sig på egen hand i verkligheten behöver alltså ha betydligt fler verktyg än deduktiv logik till hands. Till att börja med behöver den en normativ logik bara för att klara de flesta förekommande situationer där man behöver dra troliga slutsatser av i deduktiv mening otillräcklig information.

1. Om det är så att när A är sannt så är B sannt, så kan man av att B är sannt sluta sig till att A är mer sannolikt.

2. Om det är så att när A är sannt så är B sannt, så kan man av att A är osannt sluta sig till att B är mindre sannolikt.

3. Om det är så att när A är sannt så är B mer sannolikt, så kan man av att B är sannt sluta sig till att A är mer sannolikt.

Som framgår av formuleringarna har vi förflyttat oss från den deduktiva logiken till någon form av sannolikhetslära. I de kommande artiklarna i serien kommer vi att utveckla hur den form av normativ logik vi vill modellera innefattar såväl sannolikhetslära, statistiska resonemang som besluts- och kommunikationsteori. På köpet får vi en kvantifierbar teori, Bayesiansk slutledningsteori, som förvandlar den hopplösa filosofiska grenen kunskapsteori till en vetenskapsgren med potentiellt omvälvande implikationer för det nya årtusendet.