Dependency analysis for knowledge validation in rule-based expert systems

Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based e...

Full description

Saved in:
Bibliographic Details
Main Authors: Wu, Chih-Hung, Lee, Shie-Jue, Chou, Hung-Sen
Format: Conference Proceeding
Language:English
Subjects:
Councils
Engines
Expert systems
Knowledge based systems
Knowledge engineering
Logic
Production
System testing
Terminology
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 333
container_issue
container_start_page 327
container_title
container_volume
creator Wu, Chih-Hung
Lee, Shie-Jue
Chou, Hung-Sen
description Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based expert systems using dependency analysis. A rule-dependency graph is developed to describe the dependency relationship among the rules contained in a knowledge base. Since each type of inconsistent knowledge presents a specific topology in the rule-dependency graph, knowledge validation can be done by examining the structure of the graph. With the aid of the rule-dependency graph, we have developed a token-flow paradigm that identifies the inconsistent structure in the rule base. The idea is effective and can be easily implemented. Properties of our method are explored. Some practical examples are also presented.< >
doi_str_mv 10.1109/CAIA.1994.323657
format conference_proceeding
fullrecord <record><control><sourceid>proquest_6IE</sourceid><recordid>TN_cdi_ieee_primary_323657</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>323657</ieee_id><sourcerecordid>26329365</sourcerecordid><originalsourceid>FETCH-LOGICAL-i203t-46ecd6bfb5441d551393bf2a579926bc7253b79a74dfaf0bc8fbed90a2e1089d3</originalsourceid><addsrcrecordid>eNotkE1LxDAYhAMiKOvexVNO3rrmo2mSY6lfhQUvei5J80ai2bQ2XbX_3sI6l7k8DDOD0DUlO0qJvmvqtt5RrcsdZ7wS8gxttVREUVUJIQi5QNucP8gqIaRW8hK19zBCcpD6BZtk4pJDxn6Y8GcafiK4d8DfJgZn5jAkHBKejhEKazI4DL8jTDPOS57hkK_QuTcxw_bfN-jt8eG1eS72L09tU--LwAifi7KC3lXWW1GW1AlBuebWM7P20ayyvWSCW6mNLJ03ntheeQtOE8OAEqUd36DbU-44DV9HyHN3CLmHGE2C4Zg7VnGm1_EreHMCAwB04xQOZlq60zH8DxP0Wbk</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>26329365</pqid></control><display><type>conference_proceeding</type><title>Dependency analysis for knowledge validation in rule-based expert systems</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Wu, Chih-Hung ; Lee, Shie-Jue ; Chou, Hung-Sen</creator><creatorcontrib>Wu, Chih-Hung ; Lee, Shie-Jue ; Chou, Hung-Sen</creatorcontrib><description>Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based expert systems using dependency analysis. A rule-dependency graph is developed to describe the dependency relationship among the rules contained in a knowledge base. Since each type of inconsistent knowledge presents a specific topology in the rule-dependency graph, knowledge validation can be done by examining the structure of the graph. With the aid of the rule-dependency graph, we have developed a token-flow paradigm that identifies the inconsistent structure in the rule base. The idea is effective and can be easily implemented. Properties of our method are explored. Some practical examples are also presented.&lt; &gt;</description><identifier>ISBN: 9780818655500</identifier><identifier>ISBN: 081865550X</identifier><identifier>DOI: 10.1109/CAIA.1994.323657</identifier><language>eng</language><publisher>IEEE</publisher><subject>Councils ; Engines ; Expert systems ; Knowledge based systems ; Knowledge engineering ; Logic ; Production ; System testing ; Terminology</subject><ispartof>Artificial Intelligence for Applications, 10th Conference on (CAIA '94), 1994, p.327-333</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/323657$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,314,780,784,789,790,2058,4050,4051,27924,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/323657$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Wu, Chih-Hung</creatorcontrib><creatorcontrib>Lee, Shie-Jue</creatorcontrib><creatorcontrib>Chou, Hung-Sen</creatorcontrib><title>Dependency analysis for knowledge validation in rule-based expert systems</title><title>Artificial Intelligence for Applications, 10th Conference on (CAIA '94)</title><addtitle>CAIA</addtitle><description>Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based expert systems using dependency analysis. A rule-dependency graph is developed to describe the dependency relationship among the rules contained in a knowledge base. Since each type of inconsistent knowledge presents a specific topology in the rule-dependency graph, knowledge validation can be done by examining the structure of the graph. With the aid of the rule-dependency graph, we have developed a token-flow paradigm that identifies the inconsistent structure in the rule base. The idea is effective and can be easily implemented. Properties of our method are explored. Some practical examples are also presented.&lt; &gt;</description><subject>Councils</subject><subject>Engines</subject><subject>Expert systems</subject><subject>Knowledge based systems</subject><subject>Knowledge engineering</subject><subject>Logic</subject><subject>Production</subject><subject>System testing</subject><subject>Terminology</subject><isbn>9780818655500</isbn><isbn>081865550X</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1994</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNotkE1LxDAYhAMiKOvexVNO3rrmo2mSY6lfhQUvei5J80ai2bQ2XbX_3sI6l7k8DDOD0DUlO0qJvmvqtt5RrcsdZ7wS8gxttVREUVUJIQi5QNucP8gqIaRW8hK19zBCcpD6BZtk4pJDxn6Y8GcafiK4d8DfJgZn5jAkHBKejhEKazI4DL8jTDPOS57hkK_QuTcxw_bfN-jt8eG1eS72L09tU--LwAifi7KC3lXWW1GW1AlBuebWM7P20ayyvWSCW6mNLJ03ntheeQtOE8OAEqUd36DbU-44DV9HyHN3CLmHGE2C4Zg7VnGm1_EreHMCAwB04xQOZlq60zH8DxP0Wbk</recordid><startdate>1994</startdate><enddate>1994</enddate><creator>Wu, Chih-Hung</creator><creator>Lee, Shie-Jue</creator><creator>Chou, Hung-Sen</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>1994</creationdate><title>Dependency analysis for knowledge validation in rule-based expert systems</title><author>Wu, Chih-Hung ; Lee, Shie-Jue ; Chou, Hung-Sen</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i203t-46ecd6bfb5441d551393bf2a579926bc7253b79a74dfaf0bc8fbed90a2e1089d3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1994</creationdate><topic>Councils</topic><topic>Engines</topic><topic>Expert systems</topic><topic>Knowledge based systems</topic><topic>Knowledge engineering</topic><topic>Logic</topic><topic>Production</topic><topic>System testing</topic><topic>Terminology</topic><toplevel>online_resources</toplevel><creatorcontrib>Wu, Chih-Hung</creatorcontrib><creatorcontrib>Lee, Shie-Jue</creatorcontrib><creatorcontrib>Chou, Hung-Sen</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore Digital Library</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Wu, Chih-Hung</au><au>Lee, Shie-Jue</au><au>Chou, Hung-Sen</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Dependency analysis for knowledge validation in rule-based expert systems</atitle><btitle>Artificial Intelligence for Applications, 10th Conference on (CAIA '94)</btitle><stitle>CAIA</stitle><date>1994</date><risdate>1994</risdate><spage>327</spage><epage>333</epage><pages>327-333</pages><isbn>9780818655500</isbn><isbn>081865550X</isbn><abstract>Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based expert systems using dependency analysis. A rule-dependency graph is developed to describe the dependency relationship among the rules contained in a knowledge base. Since each type of inconsistent knowledge presents a specific topology in the rule-dependency graph, knowledge validation can be done by examining the structure of the graph. With the aid of the rule-dependency graph, we have developed a token-flow paradigm that identifies the inconsistent structure in the rule base. The idea is effective and can be easily implemented. Properties of our method are explored. Some practical examples are also presented.&lt; &gt;</abstract><pub>IEEE</pub><doi>10.1109/CAIA.1994.323657</doi><tpages>7</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 9780818655500
ispartof Artificial Intelligence for Applications, 10th Conference on (CAIA '94), 1994, p.327-333
issn
language eng
recordid cdi_ieee_primary_323657
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Councils
Engines
Expert systems
Knowledge based systems
Knowledge engineering
Logic
Production
System testing
Terminology
title Dependency analysis for knowledge validation in rule-based expert systems
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-01T20%3A24%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Dependency%20analysis%20for%20knowledge%20validation%20in%20rule-based%20expert%20systems&rft.btitle=Artificial%20Intelligence%20for%20Applications,%2010th%20Conference%20on%20(CAIA%20'94)&rft.au=Wu,%20Chih-Hung&rft.date=1994&rft.spage=327&rft.epage=333&rft.pages=327-333&rft.isbn=9780818655500&rft.isbn_list=081865550X&rft_id=info:doi/10.1109/CAIA.1994.323657&rft_dat=%3Cproquest_6IE%3E26329365%3C/proquest_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i203t-46ecd6bfb5441d551393bf2a579926bc7253b79a74dfaf0bc8fbed90a2e1089d3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=26329365&rft_id=info:pmid/&rft_ieee_id=323657&rfr_iscdi=true