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.

Dr Thomas D Garvey

Associate Director
Artificial Intelligence Center

SRI International
Room EJ201
333 Ravenswood Avenue
Menlo Park, CA 94025-3493
USA

Phone:  (650) 859-3486
Fax: (650) 859-3735

Email: 

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

Shakey V

Artificial Intelligence – Research and Applications

The fifth project using Shakey as a platform to test/demonstrate AI problems and approaches.

BL

Bootstrapped Learning

Currently, fielded software systems can only be modified by sending them "back to the shop" for expensive, time-consuming reprogramming. The goal of Bootstrapped Learning is to let end users rapidly modify system by instructing them in correct behavior, similar to how they would teach a person.

PASSAT

Plan Authoring System based on Sketches, Advice, and Templates (PASSAT)

PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. PASSAT enables users to quickly develop plans that draw upon past experience encoded in templates, but that are customized to their individual preferences of a given user. The PASSAT core consists of an interactive plan authoring capability; tools for task management, constraint reasoning, plan sketching and causal reasoning provide provide complementary automated capabilities.

Shakey II

Research on Intelligent Automata

A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.

TransPAL

TransPAL: Transitioning PAL Technologies

The TransPAL project is transitioning a number of technologies developed on the DARPA PAL program for use by various members of the Armed Services.

Software

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.

PAL Framework

PAL Framework

PAL (Personalized Assistant that Learns) Framework website.

Publications

The following are in reverse chronological order of publication.
Showing most recent 5 out of 36 [View All]

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