Explanations can be about a few different things. I’ve been having some luck splitting them into variant (who, when, where) and invariant (how, why, what) parts. Aristotle and Sun Tzu had their own type systems for causality, and I’m curious why I haven’t been able to find much in either philosophy or computer science about it. One guess is that I just haven’t found the right keywords yet, but I have gone hunting around citation chains from knowledge representation and Pearl’s stuff, as well as the stuff from here and here. The modal logic stuff seems promising but most of what’s been built on it seems like epicycles.
Explanations can be about a few different things. I’ve been having some luck splitting them into variant (who, when, where) and invariant (how, why, what) parts. Aristotle and Sun Tzu had their own type systems for causality, and I’m curious why I haven’t been able to find much in either philosophy or computer science about it. One guess is that I just haven’t found the right keywords yet, but I have gone hunting around citation chains from knowledge representation and Pearl’s stuff, as well as the stuff from here and here. The modal logic stuff seems promising but most of what’s been built on it seems like epicycles.