The last AIs that worked on LOGIC and REASON in the way that you want to see it was PROLOG in the 1980s/early 90s.
They were logic based. But our current batch of chatbots are predictors not logicians. I love ’em and use them daily but they confabulate.