The computational complexity of reasoning within the Dempster-Shafer theory of evidence is one of the main points of criticism this formalism has to face. To overcome this difficulty various approximation algorithms have been suggested that aim at reducing the number of focal elements in the belief functions involved. Besides introducing a new algorithm using this method, this paper describes an empirical study that examines the appropriateness of these approximation procedures in decision making situations. It presents the empirical findings and discusses the various tradeoffs that have to be taken into account when actually applying one of these methods.

The Association for the Advancement of Artificial Intelligence presented the 2000 Fall Symposium Series was held on Friday through Sunday, 3 to 5 November, at the Sea Crest Oceanfront Conference Center. The titles of the five symposia were (1) Building Dialogue Systems for Tutorial Applications, (2) Learning How to Do Things, (3) Parallel Cognition for Embodied Agents, (4) Simulating Human Agents, and (5) Socially Intelligent Agents: The Human in the Loop.

The Association for the Advancement of Artificial Intelligence presented the 2000 Fall Symposium Series was held on Friday through Sunday, 3 to 5 November, at the Sea Crest Oceanfront Conference Center. The titles of the five symposia were (1) Building Dialogue Systems for Tutorial Applications, (2) Learning How to Do Things, (3) Parallel Cognition for Embodied Agents, (4) Simulating Human Agents, and (5) Socially Intelligent Agents: The Human in the Loop.