![]() |
Research in Advanced Formal Theorem-Proving TechniquesAIC Historical Archive |
Research on Intelligent AutomataA continuation of the original Shakey robot project, investigating AI problems involved in developing a robot. |
|
Reusable Tools for Knowledge Base and Ontology DevelopmentThe Goal of this project is to develop knowledge base tools that can be used with multiple knowledge representation systems. |
|
Self-organizing mobile ad hoc networksWe 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. |
|
Tactical Mission PlanningSRI, in collaboration with NASA Ames, is developing mixed-initiative planning technology to support scientists in constructing tactical mission plans for future planetary exploration missions. |
|
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. |
|
![]() |
Task-based Information Distribution EnvironmentTIDE 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. |
![]() |
Task Management for Dynamic Tactical TargetingProvide task refinement, management and reasoning capabilities to support the Dynamic Sensor Management system being developed by Alphatech |
TEAMBOTICA: A Robotic framework for integrated teaming, tasking, networking and controlTeambotica is a research initiative to develop the computational framework necessary for intelligent, autonomous teams of robots to operate in hostile environments. |
|
Teambots: Video games and simulations that model teamsOur project is to build artificial team player for computer games. Our goal is to design and build virtual player that understand the notion of team objectives, the notion of roles (defender, supporter, attacker) and also understand the implications of their actions on the goal. |
This website does not contain information on all
of our past or present projects.
For further information
please contact us.
