×
Craig Boutiler公司

正规的条件逻辑：模态方法。 （英语） Zbl 0811.68114号

Artif公司。智力。 68，第1期，第87-154页（1994年）.
摘要：最近提出了几种默认推理的条件理论，用于再现关于事件正常状态或典型属性的语句。这些系统的自然语义及其推理默认规则的能力使这些方法非常有吸引力。我们提出了一类模态逻辑，其中我们为正规语句定义了条件连接词，并研究了它的性质。我们还证明，最重要的条件方法中，有一种方法相当于我们的条件逻辑的正规片段（以及标准模态逻辑）。我们采用的方法足够通用，可以表达多种不同形式的可废止推理，并且可以用来说明这些类型的推理（例如，信念修正、虚拟推理和自认知推理）与我们的默认逻辑之间的关系。这一关系在配套文件中进行了探讨。

引用于58文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

正规的条件逻辑;信念修正;自认知推理
PDF格式BibTeX公司 XML格式引用
\textit{C.Boutiler}，Artif（阿蒂夫）。智力。68，第1号，87--154（1994；Zbl 0811.68114）
全文： 内政部

参考文献：

[1] Adams，E.W.（《条件逻辑》（1975），Reidel:Reidel Dordrecht，荷兰）·Zbl 0324.02002号
[2] 奥奎斯特，L.，《良好的撒玛利亚人、违背义务的命令和认识义务》，《诺亚斯》，1361-379（1967）
[3] Asher，N。；Morreau，M.，《常识蕴涵：非单调推理的模态理论》（Proceedings IJCAI-91）。《IJCAI-91会议记录》，澳大利亚悉尼（1991），387-392·兹比尔0744.68120
[4] Bacchus，F.（《用概率知识表示和推理》（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[5] 北卡罗来纳州贝尔纳普，《有用的四值逻辑》，（爱泼斯坦·G；邓恩·J·M，《多值逻辑的现代应用》（1977），雷德尔：雷德尔·波士顿，马萨诸塞州），8-37·Zbl 0424.03012号
[6] Besnard，P.，《非单调推理系统元理论中的公理化》，（《加拿大智能计算研究学会会议论文集》，加拿大计算研究学会智能会议论文集，阿尔塔州埃德蒙顿（1988）），117-124
[7] Boutiler，C.，作为模态系统的常态条件逻辑（Proceedings AAAI-90）。AAAI-90诉讼，马萨诸塞州波士顿（1990），594-599
[8] Boutilier，C.，《不可接近的世界与不相关：初步报告》，（《IJCAI-91期刊集》）。《IJCAI-91会议记录》，澳大利亚悉尼（1991），413-418·Zbl 0747.68078号
[9] Boutiler，C.，《默认推理和信念修正的条件逻辑》（博士论文、博士论文、技术报告KRR-TR-92-1（1992），多伦多大学：安大略省多伦多大学）
[10] Boutiler，C.，自认知逻辑中的认识论强化，基金会。Inf.，17，1-2，5-30（1992）·Zbl 0772.68089号
[11] Boutiler，C.，《规范性、虚拟性和自认知缺省：采用拉姆齐检验》，（《第三届知识表示和推理原则国际会议论文集》，马萨诸塞州剑桥市第三届国际知识表示与推理原则会议论文集（1992）），685-696
[12] Boutiler，C.，《默认优先级是什么》（《加拿大计算研究学会情报会议论文集》，加拿大计算研究会情报会议论文，不列颠哥伦比亚省温哥华（1992）），140-147
[13] Boutiler，C.，关于稳定继承推理的语义，计算。智力。，9, 1, 73-110 (1993)
[14] Boutiler，C.，修订序列和嵌套条件，（会议录IJCAI-93。《国际商会国际会议记录-93》，法国尚贝里（1993），519-525
[15] Boutiler，C.，在模态框架中统一默认推理和信念修正，Artif。智力。，68，33-85（1994），（本期）·Zbl 0811.68113号
[16] Boutiler，C。；Goldszmidt，M.，《条件信念修正》（Proceedings AAAI-93）。AAAI-93诉讼，华盛顿特区（1993），649-654
[17] Brewka，G.，《首选子理论：默认推理的扩展逻辑框架》（Proceedings IJCAI-89）。《IJCAI-89会议记录》，密歇根州底特律（1989），1043-1048·Zbl 0713.68053号
[18] Chellas，B.F.，《基本条件逻辑》，J.Philos。逻辑，4133-153（1975）·兹比尔0317.02029
[19] Czelakowski，J。；Malinowski，G.，塔斯基演绎系统方法的关键概念，Studia Logica，44，4，321-351（1985）·Zbl 0615.03014号
[20] Delgrand，J.P.，《自然类型的命题逻辑》，（加拿大智能计算研究学会会议论文集。加拿大智能计算学会会议论文，魁北克省蒙特利尔（1986）），44-48
[21] Delgrand，J.P.，原型属性的一阶逻辑，Artif。智力。，33, 105-130 (1987) ·兹比尔0654.68106
[22] Delgrand，J.P.，《基于一阶条件逻辑的默认推理方法：修订报告》，Artif。智力。，36, 63-90 (1988) ·Zbl 0646.03015号
[23] Delgrand，J.P.，一类继承网络的语义，（加拿大智能计算研究学会会议论文集。加拿大智能计算学会会议论文，渥太华，安大略省（1990）），54-60
[24] Gabbay，D.M.，专家系统中非单调推理的理论基础，（Apt，K.R.，并发系统的逻辑和模型（1985），Springer:Springer Berlin），439-457·Zbl 0581.68068号
[25] P.Gärdenfors和D.Makinson，基于期望的非单调推理，Artif公司。智力。65; P.Gärdefors和D.Makinson，基于期望的非单调推理，Artif公司。智力。65·Zbl 0803.68125号
[26] Geffner，H.，《默认推理：因果和条件理论》（《技术报告137》（1989），加州大学洛杉矶分校计算机科学系：加州大学洛杉矶校区计算机科学系）
[27] Geffner，H。；Pearl，J.，《条件蕴涵：桥接默认推理的两种方法》，Artif。智力。，53, 209-244 (1992) ·Zbl 1193.68235号
[28] Gentzen，G.，《逻辑演绎研究》（Szabo，M.E.，《Gerhard Gentzen1968年文集》，北荷兰：北荷兰阿姆斯特丹），68-129
[29] Ginsberg，M.L.，《反事实，艺术》。智力。，30, 1, 35-79 (1986) ·Zbl 0655.03011号
[30] Goldszmidt，M。；莫里斯，P。；Pearl，J.，《非单调推理的最大熵方法》（Proceedings AAAI-90）。AAAI-90诉讼，马萨诸塞州波士顿（1990），646-652
[31] Goldszmidt，M。；Pearl，J.，《论理性闭包与系统Z的关系》，（第三届非单调推理国际研讨会，第三届国际非单调推理研讨会，加州南塔霍湖，1990年），130-140
[32] Goldszmidt，M。；Pearl，J.，《关于可撤销数据库的一致性》，Artif。智力。，52, 121-149 (1991) ·Zbl 0749.68026号
[33] Goldszmidt，M。；Pearl，J.，《定性概率推理是可以处理的》（《人工智能不确定性第八届会议论文集》，《人工智能中不确定性第八届会议论文录》，加利福尼亚州斯坦福（1992）），112-120
[34] Haack，S.（《逻辑哲学》（1978），剑桥大学出版社：剑桥大学出版社，英国剑桥）
[35] Halpern，J.Y。；拉宾，M.O.，推理可能性的逻辑，Artif。智力。，32, 379-405 (1987) ·Zbl 0621.03011号
[36] Hirschberg，J.，《关于是/否问题的重新定义》，（第十届国际计算语言学会议论文集。第十届计算语言学国际会议论文集，加利福尼亚州斯坦福（1984）），48-51
[37] Hirst，G.，《知识表示中的存在假设》，Artif。智力。，4199-242（1991年）
[38] 休斯，G.E。；克雷斯韦尔，M.J.，（模态逻辑指南（1984），Methuen:Methuen London）·Zbl 0625.03005号
[39] 亨伯斯通，I.L.，《不可接近的世界》，《圣母院J.形式逻辑》，第24、3、346-352页（1983年）·Zbl 0487.03007号
[40] 克劳斯，S。；莱曼博士。；Magidor，M.，非单调推理，优先模型和累积逻辑，Artif。智力。，44, 167-207 (1990) ·Zbl 0782.03012号
[41] Kyburg，H.E.，（概率与理性信念的逻辑（1961），卫斯理大学出版社：卫斯理学院出版社米德尔敦）
[42] Kyburg，H.E.，参考类，Philos。科学。，50, 3, 374-397 (1983)
[43] Ladner，R.E.，《模态命题逻辑系统可证明性的计算复杂性》，Siam J.Comput。，6, 3, 467-480 (1977) ·Zbl 0373.02025号
[44] Lakemeyer，G.，《信念命题逻辑中的可追踪元推理》（Proceedings IJCAI-87）。IJCAI-87会议记录，意大利米兰（1987），402-408
[45] Lamarre，P.，S4作为非单调性的条件逻辑（Proceedings Second International Conference on Principles of Knowledge Representation and Reasoning）·Zbl 0765.03013号
[46] Lehmann，D.，有条件知识库需要什么？，（《第一届知识表示和推理原则国际会议论文集》，安大略省多伦多（1989），第212-222页）·Zbl 0709.68104号
[47] 莱曼，D。；Magidor，M.，有条件知识库需要什么？，（技术报告TR-90-10（1990），希伯来语大学：耶路撒冷希伯来大学）·Zbl 0818.68137号
[48] Levesque，H.J.，《内隐和外显信念的逻辑》（Proceedings AAAI-84）。《AAAI-84会议记录》，德克萨斯州奥斯汀（1984），198-202
[49] Levesque，H.J.，《我所知道的一切：自认知逻辑研究》，Artif。智力。，42, 263-309 (1990) ·兹比尔0724.03019
[50] 莱文森，S.C.（语用学（1983），剑桥大学出版社：剑桥大学出版社，英国剑桥）
[51] Lewis，D.（反事实（1973），布莱克威尔：英国牛津布莱克威尔出版社）·Zbl 0989.03003号
[52] 林，F。；Shoham，Y.，《论元系统：非单调推理的统一基础》，（《第一届知识表示与推理原则国际会议论文集》，《第一届国际知识表示与理性原则会议论文集，安大略省多伦多（1989）》），245-255·Zbl 0709.68089号
[53] Loui，R.，《在论据中击败：可废止推理系统》，《计算》。智力。，3，100-106（1987年）
[54] Makinson，D.C.，《累积推理的一般理论》（Reinfrank，M.；De Kleer，J.；Ginsberg，M.L.；Sandewall，E.，《非单调推理》（1989），Springer:Springer Berlin），1-18·Zbl 0675.03007号
[55] 麦克阿瑟，G.，《关于知识和信仰的推理：调查》，《计算》。智力。，4, 3, 223-243 (1988)
[56] McCarthy，J.，《界限——非单调推理的一种形式》，Artif。智力。，13, 27-39 (1980) ·兹比尔0435.68073
[57] McCarthy，J.，《限制在形式化常识推理中的应用》，Artif。智力。，28, 89-116 (1986)
[58] Moore，R.C.，非单调逻辑的语义考虑，Artif。智力。，25, 75-94 (1985) ·Zbl 0569.68079号
[59] Nute，D.（条件逻辑主题（1980），Reidel:Reidel Dordrecht，荷兰）·Zbl 0453.03016号
[60] Nute，D.，基于条件逻辑的非单调逻辑（Res.Report 01-0007（1984），佐治亚大学：佐治亚州雅典大学）
[61] Nute，D.，《非单调推理和条件句》（Res.Report 01-0002（1984），佐治亚大学高级计算方法中心：佐治亚州雅典大学先进计算方法中心）
[62] 小野，H。；Nakimura，A.，关于一些线性模态和时态逻辑的反驳Kripke模型的大小，Studia Logica，39，4，325-333（1980）·Zbl 0466.03008号
[63] Pearl，J.，（智能系统中的概率推理：合理推理网络（1988），Morgan Kaufmann:Morgan Koufmann San Mateo，CA）
[64] Pearl，J.，《非单调推理的概率语义学：一项调查》，《第一届知识表示和推理原则国际会议论文集》，安大略省多伦多（1989），505-516·Zbl 0703.03008号
[65] Pearl，J.，System Z：默认推理的自然顺序，可处理应用于默认推理，（Vardi，M.，《关于知识推理理论方面的第三次会议论文集》，《关于关于知识推理的理论方面的会议论文集第三次会议》，加利福尼亚州太平洋格罗夫（1990），121-135
[66] Pollock，J.L.（《当代知识理论》（1986），Rowman and Littlefield:Rowman和Littlefeld Totowa）
[67] Pollock，J.L.，可推翻推理，认知科学。，11, 481-518 (1987)
[68] Poole，D.，默认推理的逻辑框架，Artif。智力。，36, 27-47 (1988) ·Zbl 0647.68094号
[69] Poole，D.，《知识对信念的影响：条件作用、特异性和默认推理中的彩票悖论》，Artif。智力。，49281-307（1991年）·Zbl 0737.68074号
[70] Poole，D.，《决策理论缺省值》（加拿大智能计算研究学会第九届两年期会议论文集，加拿大智能计算学会第九次两年期会议文献集，不列颠哥伦比亚省温哥华（1992）），190-197
[71] Quine，W.V.O，（单词和对象（1960），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[72] Quine，W.V.O，（《从逻辑的观点》（1961），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥）
[73] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·兹伯利0435.68069
[74] Reiter，R.，《非单调推理》，《计算机年鉴》。科学。，2, 147-186 (1987)
[75] Segerberg，K.，《具有线性替代关系的模态逻辑》，《理论》，第36期，第310-322页（1970年）·Zbl 0235.02019
[76] Shoham，Y.，（《关于变化的推理：从人工智能的角度看时间和因果关系》（1988），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥）
[77] Stalnaker，R.C.，《条件句理论》（Harper，W.L.；Stalnake，R.；Pearce，G.，Ifs（1981），Reidel:Reidel Dordrecht，荷兰），41-55
[78] Touretzky，D.S.（《继承系统的数学》（1986），皮特曼：皮特曼伦敦）·Zbl 0675.68006号
[79] Touretzky，D.S。；霍蒂，J.F。；Thomason，R.H.，《直觉的冲突：非单调多重继承系统的当前状态》（Proceedings IJCAI-87）。IJCAI-87会议记录，意大利米兰（1987），476-482
[80] A.特维斯基。；Kahneman，D.，《不确定性下的判断：启发式和偏见》（Shafer，G.；Pearl，J.，《不确定推理中的阅读》（1990），Morgan-Kaufmann:Morgan-Koufmann-San Mateo，CA），32-39·Zbl 0805.68121号
[81] 范·弗拉森（van Fraassen），《有条件义务的逻辑》，J.Philos。逻辑，1417-438（1972）·Zbl 0246.020155号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。