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.

Grasper: An Interactive Network Editor and Graphical Database Grasper is a system for viewing and manipulating graph-structured information, and for building graph-based user interfaces for application programs.

The following are in reverse chronological order of publication.

• Lowrance, J. and Garvey, G. and Strat, T. A Framework for Evidential-Reasoning Systems. in Classic Works on the Dempster-Shafer Theory of Belief Functions, 16, pp. 419-434, Springer-Verlag, 2008.  [Details]

• Houzelle, Stephane, Strat, Thomas M., Fua, Pascal, and Fischler, Martin A. Learning Control Parameters of a Vision Process Using Contextual Information, Technical Note 542. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1994.  [PDF, Details]

• Karp, P. D. and Lowrance, J. D. and Strat, T. M. and Wilkins, D. E. The Grasper-CL Graph Management System. LISP and Symbolic Computation, vol. 7, pp. 245-282, 1994.  [PS, Details]

• Lowrance, John D. and Garvey, Thomas D. and Strat, Thomas M. A Framework for Evidential-Reasoning Systems. in Uncertain Reasoning, Morgan Kaufman Publishers, Inc., 1990.  [Details]

• Lowrance, John D. and Garvey, Thomas D. and Strat, Thomas M. A Framework for Evidential-Reasoning Systems, in Proceedings of the National Conference on Artificial Intelligence, Menlo Park, CA, pp. 896-903, Aug 1986.  [Details]