Project Halo: Towards a Digital Aristotle
TL;DR: The motivation and longterm goals of Project Halo are presented, and the six-month first phase of the project -- the Halo Pilot -- its KR&R challenge, empirical evaluation, results, and failure analysis are described.
Abstract: Project Halo is a multistaged effort, sponsored by Vulcan Inc, aimed at creating Digital Aristotle, an application that will encompass much of the world's scientific knowledge and be capable of applying sophisticated problem solving to answer novel questions. Vulcan envisions two primary roles for Digital Aristotle: as a tutor to instruct students in the sciences and as an interdisciplinary research assistant to help scientists in their work. As a first step towards this goal, we have just completed a six-month pilot phase designed to assess the state of the art in applied knowledge representation and reasoning (KR&/R). Vulcan selected three teams, each of which was to formally represent 70 pages from the advanced placement (AP) chemistry syllabus and deliver knowledge-based systems capable of answering questions on that syllabus. The evaluation quantified each system's coverage of the syllabus in terms of its ability to answer novel, previously unseen questions and to provide human- readable answer justifications. These justifications will play a critical role in building user trust in the question-answering capabilities of Digital Aristotle. Prior to the final evaluation, a "failure taxonomy' was collaboratively developed in an attempt to standardize failure analysis and to facilitate cross-platform comparisons. Despite differences in approach, all three systems did very well on the challenge, achieving performance comparable to the human median. The analysis also provided key insights into how the approaches might be scaled, while at the same time suggesting how the cost of producing such systems might be reduced. This outcome leaves us highly optimistic that the technical challenges facing this effort in the years to come can be identified and overcome. This article presents the motivation and longterm goals of Project Halo, describes in detail the six-month first phase of the project -- the Halo Pilot -- its KR&R challenge, empirical evaluation, results, and failure analysis. The pilot's outcome is used to define challenges for the next phase of the project and beyond.
Cites background from "Project Halo: Towards a Digital Ari..."
...…KB of medical knowledge, the QED Project which aims to build a formal KB of all important, established mathematical knowledge, and the Halo project (Friedland et al., 2004) which has for very long term goal a system capable of teaching much of the world’s scientific knowledge by preparing and…...
...KBs, for example, the Open GALEN project which created a KB of medical knowledge, the QED Project which aims to build a formal KB of all important, established mathematical knowledge, and the Halo project (Friedland et al., 2004) which has for very long term goal a system capable of teaching much of the world’s scientific knowledge by preparing and answering test questions for students according to their knowledge and preferences....
"Project Halo: Towards a Digital Ari..." refers background in this paper
...In the area of knowledge-based systems, DARPA, AFOSR, NRI, and NSF jointly funded the knowledge sharing effort in 1991 (Neches et al. 1991)....