 |
Gister: An Evidential Reasoning SystemSRI pioneered evidential reasoning for drawing conclusions from multiple sources of evidential information about dynamic real-world situations. We have developed formal foundations for reasoning under uncertainty covering both probabilistic models (i.e., Bayesian and Dempster-Shafer) and possibilistic models (i.e., propositional logic and fuzzy logic) and have incorporated all of these techniques into a single uncertain reasoning tool, Gister. |
 |
Grasper: An Interactive Network Editor and Graphical DatabaseGrasper is a system for viewing and manipulating graph-structured information, and for building graph-based user interfaces for application programs. |
 |
Karto Robotic SDKKarto SDK for robot on the move |
|
Knowledge MachineKM 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. |
 |
LAW: Link Analysis WorkbenchLAW is a system that helps intelligence professionals define and match patterns within large, incomplete, and noisy sets of relational data. |
 |
Open Knowledge Base ConnectivityOpen Knowledge Base Connectivity (OKBC) is an application programming interface for accessing knowledge bases stored in knowledge representation systems (KRSs). OKBC provides a uniform model of KRSs based on a common conceptualization of classes, individuals, slots, facets, and inheritance. OKBC consists of a set of operations that provide a generic interface to underlying KRSs. |
 |
Plan Authoring System based on Sketches, Advice and TemplatesPASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. |
 |
PRIMEThe Probative Rapid Interactive Modeling Environment (PRIME) is a decision-support web application that provides modeling and reasoning capabilities intended to stretch the thinking of analysts and decision makers by producing a forecast of the plausible effects that could result from taking actions in a given situation. The plausibility of each forecast effect is explained by one or more structured arguments. |
 |
Radius Common Development EnvironmentA rapid prototyping system for 3-D image understanding algorithms. |
 |
SEAS: Structured Evidential Argumentation SystemSEAS is a tool to aid analysts in reasoning about potential opportunities/crises. It records analytic thinking in structured arguments, provides a collaborative environment in which multiple analysts can simultaneously contribute to arguments, and retains a coproate memory of the evolution of analytic thinking over time. |
This website does not contain information on all
of our past or present projects.
For further information
please contact us.
