Artificial intelligence publications
-
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…
-
Reusing Prior Knowledge: Problems and Solutions
In this paper, we focus on the process of reuse and report a case study on constructing a KB by reusing existing knowledge. The reuse process involved the following steps:…
-
Multiple-Target Tracking and Data Fusion via Probabilistic Mapping
A new approach is taken to address the various aspects of the multi-sensor, multi-target tracking (MTT) problem in dense and noisy environments. Instead of fixing the trackers on the potential…
-
Measuring the Self-Consistency of Stereo Algorithms
A new approach to characterizing the performance of point-correspondence algorithms is presented. Instead of relying on any "ground truth", it uses the self-consistency of the outputs of an algorithm independently…
-
A Guide to SNARK
Snark, SRI's New Automated Reasoning Kit, is a theorem prover intended for applications in artificial intelligence and software engineering. This document is an example-driven tutorial introduction to snark that will…
-
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.
-
MAESTRO: Conductor of Multimedia Analysis Technologies
MAESTRO is a research and demonstration system developed at SRI International for exploring the contribution of a variety of analysis technologies
-
XOL: An XML-Based Ontology Exchange Language
This document describes a language called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
-
Planning with Conflicting Advice
This paper introduces two contrasting methods for planning with conflicting advice, suited to different user requirements. Soft enforcement embodies a heuristic approach that prefers planning choices that are consistent with…
-
An Ontology for Biological Function Based on Molecular Interactions
The article explores the notion of computing with function, and explains the importance of ontologies of function to bioinformatics.
-
Global Properties of the Metabolic Map of Escherichia coli
Here we present a computational analysis of the global properties of that network, which consists of 744 reactions that are catalyzed by 607 enzymes.
-
The EcoCyc and MetaCyc Databases
Both databases are queried using the Pathway Tools graphical user interface, which provides a wide variety of query operations and visualization tools.