First Order Logic and Commonsense Reasoning: A Path Less Travelled.

The context of the paper is developing logic-based components for hybrid – machine learning plus logic – commonsense question answering systems. The paper presents the main principles and several lessons learned from implementing an automated reasoner able to handle both undecidable exceptions and numerical confidences for full first order logic. Although the described reasoner is based on the resolution method, some of these lessons may be useful for the further development of ASP systems.