Title: Towards an automated logic of human thought
Subjects: Artificial intelligence, Computer vision