{"id":"https://openalex.org/W3037932711","doi":"https://doi.org/10.3166/jancl.11.107-129","title":"Local Diagnosis","display_name":"Local Diagnosis","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W3037932711","doi":"https://doi.org/10.3166/jancl.11.107-129","mag":"3037932711"},"language":"en","primary_location":{"id":"doi:10.3166/jancl.11.107-129","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.11.107-129","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"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":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://dx.doi.org/10.3166/jancl.11.107-129","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031456220","display_name":"Renata Wassermann","orcid":"https://orcid.org/0000-0001-8065-1433"},"institutions":[{"id":"https://openalex.org/I4210092357","display_name":"Institute of Mathematics and Computer Science","ror":"https://ror.org/00fy4at53","country_code":"MD","type":"facility","lineage":["https://openalex.org/I112090838","https://openalex.org/I4210092357"]},{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR","MD"],"is_corresponding":true,"raw_author_name":"Renata Wassermann","raw_affiliation_strings":["a Department of Computer Science Institute of Mathematics and Statistics , University of Sao Paulo","Department of Computer Science Institute of Mathematics and Statistics , University of Sao Paulo"],"affiliations":[{"raw_affiliation_string":"a Department of Computer Science Institute of Mathematics and Statistics , University of Sao Paulo","institution_ids":["https://openalex.org/I4210092357"]},{"raw_affiliation_string":"Department of Computer Science Institute of Mathematics and Statistics , University of Sao Paulo","institution_ids":["https://openalex.org/I4210092357","https://openalex.org/I17974374"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031456220"],"corresponding_institution_ids":["https://openalex.org/I17974374","https://openalex.org/I4210092357"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.40703173,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"1-2","first_page":"107","last_page":"129"},"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.9994999766349792,"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.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9975000023841858,"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/T10215","display_name":"Semantic Web and Ontologies","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6815959811210632},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6279813051223755},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5058310031890869},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4284461438655853},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4048033654689789},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2025679349899292}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6815959811210632},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6279813051223755},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5058310031890869},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4284461438655853},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4048033654689789},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2025679349899292},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3166/jancl.11.107-129","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.11.107-129","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"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":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},{"id":"pmh:002967647","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3166/jancl.11.107-129","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da USP (Biblioteca Digital da Produ\u00e7\u00e3o Intelectual)","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:002967647","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3166/jancl.11.107-129","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:Reposit\u00f3rio Institucional da USP (Biblioteca Digital da Produ\u00e7\u00e3o Intelectual)","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W155996553","https://openalex.org/W156961058","https://openalex.org/W574512650","https://openalex.org/W1486547030","https://openalex.org/W1519683110","https://openalex.org/W2016515719","https://openalex.org/W2025271293","https://openalex.org/W2060533443","https://openalex.org/W2062481003","https://openalex.org/W2107473176","https://openalex.org/W2108309071","https://openalex.org/W2129275996","https://openalex.org/W2149420462","https://openalex.org/W2912182247","https://openalex.org/W2990379991","https://openalex.org/W4231575501","https://openalex.org/W4239925251","https://openalex.org/W4244470828"],"related_works":["https://openalex.org/W2961085424","https://openalex.org/W4306674287","https://openalex.org/W3046775127","https://openalex.org/W4394896187","https://openalex.org/W3170094116","https://openalex.org/W4386462264","https://openalex.org/W3107602296","https://openalex.org/W4364306694","https://openalex.org/W4312192474","https://openalex.org/W4283697347"],"abstract_inverted_index":{"In":[0,49,69],"the":[1,22,33,39,47,62,74,77,81,89,92,107,110,115,119],"area":[2],"known":[3],"as":[4],"model-based":[5,84],"diagnosis,":[6],"a":[7,13,30,66,99],"system":[8,34,40,93],"is":[9,36,96],"described":[10],"by-means":[11],"of":[12,15,32,46,56,65,76,83,91,109],"set":[14],"formulas":[16],"together":[17],"with":[18,38],"assumptions":[19],"that":[20],"all":[21],"components":[23],"are":[24],"functioning":[25],"correctly.":[26],"When":[27],"we":[28,42,52,72,105],"observe":[29],"behavior":[31],"which":[35,59,95],"inconsistent":[37],"description,":[41],"must":[43],"relax":[44],"some":[45],"assumptions.":[48],"previous":[50],"work,":[51],"have":[53],"presented":[54],"operations":[55],"belief":[57,67],"change":[58],"only":[60],"affect":[61],"relevant":[63,97,120],"part":[64],"base.":[68],"this":[70],"paper,":[71],"propose":[73],"application":[75],"same":[78],"strategy":[79],"to":[80],"problem":[82,111,117],"diagnosis.":[85],"We":[86],"Erst":[87],"isolate":[88],"subset":[90],"description":[94],"for":[98,118],"given":[100],"observation.":[101],"By":[102],"doing":[103],"this,":[104],"reduce":[106],"size":[108],"and":[112],"then":[113],"solve":[114],"diagnosis":[116],"subset.":[121]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2020-07-02T00:00:00"}