Robert P. Goldman

<A silly picture of Robert.>

New Stuff

John Maraist and I have a paper in the 2015 Qualitative Reasoning Workshop that describes our experiments to assess the accuracy of System Z+ qualitative probability, as used in the Scyllarus and MIFD (STRATUS) systems.

Ugur Kuter and I have a paper, "Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric," on the use of algorithmic complexity (approximated using normalized compression distance) as a plan-plan distance measure for plan diversity. It appeared in the Proceedings of AAAI 2015, and you can find it here.

I have a paper with Dan Bryce, Dave Musliner, and Sicun Gao (CMU) on planning in hybrid (discrete/continuous) domains, using the dReal SMT solver. Full disclosure: my contributions were minimal: almost all the work was done by Dan and Sicun. "SMT-based Nonlinear PDDL+ Planning" is here.

Computer Science Research


The STRATUS project (ongoing) is part of DARPA's Mission-centric Resilient Cloud program. It aims to develop computer security techniques to protect cloud based computing systems.

The only paper so far describing STRATUS is one from the AHANS workshop at SASO 2013, "Comparing Strategic and Tactical Responses to Cyber Threats," (first author, Jordan Thayer).

SMITE (Computer Security, Intrusion Detection)

The SMITE project, completed in 2011, was part of DARPA's Scalable Network Monitoring program. SMITE aimed to perform intrusion detection on ultra high speed network traffic (up to 100 Gbps).

My particular role in the project was to work on what is called intrusion detection system (IDS) "correlation" (correlation is actually a misleading term, what is really meant here is "fusion.")

Even more specifically, my work was in the component that is called the "evidence assessor." This component uses qualitative Bayesian reasoning to weigh competing hypotheses for clusters of IDS resports. Often these competing explanations weigh malign (malware sweeping the network in order to spread) against benign (print daemons looking for networked printers) explanations; the evidence assessor helps address the problem of false positives that has plagued IDSes.

This project continued work on techniques that were first developed in the ARGUS/Scyllarus project.

Papers from SMITE:

The ARGUS project

One of my last research projects at Honeywell, and one of those of which I was most proud was the ARGUS project. The ARGUS project was work in the area of computer security, specifically intrusion detection. The objective of the ARGUS project was to provide a framework for fusing the reports of multiple intrusion detection systems into a single unified view of a computer installation's security situation. This work builds on my interest in qualitative probability and Bayesian approaches to information fusion.

A couple of papers on the Argus project, were published at the DISCEX-2001 conference. Drafts are available:

Integrated learning (Planning, Knowledge Representation, Semantic Web)

I led a team of researchers including SIFT and University of Maryland as part of the BBN-led POIROT team for DARPA's Integrated Learning program, which aimed at integrating together a large number of intelligent systems to learn workflows from observing humans using web services.

Papers from Integrated Learning:


Planning for Uninhabited Air Vehicles (UAVs)

I've been doing a lot of work on planning for UAVs in the past years. This is closely related to my interest in Planning for Intelligent UIs, since we're trying to use AI planners to make it easier to command complex behaviors of autonomous systems. Unfortunately, the pace of this work has been such that I have not had time to write much about it. Here are some snippets:

Planning and Controller Synthesis

My work in automatic controller synthesis has mostly been done in collaboration with my colleague, David Musliner. He introduced me to the CIRCA architecture he developed (while at the University of Michigan). CIRCA is a novel architecture for doing intelligent control in hard real-time. I have since done work on incorporating model-checking into the architecture, doing abstraction-based controller synthesis, and extending the modeling capabilities for hierarchical control.

In 2001 I participated in the NASA New Millennium Program planning process, and to be on the program committee of the AAAI Symposium on Model-Based Validation of Intelligence, to be held at Stanford in March, 2001.

In 2002, I presented results from this work at the 2002 Workshop on Hybrid Control: Control and Computation (HSCC-2002).

In 2005, Musliner, Pelican, and I wrote a paper about incremental verification in controller synthesis at the Third Workshop on Model Checking and Artificial Intelligence (MoChArt05).

