Dr Thomas D Garvey

Past Projects

	A Knowledge Entry System for Subject Matter Experts The goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation.
	Artificial Intelligence – Research and Applications The fifth project using Shakey as a platform to test/demonstrate AI problems and approaches.
	Plan Authoring System based on Sketches, Advice, and Templates (PASSAT) PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. PASSAT enables users to quickly develop plans that draw upon past experience encoded in templates, but that are customized to their individual preferences of a given user. The PASSAT core consists of an interactive plan authoring capability; tools for task management, constraint reasoning, plan sketching and causal reasoning provide provide complementary automated capabilities.
	Research on Intelligent Automata A continuation of the original Shakey robot project, investigating AI problems involved in developing a robot.

Software

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.

Publications

The following are in reverse chronological order of publication.
Showing most recent 5 out of 36 [View All]

• Garvey, T. and Gervasio, M. and Lee, T. and Myers, K. and Angiolillo, C. and Gaston, M. and Knittel, J. and Kolojejchick, J. Learning by Demonstration to Support Military Planning and Decision Making, in Proceedings of the Twenty-first Conference on Innovative Applications of Artificial Intelligence (IAAI-09), AAAI Press, July 2009.  [Details]

• Garvey, T. and Gervasio, M. and Lee, T. and Myers, K. and Angiolillo, C. and Gaston, M. and Knittel, J. and Kolojejchick, J. Learning by Demonstration to Support Military Planning and Decision Making, in Proceedings of the Twenty-first Conference on Innovative Applications of Artificial Intelligence (IAAI-09), AAAI Press, July 2009.  [PDF, Details]

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

• Garvey, Thomas D. and Lowrance, John D. and Fischler, Martin A. An Inference Technique for Integrating Knowledge from Disparate Sourcesin Multisensor Integration and Fusion for Intelligenct Machines and Systems, Ablex Publishing Corporation., 1995.  [Details]

• Lowrance, John D. and Strat, Thomas M. and Wesley, Leonard P. and Garvey, Thomas D. and Ruspini, Enrique H. and Wilkins, David E. The Theory, Implementation, and Practice of Evidential Reasoning, Technical Note SRI Contra. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Jun 1991.  [Details]