Author: John D. Lowrance

  • 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.

  • 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.

  • Multiple-Target Tracking in Dense, Noisy Environments: A Probabilistic Mapping Perspective

    A new approach is taken to address the various aspects of the multiple-target tracking (MTT) problem in dense and noisy environments.

  • Ontology Construction Toolkit

    The goal of this project was to enable knowledge engineers to construct knowledge bases (KBs) faster. To achieve this goal, we investigated two techniques: knowledge reuse and axiom templates. The results were demonstrated by developing a question-answering system for the crisis management challenge problem (CMCP).

  • A Generic Knowledge-Base Browser and Editor

    The GKB Editor is a generic editor and browser of knowledge bases (KBs) and ontologies – generic in the sense that it is portable across several frame knowledge representation systems (FRSs).

  • Evidential Reasoning with Gister-CL: A Manual

    This document is designed to serve as a self-contained introduction to evidential reasoning and Gister-CL. Evidential reasoning is a collection of techniques for automated reasoning from evidence; Gister-CL is an application independent implementation of these techniques.

  • Planning and Reacting in Uncertain and Dynamic Environments

    The CYPRESS system is a domain-independent framework for defining persistent agents with this full range of behavior. It has been used for several demanding applications, including military operations, real-time tracking, and fault diagnosis.

  • Industrial Project Monitoring with Evidential Reasoning

    The system identifies problems and developments that might lead to deviations from planned project outcomes and does so at such an early stage that effective corrective action can still be taken.