20 October 1993 Assumption truth maintenance system for automatic target-recognizer evaluation
Author Affiliations +
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.
© (1993) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Rubin Johnson, Rubin Johnson, Mark Buenafe, Mark Buenafe, Laura Fulton Bennett, Laura Fulton Bennett, Cecil Ivan Hudson, Cecil Ivan Hudson, } "Assumption truth maintenance system for automatic target-recognizer evaluation", Proc. SPIE 1957, Architecture, Hardware, and Forward-Looking Infrared Issues in Automatic Target Recognition, (20 October 1993); doi: 10.1117/12.161434; https://doi.org/10.1117/12.161434

Back to Top