GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description)

Abstract

Our goal is to develop a logic-based component for hybrid – machine learning plus logic – commonsense question answering systems. The paper presents an implementation GK of default logic for handling rules with exceptions in unrestricted first order knowledge bases. GK is built on top of our existing automated reasoning system with confidence calculation capabilities. To overcome the problem of undecidability of checking potential exceptions, GK performs delayed recursive checks with diminishing time limits. These are combined with the taxonomy-based priorities for defaults and numerical confidences.

Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper)

“…We conduct experiments on a modified version of the conventional high-performance resolutionbased FOL prover GKC [18] implemented by the author and available at https://github.com/tammet/gkc. The prover was built to serve as an underlying system for the commonsense reasoner GK, which implements numeric confidences [20] and default logic [19]. The GK system is a critical component of the pipeline [23] for commonsense reasoning using natural language.…”