Comment by PaulHoule

It's clear that commonsense reasoning needs to deal with modals, counterfactuals, defaults, temporal logic, etc.

It's not hard to add some extensions to logic for a particular application but a very hard problem to develop a general purpose extended logic.

I look at the logic-adjacent production rules systems which never really standardized some of the commonly necessary things such as agendas, priorities, defaults, etc.