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 32)
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.

Lumen

Lumen

Lumen is a agent framework in the Belief-Desire-Intention paradigm that supports autonomous task execution, optionally controlled by user advice.

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.

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
©2015 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy