One school of thought suggests parts of Aristotle’s logic, nowadays referred to as term logic, and his rules of inference, could form core components of an artificial general intelligence (AGI).