The tool helps the group through the process of forming consensus, while preserving and quantifying differing ways of thinking. Angler provides a Web-based collaborative environment that allows users distributed by both time and geography to assemble in teams, with the help of a facilitator.
Human-aided multi-sensor fusion
This paper discusses some fundamental requirements for a human-aided multi-sensor fusion system, and proposes an approach that implements such a system. This approach involves integration of the probabilistic argumentation system and the structural evidential argumentation system, which both are variants of the Dempster-Shafer belief function theory.
Supporting the Pattern Development Cycle in Intelligence Gathering
This paper discusses the cycle through a use case of the Link Analysis Workbench (LAW), a tool for discovering and analyzing situations of interest in large relational data sets.
PHERL: an Emerging Representation Language for Patterns, Hypotheses, and Evidence
We are developing PHERL, an interchange language for link analysis tools, which is designed to support the sharing of patterns and hypotheses (e.g., pattern-match results).
A Collaborative Framework for Managing Uncertainty and Cognitive Bias
Designing a System for Structured Assessment of Compliance Risk
A formal reasoning technique known as structured argumentation has been explored by the IRS LMSB Research to improve compliance risk assessment. The IRS together with SRI International evaluated the use of structured argumentation using SEAS technology, towards enabling a more systematic and innovative approach towards assessing complex compliance issues.
Lightweight solutions for user interfaces over the WWW
We present some lightweight tools that have been essential in producing applications with complex interactive interfaces.
Capturing Analytic Thought
We are developing a new methodology that retains the ease of use, the familiarity, and (some of) the free-form nature of informal methods, while benefiting from the rigor, structure, and potential for automation characteristic of formal methods.
Structured Argumentation for Analysis
We are developing a new methodology that retains the ease-of-use, familiarity, and (some of) the free-form nature of informal methods, while benefiting from the rigor, structure, and potential for automation characteristic of formal methods.