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.
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.
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.
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 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.
We present some lightweight tools that have been essential in producing applications with complex interactive interfaces.
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.
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.