Interactive Natural Language Explanations of Cyc Inferences
David Baxter, Blake Shepard, Nick Siegel, Benjamin Gottesman, David A. Schneider · 2005
Abstract * This paper describes the inference explanation capabilities of Cyc, a logical reasoning system that includes a huge “commonsense” knowledge base and an inference engine that supports both question answering and hypothesis generation. Cyc allows the user to compose queries by means of English templates, and tries to find answers via deductive reasoning. If deduction is fruitless Cyc resorts to abduction, filling in missing pieces of logical arguments with plausible conjectures to obtain provisional answers. Cyc presents its answers and chains of reasoning to the user in English, provides drilldown to external source references whenever possible, and reasons about its own proofs to determine optimal ways of presenting them to the user. When a chain of reasoning relies on conjectures introduced via abduction, the user can interact