Paper
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.
© (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
Lens.org Logo
CITATIONS
Cited by 1 scholarly publication.
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Tin

Aluminum

Calculus

Human-machine interfaces

Logic

Transform theory

Transformers

Back to Top