Evidence flow graph methods for validation and verification of expert systems

Evidence flow graph methods for validation and verification of expert systems

This final report describes the results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems. This was approached by developing a translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, a...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Becker, Lee A., Green, Peter G., Bhatnagar, Jayant
Format: Report
Sprache:eng
Schlagworte:
Computer Programming And Software
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 This final report describes the results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems. This was approached by developing a translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis. 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 effect the output from a set of rules.
format Report
fullrecord <record><control><sourceid>nasa_CYI</sourceid><recordid>TN_cdi_nasa_ntrs_19890002895</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>19890002895</sourcerecordid><originalsourceid>FETCH-nasa_ntrs_198900028953</originalsourceid><addsrcrecordid>eNrjZPB1LctMSc1LTlVIy8kvV0gvSizIUMhNLcnITylWSMsvUihLzMlMSSzJzM9TSMxLUShLLcpMy0yGCOSnKaRWFKQWlSgUVxaXpOYW8zCwpiXmFKfyQmluBhk31xBnD928xOLE-LySouJ4Q0sLSwMDAyMLS1NjAtIAvnQylg</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>This final report describes the results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems. This was approached by developing a translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis. 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 effect the output from a set of rules.</description><language>eng</language><publisher>Legacy CDMS</publisher><subject>Computer Programming And Software</subject><creationdate>1988</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,4475</link.rule.ids><linktorsrc>$$Uhttps://ntrs.nasa.gov/citations/19890002895$$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>This final report describes the results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems. This was approached by developing a translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis. 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 effect the output from a set of rules.</description><subject>Computer Programming And Software</subject><fulltext>true</fulltext><rsrctype>report</rsrctype><creationdate>1988</creationdate><recordtype>report</recordtype><sourceid>CYI</sourceid><recordid>eNrjZPB1LctMSc1LTlVIy8kvV0gvSizIUMhNLcnITylWSMsvUihLzMlMSSzJzM9TSMxLUShLLcpMy0yGCOSnKaRWFKQWlSgUVxaXpOYW8zCwpiXmFKfyQmluBhk31xBnD928xOLE-LySouJ4Q0sLSwMDAyMLS1NjAtIAvnQylg</recordid><startdate>19881111</startdate><enddate>19881111</enddate><creator>Becker, Lee A.</creator><creator>Green, Peter G.</creator><creator>Bhatnagar, Jayant</creator><scope>CYE</scope><scope>CYI</scope></search><sort><creationdate>19881111</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_198900028953</frbrgroupid><rsrctype>reports</rsrctype><prefilter>reports</prefilter><language>eng</language><creationdate>1988</creationdate><topic>Computer Programming And Software</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>1988-11-11</date><risdate>1988</risdate><abstract>This final report describes the results of an investigation into the use of evidence flow graph techniques for performing validation and verification of expert systems. This was approached by developing a translator to convert horn-clause rule bases into evidence flow graphs, a simulation program, and methods of analysis. 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 effect 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_19890002895
source NASA Technical Reports Server
subjects Computer Programming And Software
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-01-22T05%3A47%3A05IST&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=1988-11-11&rft_id=info:doi/&rft_dat=%3Cnasa_CYI%3E19890002895%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