Thinking Clearly .

Franz Baadar is a very smart cookie with a lot of excellent, influential work. One of my favorite papers by him is not one that reports results, but instead is an overview piece called Logic-based Knowledge Representation. He’s not the only person who’s written and written well on this topic. But this is a very nice paper that touches on what’s wrong with first order logic per se as a KR formalism (including the interesting point that FOL doesn’t support “structured representation” of knowledge, i.e., syntactic grouping of information), Description Logic vs. Logic Programming, modal logics, and nonmonontonic logics.

Enjoy.

Torture, last I checked, is still really, really, really bad. Condemn it today!