{"id":"https://openalex.org/W2073928261","doi":"https://doi.org/10.1002/int.4550060706","title":"Modeling in the design of a KBS validation system","display_name":"Modeling in the design of a KBS validation system","publication_year":1991,"publication_date":"1991-12-01","ids":{"openalex":"https://openalex.org/W2073928261","doi":"https://doi.org/10.1002/int.4550060706","mag":"2073928261"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550060706","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550060706","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5014478452","display_name":"Henrik Legind Larsen","orcid":"https://orcid.org/0000-0001-7636-0799"},"institutions":[{"id":"https://openalex.org/I107707843","display_name":"Roskilde University","ror":"https://ror.org/014axpa37","country_code":"DK","type":"education","lineage":["https://openalex.org/I107707843"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Henrik L. Larsen","raw_affiliation_strings":["Department of Computer Science, Roskilde University, Postbox 260, DK-4000 Roskilde, Denmark","Department of Computer Science, Roskilde University, Postbox 260, DK\u20104000 Roskilde, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Roskilde University, Postbox 260, DK-4000 Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]},{"raw_affiliation_string":"Department of Computer Science, Roskilde University, Postbox 260, DK\u20104000 Roskilde, Denmark","institution_ids":["https://openalex.org/I107707843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056493776","display_name":"Heri Nonfjall","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heri Nonfjall","raw_affiliation_strings":["SPD Research and Development, Computer Resources International A/S, Bregner\u00f8dvej 144, DK-3460 Birker\u00f8d, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPD Research and Development, Computer Resources International A/S, Bregner\u00f8dvej 144, DK-3460 Birker\u00f8d, Denmark","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":4.8214,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.95093095,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"6","issue":"7","first_page":"759","last_page":"775"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9950000047683716,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9950000047683716,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9934999942779541,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9926000237464905,"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.8165853023529053},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6546440124511719},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5237812399864197},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5197148323059082},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5091871619224548},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5024816989898682},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.47842198610305786},{"id":"https://openalex.org/keywords/knowledge-based-systems","display_name":"Knowledge-based systems","score":0.4389909505844116},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43583187460899353},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.42471885681152344},{"id":"https://openalex.org/keywords/systems-modeling","display_name":"Systems modeling","score":0.4200293719768524},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.41740506887435913},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40491411089897156},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.33675694465637207},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3262779414653778},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.17346438765525818},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08003807067871094}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8165853023529053},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6546440124511719},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5237812399864197},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5197148323059082},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5091871619224548},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5024816989898682},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.47842198610305786},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.4389909505844116},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43583187460899353},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.42471885681152344},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.4200293719768524},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.41740506887435913},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40491411089897156},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.33675694465637207},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3262779414653778},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17346438765525818},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08003807067871094},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550060706","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550060706","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.75,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1586810277","https://openalex.org/W1956559956","https://openalex.org/W1983261114","https://openalex.org/W2017111168","https://openalex.org/W2026927381","https://openalex.org/W2039832885","https://openalex.org/W2145287593","https://openalex.org/W2325227998","https://openalex.org/W2915007872","https://openalex.org/W4230806689","https://openalex.org/W6635085605","https://openalex.org/W6660197830","https://openalex.org/W6852754349"],"related_works":["https://openalex.org/W1838463810","https://openalex.org/W3045387744","https://openalex.org/W1550883778","https://openalex.org/W2126191795","https://openalex.org/W248531889","https://openalex.org/W2294170235","https://openalex.org/W2158192661","https://openalex.org/W2183724967","https://openalex.org/W4386211463","https://openalex.org/W765423075"],"abstract_inverted_index":{"We":[0,100,157],"describe":[1],"and":[2,29,70,113],"illustrate":[3,158],"the":[4,8,20,33,40,54,58,77,92,96,142,149,152,159],"modeling":[5,146,167],"issues":[6,168],"in":[7,36,63,74,109],"design":[9],"of":[10,15,22,68,79,95,104,145],"a":[11,24,64,102,111,121,163],"system":[12,26],"for":[13,165],"validation":[14,25,31,84,125],"knowledge":[16,48,137],"based":[17],"systems":[18],"(KBSs).":[19],"domain":[21],"such":[23,110],"is":[27,39,82,118],"\u201cKBSs":[28],"their":[30],"problems.\u201d":[32],"basic":[34],"idea":[35],"our":[37],"solution":[38,164],"following.":[41],"Since":[42,127],"different":[43,47],"KBSs":[44],"may":[45],"use":[46],"representation":[49,138],"languages,":[50,139],"we":[51,140],"first":[52],"represent":[53],"target":[55],"KBS":[56,59],"(i.e.,":[57],"to":[60,89,91,133],"be":[61],"validated)":[62],"general":[65,97],"formal":[66,98,143],"model":[67],"KBS,":[69],"then":[71],"validate":[72],"it":[73],"this":[75,80,170],"form.":[76],"advantage":[78],"strategy":[81],"that":[83,115],"problem":[85],"solving":[86],"needs":[87],"only":[88],"refer":[90],"common":[93],"language":[94],"model.":[99],"present":[101],"set":[103],"possible":[105],"conceptual":[106],"abstraction":[107],"levels":[108],"model,":[112],"argue":[114],"each":[116],"level":[117,129],"associated":[119],"with":[120],"related":[122],"view":[123],"on":[124],"problems.":[126],"high":[128],"characterizations":[130],"are":[131],"difficult":[132],"abstract":[134],"from":[135],"current":[136],"consider":[141],"aspects":[144],"mainly":[147],"at":[148,169],"\u201clowest\u201d":[150],"level,":[151],"so-called":[153],"inference":[154],"primitive":[155],"level.":[156,171],"approach":[160],"by":[161],"formalizing":[162],"selected":[166]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}