{"id":"https://openalex.org/W2071061166","doi":"https://doi.org/10.1080/08839519508945490","title":"VERIFICATION OF QUALITATIVE PROPERTIES OF RULE-BASED EXPERT SYSTEMS","display_name":"VERIFICATION OF QUALITATIVE PROPERTIES OF RULE-BASED EXPERT SYSTEMS","publication_year":1995,"publication_date":"1995-11-01","ids":{"openalex":"https://openalex.org/W2071061166","doi":"https://doi.org/10.1080/08839519508945490","mag":"2071061166"},"language":"en","primary_location":{"id":"doi:10.1080/08839519508945490","is_oa":false,"landing_page_url":"https://doi.org/10.1080/08839519508945490","pdf_url":null,"source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016168912","display_name":"A.D. Lunardhi","orcid":null},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"ALFONSUS D. LUNARDHI","raw_affiliation_strings":["Department of Electrical Engineering , Ohio State University , Columbus, Ohio, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering , Ohio State University , Columbus, Ohio, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043940203","display_name":"Kevin M. Passino","orcid":"https://orcid.org/0000-0003-3918-5391"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"KEVIN M. PASSINO","raw_affiliation_strings":["Department of Electrical Engineering , Ohio State University , Columbus, Ohio, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering , Ohio State University , Columbus, Ohio, USA","institution_ids":["https://openalex.org/I52357470"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2195,"currency":"USD","value_usd":2195},"apc_paid":null,"fwci":0.5895,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.76305802,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"9","issue":"6","first_page":"587","last_page":"621"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9927999973297119,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8434528708457947},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.8201979398727417},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.7147128582000732},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6623698472976685},{"id":"https://openalex.org/keywords/inference-engine","display_name":"Inference engine","score":0.6544531583786011},{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.6032812595367432},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5651382207870483},{"id":"https://openalex.org/keywords/legal-expert-system","display_name":"Legal expert system","score":0.514756441116333},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.46131631731987},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.4577552080154419},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.404131680727005},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3871500790119171},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3744189441204071},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10039198398590088}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8434528708457947},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.8201979398727417},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.7147128582000732},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6623698472976685},{"id":"https://openalex.org/C46743427","wikidata":"https://www.wikidata.org/wiki/Q1341685","display_name":"Inference engine","level":3,"score":0.6544531583786011},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.6032812595367432},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5651382207870483},{"id":"https://openalex.org/C102600418","wikidata":"https://www.wikidata.org/wiki/Q6517507","display_name":"Legal expert system","level":3,"score":0.514756441116333},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.46131631731987},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.4577552080154419},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.404131680727005},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3871500790119171},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3744189441204071},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10039198398590088},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/08839519508945490","is_oa":false,"landing_page_url":"https://doi.org/10.1080/08839519508945490","pdf_url":null,"source":{"id":"https://openalex.org/S125501549","display_name":"Applied Artificial Intelligence","issn_l":"0883-9514","issn":["0883-9514","1087-6545"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.91.7503","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.7503","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ece.osu.edu/~passino/PapersToPost/verif-ES-AAI.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W66891796","https://openalex.org/W108791095","https://openalex.org/W187410331","https://openalex.org/W194613234","https://openalex.org/W599065159","https://openalex.org/W1480023663","https://openalex.org/W1481578604","https://openalex.org/W1488269669","https://openalex.org/W1524618384","https://openalex.org/W1552704885","https://openalex.org/W1557490893","https://openalex.org/W1564733196","https://openalex.org/W1765397515","https://openalex.org/W1968888609","https://openalex.org/W1979241946","https://openalex.org/W1996109622","https://openalex.org/W2028513167","https://openalex.org/W2048316890","https://openalex.org/W2062706881","https://openalex.org/W2083745333","https://openalex.org/W2100801427","https://openalex.org/W2123845092","https://openalex.org/W2129393535","https://openalex.org/W2145287593","https://openalex.org/W2259289169","https://openalex.org/W2305573925","https://openalex.org/W2531563875","https://openalex.org/W2561675875","https://openalex.org/W2726355060","https://openalex.org/W2913715323","https://openalex.org/W2993433457","https://openalex.org/W3093981756","https://openalex.org/W3146687800","https://openalex.org/W3150565301","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4375958074","https://openalex.org/W2395092600","https://openalex.org/W1498088200","https://openalex.org/W2395929705","https://openalex.org/W2369462779","https://openalex.org/W2146662229","https://openalex.org/W280084158","https://openalex.org/W1444424942","https://openalex.org/W4248816988","https://openalex.org/W1952797730"],"abstract_inverted_index":{"Frequently,":[0],"expert":[1,36,94,122,138,181,207,228],"systems":[2,37,95,123,229],"are":[3,96],"developed":[4],"to":[5,62,74,77,88,116,152,184,203,219],"operate":[6,125],"in":[7,45,67,98,126,175,187,243],"dynamic":[8,127,158,189,209],"environments":[9],"where":[10],"they":[11,32],"must":[12,200],"reason":[13,49],"about":[14],"time-varying":[15],"information":[16,174],"and":[17,21,42,53,66,90,101,128,143,146,156,171,221,236,254],"generate":[18,71],"hypotheses,":[19,58],"conclusions,":[20],"process":[22,64,76,239],"inputs":[23,73,155],"that":[24,92,124,167,230],"can":[25,102],"drastically":[26],"influence":[27,179],"the":[28,75,137,141,148,153,157,169,176,180,191,195,213,223],"environment":[29],"within":[30],"which":[31],"operate.":[33],"For":[34],"instance,":[35],"used":[38],"for":[39,136,147,150,259],"fault":[40,43,57],"diagnosis":[41],"accommodation":[44],"nuclear":[46],"power":[47],"plants":[48],"over":[50],"sensor":[51],"data":[52],"operator":[54],"inputs,":[55],"form":[56],"make":[59],"recommendations":[60],"pertaining":[61],"safe":[63,80],"operation,":[65],"crisis":[68],"situations,":[69],"could":[70],"command":[72],"help":[78],"maintain":[79,104],"operation.":[81],"Clearly,":[82],"there":[83],"is":[84],"a":[85,113,188,232,237],"pressing":[86],"need":[87],"verify":[89],"certify":[91],"such":[93],"dependable":[97],"their":[99],"operation":[100],"reliably":[103],"adequate":[105],"performance":[106],"levels.":[107],"In":[108],"this":[109],"article":[110],"we":[111,132,165,216,247],"develop":[112],"mathematical":[114,134,163],"approach":[115,253],"verifying":[117],"qualitative":[118,192,224],"properties":[119,193,225],"of":[120,173,194,226,251],"rule-based":[121,227],"uncertain":[129],"environments.":[130],"First,":[131],"provide":[133,255],"models":[135],"system":[139],"(including":[140],"knowledge-base":[142],"inference":[144],"engine)":[145],"mechanisms":[149],"interfacing":[151],"user":[154],"process.":[159],"Next,":[160],"using":[161],"these":[162],"models,":[164],"show":[166,217],"while":[168],"structure":[170],"interconnection":[172],"knowledge":[177],"base":[178],"system's":[182,208],"ability":[183],"react":[185],"appropriately":[186],"environment,":[190],"full":[196],"knowledge-base/inference":[197],"engine":[198],"loop":[199],"be":[201],"considered":[202],"fully":[204],"characterize":[205],"an":[206],"behavior.":[210],"To":[211],"illustrate":[212],"verification":[214],"approach,":[215],"how":[218],"model":[220],"analyze":[222],"solve":[231],"water-jug":[233],"filling":[234],"problem":[235],"simple":[238],"control":[240],"problem.":[241],"Finally,":[242],"our":[244,252],"concluding":[245],"remarks,":[246],"highlight":[248],"some":[249,256],"limitations":[250],"future":[257],"directions":[258],"research.":[260]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}