Software Systems
- Act-Editor: graphical browser/editor for
procedural knowledge
- CPEF: continuous planning and execution framework
- Cypress: integrated tool for generative
and reactive planning under uncertainity
-
EcoCyc: electronic encyclopedia
of E. coli Genes and Metabolism
- Gister-CL: integration and interpretation
of uncertain information
- GKB-Editor: graphical browser/editor for
declarative knowledge
- Grasper-CL: graphical language for
knowledge representation and the construction of specialized graphical user
interfaces
- ISC: intelligent system control
- MPA: multiagent planning architecture
- OKBC: Open Knowledge Base Connectivity,
successor of GFP
- PRS-CL: real-time execution of procedural
knowledge
- PTTP: Prolog technology theorem prover
- Saphira: robot control system
- SEAS: structured evidential
argumentation system
- SIPE-2: generative planning and execution
with replanning
- SNARK: automated deduction
system for application in AI and software engineering
Hardware Systems
- Erratic: low-cost mobile robot
platform for education
- Flakey: mobile robot platform
- SVM: small vision module
A Representative History of SRI Representation and Reasoning Technologies
John D. Lowrance, Program Director,
<lowrance@ai.sri.com>
SRI International
Act-Editor, Cypress, EcoCyc, Gister, Gister-CL, GKB-Editor, Grasper-CL, PRS-CL, PTTP, SEAS, SIPE, and SIPE-2 are trademarks of SRI International.
Copyright © 1995 SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025 USA.
All rights reserved.
Artificial Intelligence Center