Rule-based representation techniques have become popular for storage and manipulation
of domain knowledge in expert systems. It is important that systems using such a …

In this paper, we propose a Petri nets formalism for the verification of rule-based systems.
Typical structural errors in a rule-based system are redundancy, inconsistency …

Researchers and practitioners in the field of expert systems all generally agree that to be
useful, any fielded intelligent system must be adequately verified and validated. But what …

In the past several years, various graphical techniques were proposed to analyze various
types of structural errors, including inconsistency (conflict rules), incompleteness (missing …

Validation of Human Behavior Representations Page 1 Harmon, Scott Y.; Hoffmann, Doug C.;
Gonzalez, Avalino J.; Knauf, Rainer; Barr, Valerie B.: Validation of human behavior …

We propose a Petri net formalism for the verification of rule based systems. Typical structural
errors in a rule based system are redundancy, inconsistency, incompleteness, and …

The single-pushout approach to graph transformation is extended to the algebraic
transformation of partial many-sorted unary algebras. Such a generalization has been …

Various graphic techniques have been developed to analyze structural errors in rule-based
systems that utilize inference (propositional) logic rules. Four typical errors in rule-based …

In this article, we examine the importance of validation and verification (V & V) for
engineering expert systems. In particular, we examine the aspect of incorporating …

We describe a real time visual surveillance system for detecting and tracking people in an
outdoor environment with an active camera which has zoom, tilt and pan control. It operates …