{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,20]]，“日期-时间”：“2024-02-20T16:10:12Z”，“时间戳”：1708445412559}，“参考-计数”：32，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“3”，“许可证”：[{“开始”：{-date-parts”：[2014,3,12]]，“时间”：“2014-03-12T00:00:00Z”，“时间戳”：1394582400000}，“content-version”：“unspecified”，“delay-in-days”：2384，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.symb.log.“]，”published-print“：{”date-parts“：[[2007,9]}”，“abstract”：“”摘要<\/jats:title>优先模型是非单调逻辑中重要的语义结构之一。本文旨在建立优先模型的同构定理，给出优先模型等价性的一个纯代数刻画。为此，我们提出了局部相似性和局部模拟的概念。基于这些概念，分别引入并研究了优先模型上的两个算子\u0394（\u2022）和\u03bc（\u2020）。与其他两个现有运算符\u03c1（\u2022）和\u03a0一起D（\u2022），我们引入一个运算符\u2202D<\/jats:sub>（\u2022）。然后根据\u2202得到同构定理D<\/jats:sub>（\u2022），它断言对于任何两种优先模型M<\/jats:italic>1<\/jats:sub>和M<\/jats:italic>2<\/jats:sub>，当且仅当\u2202时，它们生成相同的优先推理D<\/jats:sub>(M<\/jats:italic>1<\/jats:sub>）和\u2202D<\/jats:sub>(M<\/jats:italic>2<\/jats:sub>）是同构的。基于\u2202D<\/jats:sub>（\u2022），我们还得到了著名公设的替代模型理论表征选言合理性减弱。此外，在有限语言框架中，我们证明了\u0394（\u03bc（\u2022））能够胜任消除冗余的任务，并为k<\/jats:italic>-关系<\/jats:p>“，”DOI“：”10.2178\/jsl\/1191333843“，”type“：”journal-article“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T16:25:04Z“，”timestamp“：1198081504000}，”page“：“803-833”，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“等价优先模型的代数表征”]，“前缀”：“10.1017”，“volume”：“72”，“作者“：[{“给定”：“朝晖”，“家庭”：“朱”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“荣”，“家族”：“张”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“56”，“在线发布”：{“日期-部分”：[[2014,3,12]}，“参考”：[}“关键”：“S0022481200005090_ref009”，“卷时间”：“模型理论”，“作者”“：”Chang“，”year“：”1977“}，{”key“：”S0022481200005090_ref006“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-94-015-9817-0_10”}，{“key”：“S0022482120005090_ref003”，”doi-assert-by“：”publisher“，”doi“：”10.1093\/logcom\/7.5.605“}，“key“：”S002248.1200005090_ ref023“，”首页“：”505\u2013516“，”卷时间“：”第一届知识表示与推理原理国际会议论文集”，“作者”：“Pearl”，“年份”：“1989”}，{“key”：“S0022481200005090_ref008”，“doi-asserted-by”：“publisher”，”doi“：“10.1007\/978-3662-04560-2”}第九届国际人工智能与数学研讨会”，“作者”：“Bochman”，“年份”：“2006”}，{“key”：“S0022481200005090_ref010”，“首页”：“419\u2013424”，“卷标”：“第十二届人工智能国际联合会议（IJCAI'91）会议记录”，“author”：“Dubois”，“year”：“1991”}S0022481200005090_ref013”，“卷时间”：“专家系统中非单调推理的理论基础”，“作者”：“Gabbay”，“年份”：“1989”}，{“关键字”：“S002248.1200005090_ ref030”，“首页”：“1\u201323”，“卷宗”：“67”，“作家”：“朱”，“年”：“2002”，“期刊标题”：“估值结构”}、{“key”：“SO0022481250005090_ref012”，“doi-asserted-by”：“”publisher“，”DOI“：”10.1145\/502090.502092“}，{”key“：”S0022481200005090_ref027“，”首页“：”227\u2013250“，”volume-title“：”非单调推理中的阅读“，”author“：”Shoham“，“year”：“1987”}，“key”：“S002248.1200005090_ ref031”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1016\/S0304-3975（03）00241-X”}，{“key”：“S0022481200005090_ref024”，“首页”：“1321\u20131337“，”volume“：”65“，”author“：”P\u00e9rez“，”year“：”2000“，”journal-title“：”关于非单调推理关系的表示定理“}，{“key”：“S0022481200005090_ref001”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-94-015-7622-2”}，“key标题“：”高概率、模型偏好和默认参数”，“卷”：“2”，“作者”：“Geffner”，“年份”：“1992”，“新闻标题”：“思维与机器”}，{“关键”：“S0022481200005090_ref015”，“首页”：“661\u2013672”，《卷-标题》：“第三届知识表示与推理原则国际会议论文集（KR’92）”，“作家”：“Goldszmidt“，“年份”：“1992”}，{“密钥”：“S0022481200005090_ref016”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-94-007-0814-3”}5090_ref018“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0004-3702（92）90041-U“}，{“key”：“S0022481200005090_ref019”，“首页”：“35\u2013110”，“volume-title”：“人工智能和逻辑编程中的逻辑手册，第3卷”，“author”：“Makinson”，“year”：“1994”}，}“key”：“SO0022481120005090_ref020”，“volume-titel”：“从经典逻辑到非单调逻辑的桥梁”，“卷”：“5”，“author”:“Makinsonson”年：“2005”}，{“key”：“S0022481200005090_ref021”，“volume-title”：“通信和移动系统：u03c0-演算”，“author”：“Milner”，“year”：“1999”}DOI“：”10.1093\/oso\/9780198503064.0001“}，{”key“：”S0022481200005090_ref028“，”first page“：“105\u2013134”，”volume-title“：”Causation in decision，confidence change，and statistics“，”volums“：”2“，”author“：”Spohn“，”year“：”1988 j.tcs.2005.08.029“}，{“键”：”S0022481200005090_ref032“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2006.02.025“}，{”key“：”S0022481 200005090_ ref004“，“doi-assert-by”：“publisher”，“doi”：“10.1017\/CBO9781107050884”}，“key”：“S002248 120005090_ref005”，”首页“：”605\u2013626“，”卷“：”65“，”作者“：”Bochman”，“年份”：“2000年”，“新闻标题”：“信念收缩作为非单调推理“}，{“key”：“S0022481200005090_ref026”，“volume-title”：“相干系统”，“卷”：“2”，“author”：“Schlechta”，“year”：“2004”}，}“keys”：“SO0224812000050.90_ref017”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0004-3702（90）90101-5”}doi-asserted-by“：”publisher“，”doi“：”10.1093\/logcom\/3.3.231“}，{“key”：“S0022481200005090_ref002”，“首页”：“510\u2013530”，“卷”：“50”，“作者”：“Alchourr\u00f3n”，“年份”：“1985”，“日志标题”：“理论变革的逻辑：部分满足收缩和修订函数”}]，“容器标题”：[“符号逻辑杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200005090“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2024,2,20]]，“date-time”：”2024-02-20T15:41:19Z“timestamp”：1708443679000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200005090\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2007,9]]}5090“]，”URL“：”http:\/\/dx.doi.org\/10.2178\/jsl\/1191333843“，”关系“：{}，”ISSN“：[”0022-4812“，”1943-5886“]，”ISSN-type“：[{”值“：”0022-48012“，“type”：“print”}，{”价值“：”1943-58“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2007,9]]}}}}