Towards adequate knowledge and natural inference

Our approach to mind-design derives from the view of language as a mirror of mind - a view compatible with the linguistic orientation of the Turing Test, and more concretely, with the remarkably tight coupling between linguistic structure and semantic entailment demonstrated by Richard Montague. Additional evidence for the power of this perspective comes from recent work in Natural Logic (NLog), in a sense a method of "reading off" certain obvious inferences directly from linguistic structure. Thus much of our past emphasis has been on developing a knowledge representation, Episodic Logic (EL), matching the expressivity of language, and inference machinery for this representation. More recently we have been striving to create broad bases of general world knowledge and lexical knowledge, while also adapting the latest version of our EPILOG inference engine to the kinds of obvious inferences that are the forte of NLog. At this point our knowledge collections range from sets of a few dozen core lexical axioms to millions of general "factoids" and quantified axioms derived from many of these, all expressed in EL. At the same time we have shown that EPILOG easily handles NLog-like inferences as well as ones beyond the scope of NLog.