"Our... cognitive architecture is based on a formal [psychological] theory... the PSI theory... [which] has been turned into a computational model... MicroPSI... partially implemented as a computer program."