Utility for the validation and verification of knowledge bases of intelligent agents

Abbas K. Zaidi; Shahid Jabbar; Khalid J. Siddiqui

doi:10.1117/12.417463

Translator Disclaimer

26 February 2001 Utility for the validation and verification of knowledge bases of intelligent agents

Abbas K. Zaidi; Shahid Jabbar; Khalid J. Siddiqui

Author Affiliations +

Proceedings Volume 4205, Advanced Environmental and Chemical Sensing Technology; (2001) https://doi.org/10.1117/12.417463
Event: Environmental and Industrial Sensing, 2000, Boston, MA, United States

Abstract

A significant phase in the development of an intelligent agent is the construction of its Knowledge Base (KB) on the basis of which it has to take the appropriate actions. The validation and verification (V&V) of KBs is an important part of any KB system development, ignoring it can result anomalies during run-time. The paper discusses the implementation of a utility for validation and verification of KBs'. The methodology transforms the rules in a KB to an equivalent Petri net representation and then applies the analytical tools ofthe Petri net theory for the detection of errors.

Citation Download Citation

Abbas K. Zaidi, Shahid Jabbar, and Khalid J. Siddiqui "Utility for the validation and verification of knowledge bases of intelligent agents", Proc. SPIE 4205, Advanced Environmental and Chemical Sensing Technology, (26 February 2001); https://doi.org/10.1117/12.417463

ACCESS THE FULL ARTICLE