Commonsense reasoning is one of the branches of artificial intelligence that is concerned with simulating the human ability to make presumptions about the type and essence of ordinary situations they encounter every day. 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.