Interactive Natural Language Explanations of Cyc Inferences

  • Baxter D
  • Shepard B
  • Siegel N
 et al. 
  • 11


    Mendeley users who have this article in their library.
  • 4


    Citations of this article.


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

Author-supplied keywords

  • AAAI AI artificial intelligence

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

  • PUI: 43606127
  • ISBN: 1577352505
  • SCOPUS: 2-s2.0-33645978090
  • SGR: 33645978090


  • David Baxter

  • Blake Shepard

  • Nick Siegel

  • Benjamin Gottesman

  • Dave Schneider

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free