Translator Disclaimer
26 February 2001 Utility for the validation and verification of knowledge bases of intelligent agents
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.
© (2001) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
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
PROCEEDINGS
11 PAGES


SHARE
Advertisement
Advertisement
Back to Top