February 2006: Our paper on incremental verification in controller synthesis has been published in Electronic Notes in Theoretical Computer Science. You may find the paper through Elsevier's ScienceDirect website.

For recent papers in this area, click here.

My work on planning and controller synthesis grew out of earlier work on planning in conditions of incomplete information.

Information Fusion

I am interested in the use of Bayesian networks (belief networks, causal probabilistic networks) to do information fusion. I have worked on this in the context of troubleshooting abnormal situations in oil refineries (in the context of Honeywell's project on Abnormal Situation Management), and am now exploring the use of belief networks for information fusion in computer network intrusion detection (see the Argus project).

Planning with Incomplete Information

I became interested in work on planning under uncertainty as an outgrowth of my interest in general aspects of reasoning under uncertainy. Some of my early work in this area was concerned with developing a better understanding of algorithms for conditional planning, such as CNLP and Cassandra. This led me to work on formalizing the problem of conditional planning, and the development of algorithms for conditional linear planning and epsilon-safe planning. Some relevant papers include:

  • Representing Uncertainy in Simple Planners (from KR-94): Postscript only;
  • Conditional Linear Planning (from AIPS-94): Postscript and pdf;
  • Epsilon-Safe Planning (from UAI-94): Postscript and pdf;
  • Expressive Planning and Explicit Knowledge (from AIPS-96): Postscript and pdf;

These papers were all written with Mark S. Boddy at Honeywell Laboratories.

Planning for Intelligent User Interfaces

Through work with colleagues in user-centered design, notably Chris Miller, I have become interested in exploring the ways that planning systems, particularly constraint-based planning systems, can provide a user-interface to advanced control systems. One of the systems my group at Honeywell built was a multi-agent constraint-based planner (see below). Much of that work was done in conjunction with my colleague Karen Haigh.
In the course of this work, I have become interested in using optimization as a way to manage user interaction for intelligent systems. With some colleagues, I have written this work up in a paper that appeard in the 2005 proceedings of the American Helicopter Society's International Specialists' Meeting on Unmanned Rotorcraft: "Optimizing to Satisfice."

In 2006, a paper entitled "Delegation Interfaces for a Dynamic and Unpredictable Task: A Mobile Target Tracking Example," with my colleagues Chris Miller and Harry Funk, was presented at the NATO RTO Human Factors and Medicine Panel (HFM) Symposium which was held in Biarritz, France, 9-11 October 2006. That paper is available from a university site in France. Word format, I'm afraid.

A paper about the general approach, but written for a human factors audience, rather than an AI audience appeared at the HFES conference: "The Playbook Approach to Adaptive Automation," Proceedings of the Human Factors and Ergonomics Society 49th Annual Meeting, 2005.


From 2005 through 2007 I worked on the DARPA Coordinators program. This was a research program investigating coordination across multiple agents that execute complex, hierarchical tasks, in a dynamic environment. See multi-agent coordination.

My earliest work at Honeywell Technology Center was done on planning under uncertainty, and on constraint-based scheduling, specifically for batch manufacturing (a kind of manufacturing that is a hybrid between continuous and discrete manufacturing. For information on this work, and an off-print of an article from IEEE Intelligent Systems, send me some email.

Another offshoot of my work on controller synthesis has been an interest in verification. Here is a paper I co-authored, appearing in the proceedings of the 2001 Spin Workshop, describing work on verification at Honeywell Laboratories.

This web page is currently very much under construction.

Curriculum Vitae

My CV is available as HTML for easier browsing.

I have removed the MS Word version because keeping it up-to-date was difficult, especially in the face of revisions to the software and file formats. If you must have it in MS Word, please try to import the HTML and contact me if you have any problems.

I will also make publications available through this web site.

Recent papers

Here are some of my recent papers in various interest areas:
Robert P. Goldman
Last modified: Tue Jul 28 14:40:51 CDT 2015 Revision: $Revision: 1.57 $
Date: $Date: 2009/05/21 16:02:49 $