John O. Everett

Learn More
This paper describes one component of a system being developed at PARC for deriving knowledge representation from free text. The component takes compositionally derived semantic representations and converts them to knowledge representations, intended for use by a back-end reasoning system. A resource sensitive rewriting system, originally developed for(More)
In this paper, we describe POLESTAR (POLicy Explanation using STories and ARguments), an integrated suite of knowledge management and collaboration tools for intelligence analysts.POLESTAR provides built-in support for analyst workflow, including collection of textual facts from source documents, structured argumentation, and automatic citation in analytic(More)
Truth maintenance systems provide caches of beliefs and inferences that support explanations and search. Traditionally, the cost of using a TMS is monotonic growth in the size of this cache. In some applications this cost is too high; for example, intelligent learning environments may require students to explore many alternatives, which leads to(More)
We describe the application of primarily symbolic methods to the task of detecting logical redundancies and inconsistencies between documents in a medium sized, domain focused collection (1000–40,000 documents). Initial investigations indicate good scalability prospects, especially for syntactic and semantic processing. The difficult and largely neglected(More)
Reasoning about the physical world is a central human cognitive activity. One aspect of such reasoning is the inference of function from the structure of the artifacts one encounters. In this article we present the Topological iNference of Teleology (TNT) theory, an efficient means of inferring function from structure. TNT comprises a representation(More)
1 Institute for the Learning Sciences, Northwestern University {forbus ureel jbaher skuehne } 2 Xerox Palo Alto Research Center 3 Department of Mechanical Engineering, Northwestern University Abstract Several barriers hinder the widespread application of AI-based educational software. School and student(More)
The value of a lessons learned collection depends on how readily the right lesson can be retrieved at the right time. In this paper, we discuss one such collection, from the Eureka system for exchanging tips on photocopier repair. Feedback from Xerox photocopier repair technicians using Eureka indicates that redundancy in the knowledge base is a significant(More)
We discuss the treatment of prevention statements in both naturallanguage semantics and knowledge representation, with particularregard to existence entailments. First order representations withan explicit existence predicate are shown to not adequately capturethe entailments of prevention statements. A linguistic analysis isframed in a higher order(More)