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.

Software

Sort by:  Title Z-A
Displaying 11 to 20 (out of 31)
Start |  Prev  |  Next  |  End
Gister: An Evidential Reasoning System

Gister: An Evidential Reasoning System

SRI 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 Database

Grasper: An Interactive Network Editor and Graphical Database

Grasper is a system for viewing and manipulating graph-structured information, and for building graph-based user interfaces for application programs.

Karto Robotic SDK

Karto Robotic SDK

Karto SDK for robot on the move

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.

LAW: Link Analysis Workbench

LAW: Link Analysis Workbench

LAW is a system that helps intelligence professionals define and match patterns within large, incomplete, and noisy sets of relational data.

Open Knowledge Base Connectivity

Open Knowledge Base Connectivity

Open 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.

PAL Framework

PAL Framework

PAL (Personalized Assistant that Learns) Framework website.

Plan Authoring System based on Sketches, Advice and Templates

Plan Authoring System based on Sketches, Advice and Templates

PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates.

PRIME

PRIME

The 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 Environment

Radius Common Development Environment

A rapid prototyping system for 3-D image understanding algorithms.

This website does not contain information on all of our past or present projects.
For further information please contact us.

Start |  Prev  |  Next  |  End
SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy