|
Search | Contact | SRI Home | |
|
| ||
| AIC Home > Software > Knowledge Machine | ||
|
| ||
|
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. |
|
|
|
| ||
|
|
![]() |
©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493 |