{“id”：“https://openalex.org/W1542130168“，”doi“：”https://doi.org/10.1007/3-540-52062-7_77“，”title“：”探索认识迷宫：知识表示形式理论的新方向“，”display_name“：”探索认识迷宫：知识表示形式理论的新方向“，”publication_year“：1990，”publication_date“：”1990-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1542130168“，”doi“：”https://doi.org/10.1007/3-540-52062-7_77“，”mag“：”1542130168“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-52062-7_77“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5022208957“，”display_name“：”Rod Girle“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Roderic A.Girle“，”raw _ afiliation_strings“：[“澳大利亚国立大学自动推理项目，澳大利亚堪培拉”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5050229459“，”display_name“：”Michael A.McRobbie“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I118347636“，”display_name“：”澳大利亚国立大学“，”ror“：”https://ror.org/019wvm592“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I118347636“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Michael A.McRobbie“，”raw _ afiliation_strings“：[“澳大利亚国立大学自动推理项目，澳大利亚堪培拉”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：{”value“:5000，”货币“：”欧元“，”价值美元“：5391，”provance“：”doaj“{，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：58}，“biblio”：{“volume”：null，“issue”：nully，“first_page”：“156”，“last_page”：“176”}，“is_retracted”：false，“is_paratext”：false，“主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9993，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9993，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9969，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9939，“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/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.591541}，{”id“：”https://openalex.org/keywords/knowledge-representation网站“，”display_name“：”知识表示“，”score“：0.572838}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.530881}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.520038}]，”concepts“：[{”id“：”https://openalex.org/C107247716，“wikidata”：https://www.wikidata.org/wiki/Q1347436“，”display_name“：”认识模态逻辑“，”level“：4，”score“：0.766559}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.66424835｝，｛”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.6291956}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.59561616}，{”id“：”https://openalex.org/C161301231，“wikidata”：https://www.wikidata.org/wiki/Q3478658“，”display_name“：”知识表示与推理“，”level“：2，”score“：0.5892723}，{”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.5826093}，{”id“：”https://openalex.org/C527412718，“wikidata”：https://www.wikidata.org/wiki/Q855395“，”“display_name”“：”解释（哲学）“，”级别“：2，”分数“：0.5573602}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.531411}，{”id“：”https://openalex.org/C9652623，“wikidata”：https://www.wikidata.org/wiki/Q190109“，”display_name“：”领域（数学）“，”级别“：2，”分数“：0.45717624｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.3728256}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.30756396}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3016491}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.2735405}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.2650801}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.16155753}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.096791476}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.07731262}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”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/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”Politics“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-52062-7_77“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“display_name”：“素质教育”，“score”：0.67，“id”：“https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W1490013103","https://openalex.org/W1544323190","https://openalex.org/W1574793289","https://openalex.org/W1588085858","https://openalex.org/W1967625269","https://openalex.org/W1972543255","https://openalex.org/W2039390833","https://openalex.org/W2068584434","https://openalex.org/W2080823411","https://openalex.org/W2106381590","https://openalex.org/W2119089900","https://openalex.org/W2911785772","https://openalex.org/W4213136236","https://openalex.org/W4244478014","https://openalex.org/W4245085453","https://openalex.org/W4249243074","https://openalex.org/W4253326174“]，”related_works“：[”https://openalex.org/W3216606561","https://openalex.org/W3184418169","https://openalex.org/W2964054883","https://openalex.org/W2621013612","https://openalex.org/W2469849678","https://openalex.org/W2118891234","https://openalex.org/W2101793126","https://openalex.org/W2097542839","https://openalex.org/W1603024508","https://openalex.org/W1513869636“]，”ngrams_url“：”https://api.openalex.org/works/W1542130168/ngrams网站“，”“abstract_inverted_index”：{“最近”：[0]，“巨大”：[1]，“兴趣”：[2]，“已”：[3,33,60]，“已被”：[4,34]，“生成”：[5]，“in”：[6,9]，“what”：[7,23]，“研究人员”：[8]，“AI”：[10]，“和”：[11,42,99]，“计算机”：[12]，“科学”：[13]，“已经”：[14]，“术语”：[15]，0,45,63,91,95]，“形式”：[17,50]，“理论”：[18]，“的”：[19,48,57,66]，“知识”：[20,74]，“表示法“：[21,75]，”或“：[22]，”是“：[24,52]，”已知“：[25]，”to“：[26]，”逻辑学家“：[27]，”as“：[28,39,71]，”认知“：[29,64]，”逻辑。“：[30]，”新“：[31]，”生活“：[32]，”呼吸“：[35]，”进入“：[36]，”这个“：[37,58,87]，”领域“：[38]，”意味着“：[41]，”动机“：[43]，”for“：[44,73102108]，”计算“：[46]，”调查“：[47]，”这些“：[49,81109]，”理论“：[51]，”now“：[53,77]，”at“：[54]，”hand。“：[55]，“很多”：[56]，“工作”：[59]，“出现”：[61]，“来自”：[62]，“解释”：[65]，“正常”：[67]，“模态”：[68，97]，“逻辑。“：[69]，”“然而”：[70]，“车辆”：[72]，“它”：[76]，“看起来”：[78]，“清楚”：[79]，“那”：[80]，“系统”：[82]，“是”：[83]，“完全”：[84]，“不充分。“：[85]，”In“：[86]，”paper“：[88]，”we“：+89]，”investive“：[90]，”alternative“：/92]，”positioned“：[93]，”by“：[94]，”non-normal“：[96]，”logics“：[98]，”discussion“：[100]，”techniques“：[101]，”constructing“：[103]，”efficiency“：[104]，”automated“：[105]，”定理“：[106]，”providers“：[107]，”systems。“：[110]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1542130168“，”counts_by_year“：[]，”updated_date“：”2024-05-11T03:12:50.116717“，”created_dates“：”2016-06-24“}“