AIC Home > Research > Software > KM
Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International. 333 Ravenswood Avenue. Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Knowledge Machine

Point of Contact:  Dr Peter E. Clark

Mailing address:
AI Center
SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025-3493

Home page at http://www.cs.utexas.edu/users/mfkb/km/

   Software Description

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.
   Associated Projects
SHAKEN

A Knowledge Entry System for Subject Matter Experts
The goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation.

SRI International
©2012 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy