A lot of work was done on building logical AI using symbolic logic, e.g. statements like "all dogs bark. spot is a dog. does spot bark?". Planning algorithms, fuzzy logic. Boston Dynamics is probably in this space. But