Large-Scale Commonsense Knowledge for Default Logic Reasoning

Commonsense reasoning (CSR) is the ability to reason about everyday situations. In artificial intelligence systems, such reasoning requires extensive background knowledge. We implement an integration pipeline that transforms existing large commonsense knowledge (CSK) resources into a logic representation designed to support contradictory and uncertain information. Our representation is an extension of first-order logic with default rules and numeric confidences. Using the pipeline, we integrate eight large CSK graphs to build a large knowledge base for symbolic hybrid AI. To the best of our knowledge, our contribution is the first large-scale commonsense knowledge base using default logic, available online. The CSK sources complement each other, having 5% or less overlap in knowledge between any pair of input graphs. The integrated knowledge supports taxonomy related queries. Significant gaps in commonsense knowledge remain, because most of the CSK sources lack rules that enable further reasoning beyond taxonomy. © 2023, The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd.