I hjertet av symbolsk kunstig intelligens, ofte referert til som 'god gammeldags' kunstig intelligens (GOFAI), finner vi konseptet med kunnskapsbaser. Et kunnskapsbasert system tar beslutninger om handlinger ved å anvende formelle resonnementer på en mengde eksplisitt representert kunnskap, kjent som kunnskapsbasen. Systemet er ikke programmert for spesifikke oppgaver; i stedet får det beskjed om hva det trenger å vite og forventes å trekke konklusjoner derfra. Boken 'The Logic of Knowledge Bases' tar for seg logikken bak disse kunnskapsbasene. Den gir en grundig beskrivelse av forholdet mellom symbolske representasjoner av kunnskap og abstrakte kunnskapstilstander, og utforsker fundamentene for kunnskap, kunnskapsbaser, kunnskapsbaserte systemer samt representasjon og resonnement av kunnskap. Med antakelse om noe kjennskap til førsteordens predikatlogikk, tilbyr boken en rigorøs matematisk modell av kunnskap som er både generell og uttrykksfull, samtidig som den er mer praktisk anvendbar enn tidligere modeller. Førsteutgaven av boken ble utgitt i 2000, og siden den gang har dens modell utviklet seg.
