｛“id”：“https://openalex.org/W2062057119“，”doi“：”https://doi.org/10.1016/j.tcs.2004.04.008“，”title“：”Reasoning with power defaults“，”display_name“：”Roasoning by power defaults“、”publication_year“：2004，”publication_date“：”2004-09-01“、”ids“：{”openalex“：”https://openalex.org/W2062057119“，”doi“：”https://doi.org/10.1016/j.tcs.2004.04.008“，”mag“：”2062057119“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2004.04.008“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，pository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5030855657“，”display_name“：”Guo\u2010Qiang Zhang“，”orcid“：”https://orcid.org/0000-0002-3663-1109}，“机构”：[{“id”：https://openalex.org/I58956616“，”display_name“：”凯斯西储大学“，”ror“：”https://ror.org/051fd9666“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I58956616“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Guo-Qiang Zhang“，”raw _affiliation_strings“：【”美国俄亥俄州克利夫兰市欧几里德大道10900号凯斯西方储备大学电气工程与计算机科学系，邮编：44106-7071“】，”affiliations“：[{”raw _affiliation_string“：”凯斯西储大学电气工程与计算机科学系，美国俄亥俄州克利夫兰市欧几里德大道10900号，邮编：44106-7071“，“institution_ids”：[“https://openalex.org/I58956616“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5019204872“，”display_name“：”William C.Rounds“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”William C.Rounds“，”raw _ afiliation_strings“：[“密歇根大学人工智能实验室，密歇根州安阿伯48109，美国”]，”affiliations“：[{”raw _affiliation_strong“：”机构ID“：[”https://openalex.org/I27837315“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5030855657“]，”对应的机构ID“：[”https://openalex.org/I58956616“]，”apc_list“：{”value“：2690，”currency“：”USD“，”value_USD“：2660，”provenance“：”doaj“}，”apc _pay“：null，”fwci“：0.515，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：71，”max“：75}，“biblio”：{“volume”：“323”，“issue”：“1-3”，”first _page“：”321“，”last_page“：”350“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：1.0，”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“：1.0，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9981，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.997，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.640425}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.552163｝，｛”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.534783}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.525893}，{”id“：”https://openalex.org/keywords/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.515944}]，”concepts“：[{”id“：”https://openalex.org/C160236029，“wikidata”：https://www.wikidata.org/wiki/Q842421“，”display_name“：”默认逻辑“，”level“：5，”score“：0.6989491}，{”id“：”https://openalex.org/C159032336，“wikidata”：https://www.wikidata.org/wiki/Q2488768“，”display_name“：”非单调逻辑“，”level“：2，”score“：0.59835047｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5826077}，{”id“：”https://openalex.org/C69562738，“wikidata”：https://www.wikidata.org/wiki/Q200694“，”display_name“：”命题演算“，”level“：2，”score“：0.50597185}，{”id“：”https://openalex.org/C72169020，“wikidata”：https://www.wikidata.org/wiki/Q194404“，”display_name“：”单调函数“，”level“：2，”score“：0.44911256}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.44821516}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244网址“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.4425125}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数理经济学“，”level“：1，”score“：0.3806252}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.34998542}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.30166936}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.29111823}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.255999}，{”id“：”https://openalex.org/C3845977，“wikidata”：https://www.wikidata.org/wiki/Q4826262“，”display_name“：”自认知逻辑“，”level“：4，”score“：0.21527871}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.15986472}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.12005475}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2004.04.008“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.79，“display_name”：“和平、正义和强大的制度”，“id”：“https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W1547926009","https://openalex.org/W1836060060","https://openalex.org/W187902357","https://openalex.org/W1997714358","https://openalex.org/W2007660757","https://openalex.org/W2022476135","https://openalex.org/W2080142817","https://openalex.org/W2090039116","https://openalex.org/W2139772363","https://openalex.org/W2155322595","https://openalex.org/W2157746363","https://openalex.org/W2157884310","https://openalex.org/W2889455862","https://openalex.org/W3023519444","https://openalex.org/W4213009134","https://openalex.org/W4234924236","https://openalex.org/W4250862392“]，”related_works“：[”https://openalex.org/W7839847","https://openalex.org/W610916638","https://openalex.org/W2155322595","https://openalex.org/W2100603584","https://openalex.org/W2087561262","https://openalex.org/W2044503422","https://openalex.org/W2000042161","https://openalex.org/W1536590331","https://openalex.org/W1535958797","https://openalex.org/W1526931790“]，”ngrams_url“：”https://api.openalex.org/works/W2062057119/ngrams网站“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“introduces”：[2]，“power”：[3]，“default”：[4,19,92100145207]，“reasoning”：[5,11146]，“（PDR）”，“：[6]，”“a”：[7,24,29,38,51,76,86103221]，“framework”：[8]，“for”：[9106112168203]，“non-单调”：[10,20155]，“based”：[12]，“on”：[13]，““：[14,33,44,48,59,66,70,82109124153166182192204224228]，”域理论”：[15161]，“思想”：[16]，“of”：[17,47,53,55132165184195199209223]，“建模”：[18]，“规则”：[20]，“with”：[21129]，“部分信息”：[22]，“in”：[23,58108118218]，”高阶“：[25,45]，”设置。“：[26]，”PDR“：[27219]，”lifts“：[28]，”operator“：[31,42]，”at“：[32]，”base“：[34]，”（语法）“：[35]，”level“：[36]，”to“：[37,64,75187]，”well-operformed“，”：[39]，”almost“：[40]，”单调“：[41]，”space“：46,52,61]，”Smyth“：[49]，”power-domain\u2014effectively“：[50]，”set“：[54]，“型号。“：[56]，”工作“：[57]，”模型“：[60]，”允许“：[62]，”我们“：[63]，”证明“：[65,96]，”二分法“：[67225]，”定理“：[68226]，”和“：[69,80116176191227]，”扩展“：[71229]，”分裂“：[72230]，”原理“：[73]，”领先“：[74]，”更多“：[77]，”行为良好“：[78]，”逻辑“：[79,89115208]，”（模“：[81]，“通常”：[83]，“复杂性”：[84]，“猜想”）“：[85]，”less“：[87]，”complex“：[88]，”than“：[90]，”standard“：[91143205]，”logic。“：[93]，”具体来说，“：[94]，”我们“：[95150180]，”那“：[97142152]，”怀疑“：[98144154]，”正常“：[99]，”推理“：[101]，”是“：[102147]，”问题“：[104]，”完成“：[105]，”共同NP（3）“：[107]，”布尔“：[110]，”层次结构“：[111]，”严格“：[113]，”命题“：[114206]，”NP（4）-完成“：+117]，”一般。“：[119]，”这些“：[120]，”结果“：[121131]，”（by“：[122]，”更改“：[123]，”基础“：[125]，”语义）“：[126]，”对比“：[127]，”有利“：[128]，”相似“：[130]，”Gottlob“：[133]，”），“：[139]，”谁“：[140]，”证明“：[141]，”\u03a02P-complete。“：[148]，”“此外，”：[149]，“显示”：[151]，“结果”：[156170222]，“关系”，：[157]，“定义”：[158172]，“使用”：[159]，“我们的”：[160]，“语义”，“：[162]，“服从”：[163]，“所有”：[164]，“法律”：[167201]，“优先”：[169]，“关系“：[171]，”by“：[173189]，”Kraus，“：174]，”Lehman，“]，“魔法师。“：[177]，“In”：[178]，“special”：[179]，“get”：[181]，“property”：[183]，“being”：[185]，“able”：[186]，“reason”：[188]，“cases”：[190]，“sequenting”：[193]，“law”：[194]，“谨慎”：[196]，“单调。“：[197]，”Both“：[198]，”these“：[200]，”fail“：[202]，”Reiter“：[210]，”（人工“：[211]，”Intelligence“：[212]，”13“：[213]，”1980“：[214]，”81\u2013132），”：[215]，“but”：[216]，”hold“：[217]，”as“：[220]，”定理。“：[231]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2062057119“，”counts_by_year“：[]，”updated_date“：”2024-06-21T02:32:00.779961“，”created_dates“：”2016-06-24“}“