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!

This entry was posted on Friday, January 6th, 2006 at 10:06 am and is filed under Description Logic, Logic Programming, Modal Logic, OWL, Papers, Rules. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.