I don't know if you know but 20 odd years ago what was called AI at universities was SMT/prolog etc. People where doing stuff like expressing common sense facts

I don't know if you know but 20 odd years ago what was called AI at universities was SMT/prolog etc. People where doing stuff like expressing common sense facts in logic and using programs to derive more common sense.