Share Email Print

Proceedings Paper

Assumption truth maintenance system for automatic target-recognizer evaluation
Author(s): Rubin Johnson; Mark Buenafe; Laura Fulton Bennett; Cecil Ivan Hudson
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

This paper describes an approach for employing an Assumption Truth Maintenance System (ATMS) to support a tri-service algorithm development environment. A truth maintenance system provides a mechanism for tracking assumptions and logical propositions, and recognizing contradictions. The higher order logic embodied by the truth maintenance system adds value and functionality to the tool set for applications programming. The first section of this paper describes an implementation of an ATMS in the Army's MAXIMIZE (matrix for algorithm exploration, optimization and evaluation) system. The latter part of the paper describes preliminary results of an integrated truth maintenance system to assist image understanding.

Paper Details

Date Published: 20 October 1993
PDF: 9 pages
Proc. SPIE 1957, Architecture, Hardware, and Forward-Looking Infrared Issues in Automatic Target Recognition, (20 October 1993); doi: 10.1117/12.161434
Show Author Affiliations
Rubin Johnson, OR Concepts Applied (United States)
Mark Buenafe, OR Concepts Applied (United States)
Laura Fulton Bennett, U.S. Army Research Lab. (United States)
Cecil Ivan Hudson, Expersoft (United States)

Published in SPIE Proceedings Vol. 1957:
Architecture, Hardware, and Forward-Looking Infrared Issues in Automatic Target Recognition
Lynn E. Garn; Lynda Ledford Graceffo, Editor(s)

© SPIE. Terms of Use
Back to Top