Past Projects

Displaying 11 to 20 (out of 68)

	Task Management for Dynamic Tactical Targeting Provide task refinement, management and reasoning capabilities to support the Dynamic Sensor Management system being developed by Alphatech
	Task-based Information Distribution Environment TIDE is a collection of information management tools that automatically disseminate and organize documents based on relevance to models of collaborators' tasks. TIDE uses a novel probabilistic reasoning approach to derive information needs from tasks, present to the user a set of documents that broadly cover his current information needs, and adapt its task model based on user relevance feedback.
	Taskable Reactive Agent Communities (TRAC) The TRAC project developed mixed-initiative technology that enables flexible tasking and direction of agents by a user. Within TRAC, a user assigns tasks to agents along with guidance that imposes boundaries on agent behavior. During execution, the user manages agent activities in accord with a level of involvement that suits his individual needs. In essence, our work can be viewed as providing a form of process management technology that enables ready human control of agent communities.
	Tactical Mission Planning SRI, in collaboration with NASA Ames, is developing mixed-initiative planning technology to support scientists in constructing tactical mission plans for future planetary exploration missions.
	Self-organizing mobile ad hoc networks We address the problem of controlling large numbers of small mobile robots that form a multi-hop ad hoc communication network. We employ learning, optimization, and distributed coordination techniques to enable the robots to self-organize in order to maximize network performance.
	Reusable Tools for Knowledge Base and Ontology Development The Goal of this project is to develop knowledge base tools that can be used with multiple knowledge representation systems.
	Research on Intelligent Automata A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.
	Research in Advanced Formal Theorem-Proving Techniques AIC Historical Archive
	Research and Applications Artificial Intelligence A continuation of the AI research based around Shakey.
	Research and Applications Artificial Intelligence The fourth project centered around Shakey as a platform for investigating AI problems.

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

Start | Prev | Next | End