Evidence flow graph methods for validation and verification of expert systems

Evidence flow graph methods for validation and verification of expert systems

The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools w...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Becker, Lee A., Green, Peter G., Bhatnagar, Jayant
Format: Report
Sprache:eng
Schlagworte:
Computer Systems
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Becker, Lee A.
Green, Peter G.
Bhatnagar, Jayant
description The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules.
format Report
fullrecord <record><control><sourceid>nasa_CYI</sourceid><recordid>TN_cdi_nasa_ntrs_19890018957</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19890018957</sourcerecordid><originalsourceid>FETCH-nasa_ntrs_198900189573</originalsourceid><addsrcrecordid>eNrjZPB1LctMSc1LTlVIy8kvV0gvSizIUMhNLcnITylWSMsvUihLzMlMSSzJzM9TSMxLUShLLcpMy0yGCOSnKaRWFKQWlSgUVxaXpOYW8zCwpiXmFKfyQmluBhk31xBnD928xOLE-LySouJ4Q0sLSwMDQwtLU3NjAtIAv24yog</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>report</recordtype></control><display><type>report</type><title>Evidence flow graph methods for validation and verification of expert systems</title><source>NASA Technical Reports Server</source><creator>Becker, Lee A. ; Green, Peter G. ; Bhatnagar, Jayant</creator><creatorcontrib>Becker, Lee A. ; Green, Peter G. ; Bhatnagar, Jayant</creatorcontrib><description>The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules.</description><language>eng</language><publisher>Legacy CDMS</publisher><subject>Computer Systems</subject><creationdate>1989</creationdate><rights>Copyright Determination: GOV_PUBLIC_USE_PERMITTED</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>776,796,4476</link.rule.ids><linktorsrc>$$Uhttps://ntrs.nasa.gov/citations/19890018957$$EView_record_in_NASA$$FView_record_in_$$GNASA$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Becker, Lee A.</creatorcontrib><creatorcontrib>Green, Peter G.</creatorcontrib><creatorcontrib>Bhatnagar, Jayant</creatorcontrib><title>Evidence flow graph methods for validation and verification of expert systems</title><description>The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules.</description><subject>Computer Systems</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>1989</creationdate><recordtype>report</recordtype><sourceid>CYI</sourceid><recordid>eNrjZPB1LctMSc1LTlVIy8kvV0gvSizIUMhNLcnITylWSMsvUihLzMlMSSzJzM9TSMxLUShLLcpMy0yGCOSnKaRWFKQWlSgUVxaXpOYW8zCwpiXmFKfyQmluBhk31xBnD928xOLE-LySouJ4Q0sLSwMDQwtLU3NjAtIAv24yog</recordid><startdate>19890701</startdate><enddate>19890701</enddate><creator>Becker, Lee A.</creator><creator>Green, Peter G.</creator><creator>Bhatnagar, Jayant</creator><scope>CYE</scope><scope>CYI</scope></search><sort><creationdate>19890701</creationdate><title>Evidence flow graph methods for validation and verification of expert systems</title><author>Becker, Lee A. ; Green, Peter G. ; Bhatnagar, Jayant</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-nasa_ntrs_198900189573</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>1989</creationdate><topic>Computer Systems</topic><toplevel>online_resources</toplevel><creatorcontrib>Becker, Lee A.</creatorcontrib><creatorcontrib>Green, Peter G.</creatorcontrib><creatorcontrib>Bhatnagar, Jayant</creatorcontrib><collection>NASA Scientific and Technical Information</collection><collection>NASA Technical Reports Server</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Becker, Lee A.</au><au>Green, Peter G.</au><au>Bhatnagar, Jayant</au><format>book</format><genre>unknown</genre><ristype>RPRT</ristype><btitle>Evidence flow graph methods for validation and verification of expert systems</btitle><date>1989-07-01</date><risdate>1989</risdate><abstract>The results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems are given. A translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis were developed. These tools were then applied to a simple rule base which contained errors. It was found that the method was capable of identifying a variety of problems, for example that the order of presentation of input data or small changes in critical parameters could affect the output from a set of rules.</abstract><cop>Legacy CDMS</cop><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_nasa_ntrs_19890018957
source NASA Technical Reports Server
subjects Computer Systems
title Evidence flow graph methods for validation and verification of expert systems
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-08T14%3A51%3A21IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-nasa_CYI&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=unknown&rft.btitle=Evidence%20flow%20graph%20methods%20for%20validation%20and%20verification%20of%20expert%20systems&rft.au=Becker,%20Lee%20A.&rft.date=1989-07-01&rft_id=info:doi/&rft_dat=%3Cnasa_CYI%3E19890018957%3C/nasa_CYI%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true