Share Email Print

Proceedings Paper

Utility for the validation and verification of knowledge bases of intelligent agents
Author(s): Abbas K. Zaidi; Shahid Jabbar; Khalid J. Siddiqui
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper 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.

Paper Details

Date Published: 26 February 2001
PDF: 11 pages
Proc. SPIE 4205, Advanced Environmental and Chemical Sensing Technology, (26 February 2001); doi: 10.1117/12.417463
Show Author Affiliations
Abbas K. Zaidi, Mohammad Ali Jinnah Univ. (Pakistan)
Shahid Jabbar, Mohammad Ali Jinnah Univ. (Pakistan)
Khalid J. Siddiqui, SUNY/Fredonia (United States)

Published in SPIE Proceedings Vol. 4205:
Advanced Environmental and Chemical Sensing Technology
Tuan Vo-Dinh; Stephanus Buettgenbach, Editor(s)

© SPIE. Terms of Use
Back to Top
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?