Interactive Natural Language Explanations of Cyc Inferences

This paper describes the inference explanation capabilities of Cyc, a logical reasoning system that includes a huge "com- monsense" knowledge base and an inference engine that sup- ports both question answering and hypothesis generation. Cyc allows the user to compose queries by means of English templates, and tries to find answers via de...More