Using directed hypergraphs to verify rule-based expert systems

M Ramaswamy, S Sarkar… - IEEE Transactions on …, 1997 - ieeexplore.ieee.org
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 …

A new approach to verify rule-based systems using petri nets

X He, WC Chu, H Yang - Information and software Technology, 2003 - Elsevier
In the past several years, various graphical techniques were proposed to analyze various
types of structural errors, including inconsistency (conflict rules), incompleteness (missing …

Wartościowanie wiedzy w inteligentnych systemach wspomagających zarządzanie

ML Owoc - Prace Naukowe Akademii Ekonomicznej we Wrocławiu …, 2004 - yadda.icm.edu.pl
Zaprezentowano podstawowe problemy charakterystyczne dla wartościowania wiedzy
odnoszącej się do zarządzania wraz z propozycją rozwiązań wybranych kwestii. Jako punkt …

On principles of knowledge validation

ML Owoc, M Ochmanska, T Gladysz - Validation and Verification of …, 1999 - Springer
Validation is a critical process in the whole knowledge-based system life cycle. A knowledge
base incorporated into such systems has to be verified or (more generally) validated. There …

[PDF][PDF] Model Checking the Inconsistency and Circularity in Rule-Based Expert Systems.

D Xu, K Xia, D Zhang, H Zhang - Comput. Inf. Sci., 2009 - pdfs.semanticscholar.org
In the past several years, various techniques were proposed to analyze various types of
structural errors, such as inconsistency (conflict rules), and circularity (circular depending …

Measuring the complexity of rule-based expert systems

Z Chen, CY Suen - Expert Systems with Applications, 1994 - Elsevier
Many quantitative metrics have already been proposed to measure software complexity for
different applications. A similar but different application of these measurements could also …

Molecular verification of rule-based systems based on DNA computation

CW Yeh, CP Chu - IEEE Transactions on Knowledge and Data …, 2008 - ieeexplore.ieee.org
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 …

Where's Charlie: family based heuristics for peer-to-peer schema integration

J Tranier, R Baraer, Z Bellahsene… - … , 2004. IDEAS'04., 2004 - ieeexplore.ieee.org
Querying semantically related data sources depends on the ability to map between their
schemas. Unfortunately, in most cases matching between schemas is still largely performed …

Active outdoor surveillance

I Haritaoglu, D Harwood… - … Conference on Image …, 1999 - ieeexplore.ieee.org
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 …

[图书][B] Detecting faults in chained-inference rules in information distribution systems

YF Hwang - 1997 - search.proquest.com
There has previously been considerable work in the quality assessment of critical control
systems, such as Command, Control, Communication, and Intelligence (C $\sp3 $ I) systems …