Artificial Intelligence Center

Representation and Reasoning Program

Technologies

The Representation and Reasoning Program conducts basic research in a wide range of topics within the field of Artificial Intelligence. In addition, this program has developed a numbers of software tools that support its research and greatly aid in the application of its technical results to new domains of application. Although the specific topics of research change as the field of AI matures and grows, this program has a long history of work in the following areas:

• Generative planning
• Reactive planning/control
• Fuzzy control
• Evidential reasoning
• Structured argumentation
• Automated deduction
• Knowledge management
• Agent architectures
• Distributed reasoning

Applications

Many of the technological innovations that are attributable to the Representation and Reasoning Program were motivated by attempts to address the specific problems of various real-world domains of application. These domains include:

• Military planning and scheduling
• Intelligence analysis
• Autonomous vehicle control
• Program composition/synthesis
• Data fusion and situation assessment
• Diagnosis and decision support
• Process control
• Emergency response planning and action
• Scientific knowledge-base management

Projects

The Representation and Reasoning Program is typically engaged in multiple projects, both contracts and grants, supported by government and industry.

Staff

The Representation and Reasoning Program maintains a staff of approximately 10 professionals, supplemented by international visitors and students. Approximately 80% of these professionals have a Ph.D., reflecting its commitment to conducting basic research and developing ground-breaking applications.

Publications

The staff of the Representation and Reasoning Program regularly publish in books, journals, conference proceedings, and technical notes.

John D. Lowrance, Program Director, <lowrance@ai.sri.com>
SRI International