Is Intelligent Belief Really Beyond Logic?

Paul Snow

"Impossibility theorems" have recently appeared in the AI literature which have been interpreted as forbidding truth-functional uncertainty calculi. Such "logicist" calculi do in fact exist. For example, case-based reasoning principles entail a truth-functional probability-agreeing scheme whose strengths and weaknesses are not so different from those of the usual belief representation methods. No claim is made that belief modeling should be conducted exclusively along logicist lines, but a non-trivial common ground of intuition does exist beneath logicism and its alternatives.
