Testing the Integrity of Nonmonotonic Knowledge Bases Containing Semi-Normal Defaults

Neli P. Zlatareva

This paper presents a methodology for testing general non-monotonic knowledge bases for logical and semantic inconsistencies. It extends the CTMS-based verification framework introduced in our previous work with an additional integrity test. This test aims to ensure that a logically consistent non-monotonic knowledge base is also free of semantic inconsistencies, resulted from violated integrity constraints. Generally, semantic inconsistencies are detected during dynamic validation of the KBS. We argue, however, that some types of semantic inconsistencies can be explicated during the formal V&V analysis, and we describe a logical procedure that carries out this validation task.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.