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 $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

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