With all the interest in Artificial Intelligence, it seems interesting to understand  (Natural) Intelligence, particularly the mechanisms that give rise to different features of intelligence. It is also interesting to consider features of a logical system that could model and/or exhibit features of intelligence. Intelligent beings interact with their physical environment, sensing and effecting. What kind of logical system might exhibit intelligence? 

In this talk we will review the features of and mechanisms underlying intelligence at different stages of evolution, based on work of Max Bennet [1]. We will recall the FOL logical system, developed at the Stanford AI Lab, that was motivated by understanding intelligence and the challenge of building computer individuals that exhibited features of intelligence [2]. 

How well did FOL capture the features and mechanisms of intelligence, whose evolution was just being discovered? Does Logic have a role in current AI? 

REFERENCES

1. Max S. Bennet. A Brief History of Intelligence. Evolution, AI, and the Five Breakthroughs That Made Our Brains. Mariner Books, 2023. 

2. Richard W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13:133–170, 1980.