A TREE-BASED APPROACH FOR VERIFYING COMPLETENESS AND CONSISTENCY IN RULE-BASED SYSTEMS

被引：1

作者：

SUH, YH ^{[1
]}

MURRAY, TJ ^{[1
]}

机构：

[1] NEW JERSEY INST TECHNOL,SCH IND MANAGEMENT,NEWARK,NJ 07102

来源：

EXPERT SYSTEMS WITH APPLICATIONS | 1994年 / 7卷 / 02期

关键词：

D O I：

10.1016/0957-4174(94)90038-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Verification of a rule base is necessary both at its initial construction and at each change to its contents. Two main elements of verification are completeness and consistency. Current verification methods become unwieldy and impractical for all but small rule bases. This paper presents a new method based on a disjoint tree approach. This approach has the potential to carry out verification for completeness and consistency in a more efficient manner than alternative approaches.

引用

页码：199 / 220

页数：22

共 50 条

[1] A DECISION-TABLE-BASED PROCESSOR FOR CHECKING COMPLETENESS AND CONSISTENCY IN RULE-BASED EXPERT SYSTEMS
CRAGUN, BJ
STEUDEL, HJ
[J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1987, 26 (05): : 633 - 648
[2] CONSISTENCY OF RULE-BASED EXPERT SYSTEMS
BEZEM, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 151 - 161
[3] Verifying Resource Requirements for Distributed Rule-Based Systems
Alechina, Natasha
Logan, Brian
Nga, Nguyen Hoang
Rakib, Abdur
[J]. RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, RULEML 2008, 2008, 5321 : 31 - 38
[4] RULE-BASED CONSISTENCY ENFORCEMENT FOR KNOWLEDGE-BASED SYSTEMS
EICK, CF
WERSTEIN, P
[J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1993, 5 (01) : 52 - 64
[5] Rule-Based Completeness Check of Automation Solutions
Krausser, T.
Schmitz, S.
Yu, L.
[J]. AUTOMATION 2010, 2010, : 55 - 58
[6] RULE-BASED SYSTEMS
HAYESROTH, F
[J]. COMMUNICATIONS OF THE ACM, 1985, 28 (09) : 921 - 932
[7] Verifying Time and Communication Costs of Rule-Based Reasoners
Alechina, Natasha
Logan, Brian
Nga, Nguyen Hoang
Rakib, Abdur
[J]. MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2009, 5348 : 1 - 14
[8] VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Weidmann, Nils
Anjorin, Anthony
Cheney, James
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (330): : 1 - 12
[9] A new tree-based approach for evaluating rule antecedent constraint in confabulation based association rule mining
Soltani, Azadeh
Akbarzadeh-T, Mohammad-R.
[J]. INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2015, 19 (01) : 1 - 14
[10] Establishing a Service Tree-based Approach of Complex Systems
Zakal, David
Lengyel, Laszlo
[J]. 2011 2ND EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS-EERC), 2011, : 161 - 162

← 1 2 3 4 5 →