Vo wwedenii rassmatriwaütsq istoricheskaq äwolüciq i opredelenie II, podcherkiwaetsq ämulqciq chelowecheskih kognitiwnyh processow i kompromiss mezhdu poiskom i hraneniem znanij. Abstraktnoe predstawlenie o modelirowanii i älementarnyh znaniqh otkrywaet put' k izucheniü wychislitel'noj logiki, wklüchaq analiz sostawnyh wyskazywanij s pomosch'ü prostyh logicheskih swqzok, logiku predikatow, a takzhe organizaciü znanij i manipulirowanie imi. Perehodq k programmirowaniü i logike w II, uchebnaq programma ohwatywaet LISP i drugie qzyki programmirowaniq, prowodq razlichiq mezhdu LISP i PROLOG. On znakomit s sintaxisom, chislowymi funkciqmi, izuchaet znachenie wwoda-wywoda, lokal'nyh peremennyh, wzaimodejstwiq i rekursii. Takzhe rassmatriwaütsq formalizowannye simwolicheskie logiki, sistemy podderzhaniq istinnosti, rassuzhdeniq po umolchaniü i predpolozhenie o zamknutom mire.