{“id”：“https://openalex.org/W4226188386“，”doi“：”https://doi.org/10.1093/gigpal/jzac050“，”title“：“通过\u0141ukasiewicz逻辑证明二元分类神经网络的属性”，”display_name“：”通过\u041ukasiewincz逻辑验证二元分类神经元网络的属性“，”publication_year“：2022，”publitation_date“：”2022-04-26“，”ids“：{”openalex“：”https://openalex.org/W4226188386“，”doi“：”https://doi.org/10.1093/gigpal/jzac050“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/jigpal/jzac050“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2734381524“，”display_name“：”IGPL逻辑杂志“，”issn_l“：”1367-0751“，”isn“：[”1367-0551“，“1368-9894”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”host_organization_name“：”牛津大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5028358997“，”display_name“：”Sandro Preto“，”orcid“：”https://orcid.org/0000-0003-4448-5364}，“机构”：[{“id”：https://openalex.org/I17974374“，”display_name“：”圣保罗大学“，”ror“：”https://ror.org/036rp1748“，”country_code“：”BR“，”type“：“教育”，”世系“：[”https://openalex.org/I17974374“]}]，”国家“：[”BR“]，”is_corresponding“：true，”raw_author_name“：”Sandro Preto“，”raw _affiliation_strings“：[“巴西圣保罗大学数学与统计研究所”]，”affiliations“：[{”raw _affiliation_string“：”巴西圣保罗大学数学与统计学院”，“institution_ids”：[“https://openalex.org/I17974374“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5024395125“，”display_name“：”Marcelo Finger“，”orcid“：”https://orcid.org/0000-0002-1391-1175}，“机构”：[{“id”：https://openalex.org/I17974374“，”display_name“：”圣保罗大学“，”ror“：”https://ror.org/036rp1748“，”country_code“：”BR“，”type“：“教育”，”世系“：[”https://openalex.org/I17974374“]}]，”国家“：[”BR“]，”is_corresponding“：false，”raw_author_name“：”Marcelo Finger“，”raw _affiliation_strings“：[“巴西圣保罗大学数学与统计研究所”]，”affiliations“：[{”raw _affiliation_string“：”巴西圣保罗州立大学数学与统计学研究所”，“institution_ids”：[“https://openalex.org/I17974374“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5028358997“]，”对应的机构ID“：[”https://openalex.org/I17974374“]，”apc_list“：｛”value“：4151，”currency“：”USD“，”value_USD“：4151，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：0.473，”has_fulltext“：false，”cited_by_count“：2，”citation_normalized_p百分位数“：｛”value“：0.732743，”is_in_top_1_percent“：false，”is_in_top_1_percent“：false｝，”cited_by_percentle_year“：｛”min“：72，”max“：78｝，”书目“：｛”卷“：”31“，”期“：”5“，”first_page“：”805“，”last_page“：”821“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9993，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9993，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11063“，”“display_name”：“粗糙集理论与应用”，“score”：0.9986，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9963，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/robustivity网站“，”display_name“：”健壮性（进化）“，”score“：0.5519846}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.516302}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7147593}，{”id“：”https://openalex.org/C50644808，“wikidata”：https://www.wikidata.org/wiki/Q192776“，”display_name“：”人工神经网络“，”level“：2，”score“：0.7057884}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.6141624}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.5633826}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.5519846}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.48225743}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.34094128｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.32660675}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.18541107}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.1012758}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/gigpal/jzac050“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2734381524“，”display_name“：”IGPL逻辑杂志“，”issn_l“：”1367-0751“，”isn“：[”1367-0551“，“1368-9894”]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”host_organization_name“：”牛津大学出版社“，”host_organization_lineage“：[”https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：24，“referrenced_works”：〔”https://openalex.org/W1128447031","https://openalex.org/W1566552629","https://openalex.org/W1762430620","https://openalex.org/W1989632075","https://openalex.org/W2013088431","https://openalex.org/W2054457993","https://openalex.org/W2087171264","https://openalex.org/W2108818320","https://openalex.org/W2119899470","https://openalex.org/W2122971007","https://openalex.org/W2168144545","https://openalex.org/W2498931758","https://openalex.org/W2528491735","https://openalex.org/W2594877703","https://openalex.org/W2810505337","https://openalex.org/W2957311447","https://openalex.org/W2996308572","https://openalex.org/W3033072407","https://openalex.org/W3033912683","https://openalex.org/W3092846871","https://openalex.org/W3125537303","https://openalex.org/W3184707618","https://openalex.org/W4226015859","https://openalex.org/W4280629967“]，”related_works“：[”https://openalex.org/W4253760428","https://openalex.org/W2889071233","https://openalex.org/W2772294324","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2067910792","https://openalex.org/W2047831585“]，”abstract_inverted_index“：{”abstract“：[0]，”Neural“：[1]，”networks“：[2,54]，”are“：[3,56]，”widely“：[4]，”used“：[5]，”in“：[6,67,96111]，”systems“：[7]，”of“：[8,48,52,70,80]，”artificial“：9]，”intelligence“：[10]，”but“，”due“：[11]，”dure“：[12]，”to“：[12]，”to”：[13,25104]，”their“：[14]，“黑色”：[15]，“方框”：[16]，“自然”，：[17]，“他们”：[18,28,34]，“有”：[19]，“所以”：[20]，“远”：[21]，“回避“：[22]，”正式“：[23,46]，”分析“：[24,47]，”证明“：[26]，”那“：[27,55101]，”满足“：[29]，”理想“：[30]，”属性“：[31]，”主要“：[32]，”当“：[33]，”执行“：[35]，”关键“：[36]，”任务。“：[37]，”In“：[38]，”this“：[39]，”work“：[40]，”we“：[41，91102]，”Introduct“：[42]，”methods“：[43]，”for“：[44]，”the“：[45，68，77，93]，”可达性“：[49]，”and“：[50]，”robustness“：[51]，”neural“：[53，9]，”modeled“：[57]，”as“：[58]，”rational“：[59]，”McNaughton“：[60]，”函数“：[61]，”by，“：[62]，”first，“：[63]，”陈述“：[64]，”such“：[65，81]，”属性“：[66]，”语言“：[69]，”\u0141ukasiewicz“：[71]，”无限值“：[72]，”逻辑“：[73]，”and，“：[74]，”then，“：75]，”using“：[76]，”推理“：[78]，”technologies“：[79,95]，”logical“：[82]，”system。“：[83]，“我们”：[84]，“也”：[85]，“现在”：[86]，“a”：[87]，“案例”：[88]，“研究”：[89]，“其中”：[90]，“雇佣”：[92]，“提议”：[94]，“an”：[97]，“实际”：[98]，“网络”：[100]，“训练”：[103]，“预测”：[105]，“是否”：[106]，“它”：[107]，“将”：[108]，“下雨”：[109]，“明天”：[110]，“澳大利亚。“：[112]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4226188386“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2023，”cited_by_count”：1}]，”更新日期“：”2024-09-25T22:59:22.338610“，”创建日期“：“2022-05-05”}