To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize common sense reasoning using mathematical logic. Common sense Reasoning is a detailed, high-level reference on logic-based common-sense reasoning.
The automation of common-sense reasoning has been recognized as a central problem in artificial intelligence since the inception of the field sixty years ago. One of the most studied approaches toward this goal has been to use formal mathematical logic.