Utility for the Validation and Verification of Knowledge Bases of Intellignet Agents

摘要

A significant phasci in the development of an intelligent agent is the construction of its Knowledge Basc (KB) on the basis of which it has to take the appropriate actions. The validation and verification (V&V) of KBs is an improtant part of any KB system development, ignoring it can result anomalics during run-time. The paper discusses the implementation of a utility for validation and verification of KBs'. The mehtodlogy transforms the rules in a KB to an equivalent Petri net representation and then applies the analtical tools of the Petri net theory for the detection of errors.