Allen Institute for Artificial Intelligence

Aristo

Aristo is a system that answers questions from standardized science exams at multiple grade levels. The process involves three basic functions: (1) an ability to acquire and process facts into a structured knowledge base; (2) an ability to 'understand' exam questions and analyze their accompanying diagrams; and (3) an ability to answer questions using entailment, statistical analysis, and inference methods.

Source: http://allenai.org/aristo/

Euclid

Euclid is a project to develop systems that solve math and geometry problems. Recently, it developed GeoS, an automated system that solves high school geometry problems by interpreting question diagrams and text in natural language. The system achieved a 49% score on official SAT questions and a 61% on practice SAT questions.

Source: http://allenai.org/euclid/

Plato

This project concerns the acquisition, learning, and representation of visual knowledge. It seeks to build systems that exhibit visual common-sense and are able to integrate visual information with textual information to improve knowledge acquisition and reasoning. Problems it has tackled or is tackling are the prediction of the dynamics of objects in static images (Newtonian Neural Network), the visual learning of concepts such as 'chair' (Levan), the visual verification of relation phrases such as 'does the dog eat ice cream' (VisKE), and the visual recognition of daily human activities (Charades).

Source: http://allenai.org/plato/

Semantic Scholar

Semantic Scholar is an academic search engine that is under development to improve the efficiency of literature searches. Its special features include an ability to quickly find the most relevant survey papers for a topic; search filters by relevant authors, data sets used, and publication venues; identification of a paper's highly influential citations; extraction of key figures and their captions; and extraction of key phrases.

Source: https://www.semanticscholar.org