Peter Clark
Research
Dr. Peter Clark is a Senior Research Director and founding member of the Allen Institute for AI (AI2), and also served as Interim CEO from 2022-2023. He leads AI2’s Aristo Project, a team of 15 people developing AI agents that can systematically reason, explain, and continually improve over time, in particular in the context of scientific discovery. He received his Ph.D. in 1991 and has worked in AI for over 30 years. He has published over 250 papers, and has received several awards, including four Best Paper awards (AAAI, EMNLP x 2, AKBC), a Boeing Associate Technical Fellowship (2004), and Senior Membership of AAAI.
Software
KM: The Knowledge Machine
KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism. Its origins were the Theo language and the (now obsolete) language KRL. It is implemented in Lisp.
The DART Database
The DART (Discovery and Aggregation of Relations in Text) database contains approximately 23 million distinct "world knowledge" propositions (110 million with duplicates), extracted from text by abstracting parse trees. The extraction system (DART) is based on ideas by Len Schubert. The DART system and database is described in detail in the paper below. The database was generated from the Reuters and BNC corpora. The database was created by Peter Clark and Phil Harrison (Boeing Research and Technology) and is publically available under the GNU Lesser General Public Licence.