Rådtagare

Rådtagaren var ett hypotetiskt datorprogram , föreslog av John McCarthy i hans 1959 papper "Programs with Common Sense" . Det var förmodligen det första förslaget att använda logik för att representera information i en dator och inte bara som ämne för ett annat program. Det kan också ha varit det första dokumentet som föreslog sunt förnuft att resonera som nyckeln till artificiell intelligens . I sin tidning förespråkade McCarthy:

"...program för att manipulera på ett lämpligt formellt språk (mest troligt en del av predikatkalkylen ) vanliga instrumentella uttalanden. Grundprogrammet kommer att dra omedelbara slutsatser från en lista med premisser. Dessa slutsatser kommer att vara antingen deklarativa eller imperativa meningar. När en imperativ meningen härleds att programmet vidtar en motsvarande åtgärd."

McCarthy motiverade sitt förslag på följande sätt:

"De främsta fördelarna vi förväntar oss att rådgivaren ska ha är att dess beteende kommer att kunna förbättras bara genom att göra uttalanden till den, berätta för den om dess symboliska miljö och vad som önskas av den. För att göra dessa uttalanden kommer det att krävas liten eller ingen kunskap om program eller rådtagarens förkunskaper. Man kommer att kunna anta att rådtagaren kommer att ha tillgång till en ganska bred klass av omedelbara logiska konsekvenser av allt det berättas och dess förkunskaper. Denna egenskap förväntas ha mycket gemensamt med det som får oss att beskriva vissa människor som att de har sunt förnuft. Vi ska därför säga att ett program har sunt förnuft om det automatiskt för sig själv härleder en tillräckligt bred klass av omedelbara konsekvenser av allt det berättas och vad det redan vet. "