Some of it is described here: https://ai.stanford.edu/~nilsson/QAI/qai.pdf (THE QUEST FOR ARTIFICIAL INTELLIGENCE - A HISTORY OF IDEAS AND ACHIEVEMENTS)