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

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

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

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

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available