Biography and Interests

Peter was a member of the AI Center between 2000 and 2004 where he worked on a range of automated reasoning projects for DARPA and ARDA. He departed in May 2004 for NASA Ames Research Center. Peter’s notable achievements at SRI included innovations in the areas of automated plan generation and plan recognition. Please see his publications below for details.

Past Projects

	Aquaint: From Question-Answering to Information Seeking Dialogs From question-answering to information-seeking dialogs.
	Coordination of Distributed Activities (CODA) The CODA system provides targeted information dissemination among distributed planners as a way of improving team coordination. In CODA, an individual planner declares interest in different types of plan changes that could impact his local plan development. As a team of distributed users develop plans with a plan authoring tool, their activities are monitored; changes that match declared interests are forwarded automatically to the person who declared interest in them.
	Deductive Composition of Multiple Data Sources A framework is being developed for composing answers to queries, using automated deduction and multi-agent information brokering, based on multiple information sources. The technology is being applied to answering geographical queries for ecological modeling, based on NASA EOSDIS satellite imagery, map data, and gazetteer information.
	Inferring Intent of Attackers CAPRE uses plan recognition techniques to automatically determining the intent behind a cluster of security alerts. This allows us to prioritize and explain alert clusters to users.
	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.
	The JFACC Planner/Scheduler The main accomplishment on the project was the development of an integrated planning and scheduling capability that supports generation of tightly linked air operations plans and schedules, as well as their adaptation in response to changing tasks and resource availability. This effort built on existing planning (CPEF, from SRI) and scheduling (ACS, from CMU) technologies that provide core generation and repair techniques. (Joint work with Dr. Stephen F. Smith)

Software

Plan Authoring System based on Sketches, Advice and Templates PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates.

Publications

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

• Jarvis, P., Lunt, T., and Myers, K. Identifying Terrorist Activity with AI Plan Recognition Technology, in The Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI 04), AAAI Press, 2004.  [PDF, Details]

• Waldinger, R. and Appelt, D. E. and Fry, J. and Israel, D. J. and Jarvis, P. and Martin, D. and Riehemann, S. and Stickel, M. E. and Tyson, M. and Hobbs, J. and Dungan, J. L. Deductive Question Answering from Multiple Resourcesin New Directions in Question Answering, AAAI, 2004.  [PDF, Details]

• Waldinger, R. , Jarvis, P., and Dungan, J. Using Deduction to Choreograph Multiple Data Sources, in Semantic Web Technologies for Searching and Retrieving, Sanibel Island, Florida, Oct 2003.  [PDF, Details]

• Waldinger, R., Jarvis, P., and Dungan, J. Program Synthesis for Multi-Agent Question Answeringin International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Manna’s 64th Birthday, Springer Verlag, Lecture Notes in Computer Science, July 2003.  [PDF, Details]

• Waldinger, R., Jarvis, P., and Dungan, J. Pointing to Places in a Deductive Geospatial Theory, in Workshop on Analysis of Geographical References; Human Language Technology Conference , Edmonton, Canada, pp. 10–17, May–Jun 2003.  [PDF, Details]