arrow
返回

Using directed hypergraphs to verify rule-based expert systems

delete1997-01-01
delete36
PRE
AI
S
Sumit Sarkar
Y
Ye-Sho Chen
DOI:10.1109/69.591448delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
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 representation are verified for accuracy before implementation. In recent years, graphical techniques have been found to provide a good framework for the detection of errors that may appear in a rule base [1], [16], [17], [19], [23]. In this work we present a graphical representation scheme that: 1) captures complex dependencies across clauses in a rule base in a compact yet intuitively clear manner and 2) is easily automated to detect structural errors in a rigorous fashion. Our technique uses a directed hypergraph to accurately detect the different types bf structural errors that appear iri a rule base. The technique allows rules to be represented in a manner that clearly identifies complex dependencies across compound clauses. Subsequently, the verification procedure can detect errors in an accurate fashion by using simple operations on the adjacency matrix of the directed hypergraph. The technique is shown to have a computational complexity that is comparable to that of other graphical techniques. The graphical representation coupled with the associated matrix operations illustrate how directed hypergraphs are a very appropriate representation technique for the verification task.
Keyword:
error detection
hypergraphs
knowledge verification
knowledge acquisition
rule-based expert systems
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Knowledge and Data Engineering 封面图
IEEE Transactions on Knowledge and Data Engineering
IF:
10.4
论文数:
6.8K
被引数:
3.2W

机构

暂无机构信息
引用论文

引用论文

Comparison of iodinated contrast media for the assessment of atherosclerotic plaque attenuation values by CT coronary angiography: observations in anex vivomodel
err2013-01-01
err0
errOAAI
errL La Grutta; M Galia; G Gentile; G Lo Re; E Grassedonio; F Coppolino; E Maffei; E Maresi; A Lo Casto; F Cademartiri; M Midiri
err分享
err收藏
RULE-BASED SYSTEMS
err1985-09-01
err261
errOAAI
errHAYESROTH, F
err分享
err收藏
Robotic revision surgery after failed Nissen anti-reflux surgery: a single center experience and a literature review
err2023-03-02
err0
errOAAI
errGraziano Ceccarelli; Manuel Valeri; Lavinia Amato; Michele De Rosa; Fabio Rondelli; Micaela Cappuccio; Francesca Elvira Gambale; Mariarita Fantozzi; Guido Sciaudone; Pasquale Avella; Aldo Rocca
err分享
err收藏
Feeding flow and membranelle filtration in ciliates
err2022-02-08
err0
errOAAI
errMads Rode; Thomas Kiørboe; Anders Andersen
err分享
err收藏
The Cultural Adaptation, Reliability, and Validity of Neck Disability Index in Patients With Neck Pain
err2009-07-01
err0
PREAI
errEmine Aslan Telci; Ayse Karaduman; Yavuz Yakut; Bahar Aras; İbrahim E. Simsek; Naciye Yagli
err分享
err收藏
学者 查看更多内容