{'fraction_non_alphanumeric': 0.0175, 'fraction_numerical': 0.0, 'mean_word_length': 5.905172413793103, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Assumption truth maintenance system for automatic target-recognizer evaluation

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.