Assumption truth maintenance system for automatic target-recognizer evaluation

Rubin Johnson; Mark Buenafe; Laura Fulton Bennett; Cecil Ivan Hudson

doi:10.1117/12.161434

20 October 1993 Assumption truth maintenance system for automatic target-recognizer evaluation

Rubin Johnson, Mark Buenafe, Laura Fulton Bennett, Cecil Ivan Hudson

Proceedings Volume 1957, Architecture, Hardware, and Forward-Looking Infrared Issues in Automatic Target Recognition; (1993) https://doi.org/10.1117/12.161434
Event: Optical Engineering and Photonics in Aerospace Sensing, 1993, Orlando, FL, United States

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.

Citation Download Citation

Rubin Johnson, Mark Buenafe, Laura Fulton Bennett, and 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); https://doi.org/10.1117/12.161434

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
9 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Detection and tracking algorithms

Image segmentation

Algorithm development

Automatic target recognition

Logic

Interfaces

Pattern recognition

Show All Keywords

Keywords/Phrases

Search In:

Publication Years