福斯托·金奇利亚;卢西亚诺·塞拉菲尼 多语言层次逻辑,或者:没有模态逻辑我们该怎么办。 (英语) Zbl 0787.68093号 Artif公司。智力。 65,No.1,29-70(1994). 摘要:多语言系统(ML系统)是允许使用多种不同逻辑语言的正式系统。本文介绍了一类使用一阶语言层次结构的ML系统,每种语言都包含以下语言的名称,并将其作为模态逻辑的替代方案。我们提案的动机是技术性的、认识论的和实现性的。从技术角度来看,我们证明,除其他外,最常见的模态逻辑的一组定理可以嵌入到相应ML系统的定理中(在模态语言和一阶语言之间的明显双射映射下)。此外,我们还证明了ML系统具有模态逻辑所不具备的特性,并论证了这些特性是由我们的直觉所证明的。这一主张的动机是研究ML系统如何用于表示信念(更广泛地说,命题态度)和可证明性,这两个领域的模态逻辑已被广泛使用。最后,从实现的角度来看,我们认为ML系统在命题态度的计算机表示和元理论定理证明方面与当前的实践非常相似。 引用于1审查引用于31文件 MSC公司: 68T99型 人工智能 68T27型 人工智能中的逻辑 03B45号 模态逻辑(包括规范逻辑) 关键词:信念表征;多语言系统;逻辑语言;一阶语言的层次结构;模态逻辑;元理论定理证明 软件:蛤;GETFOL公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Giunchiglia}和\textit{L.Serafini},Artif。智力。65,编号1,29--70(1994;Zbl 0787.68093) 全文: 内政部 参考文献: [1] Boolos,G.(一致性的不可证实性:模态逻辑论文(1979),剑桥大学出版社:剑桥大学出版社,英国剑桥)·Zbl 1156.03001号 [2] 公牛,R。;Segerberg,K.,基本模态逻辑,(Gabbay,D.;Guenthner,F.,哲学逻辑手册,第三卷(1984年),Reidel:Reidel Dordrecht,荷兰),1-88·Zbl 0875.03045号 [3] Bundy,A.,《使用明确计划指导归纳证明》,(Luck,R.;Overbeek,R.,《自动演绎第九届会议论文集》(1988),Springer:Springer Berlin),111-120·Zbl 0656.68106号 [4] 邦迪,A。;Welham,B.,《使用元级推理在代数操作中选择性应用多重重写规则》,Artif。智力。,16, 2, 189-212 (1981) [5] 德斯·里维埃雷斯,J。;Levesque,H.J.,《情态句法处理的一致性》(Halpern,J.Y.,《1986年知识推理理论方面会议论文集》(1986),Morgan Kaufmann:Morgan Koufmann Los Altos,CA),115-130 [6] Dinsmore,J.(《分区代表》(1991),Kluwer学术出版社:Kluwer-学术出版社,马萨诸塞州波士顿) [7] 费金,R。;Halpern,J.Y.,《信仰、意识和有限推理》,人工制品。智力。,34, 39-76 (1988) ·Zbl 0634.03013号 [8] Fauconnier,G.,(心理空间:自然语言意义构建的方面(1985),麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥) [9] Feferman,S.,公理理论的超有限递归级数,J.符号逻辑,27259-316(1962)·Zbl 0117.25402号 [10] Gabbay,D.,标签演绎系统,(技术报告CIS-Bericht-90-22(1990),慕尼黑大学,Zentrum für Informations-und Sprachverarbeitung:Universityät München,Zentum für Informations-und Spracheverarbeiting-Müncheng,Germany)·Zbl 1058.03017号 [11] 意大利特伦托IRST技术报告第9011-17号(1990) [12] Giunchiglia,F.,The获取文件夹手动:获取文件夹第1版,(《技术报告9204-01(1992)》,热那亚大学DIST:意大利热那亚学院DIST),以及:意大利特伦托IRST技术报告(即将发布) [13] 意大利特伦托IRST技术报告9211-20(1992) [14] 意大利特伦托IRST技术报告9001-02(1990) [15] Giunchiglia,F。;Serafini,L.,《分层meta-logics:一些实证理论结果》,《技术报告9303-11》(1993),意大利特伦托 [16] 意大利特伦托IRST技术报告9206-03(1992) [17] 意大利特伦托IRST技术报告9101-05(1991) [18] (DAI研究论文375(1989),爱丁堡大学:苏格兰爱丁堡学院) [19] 意大利特伦托IRST技术报告9003-12(1990) [20] 意大利特伦托IRST技术报告9012-03(1990)·Zbl 0745.68092号 [21] 意大利特伦托IRST技术报告9011-12(1990) [22] (MRG-DIST技术报告9105-02(1991),北荷兰:意大利北荷兰) [23] (MRG-DIST技术报告9107-02(1991年),热那亚大学DIST:意大利热那瓦大学DIST) [24] van Heijenoort,J.,(《从弗雷格到哥德尔:数理逻辑源书,1879-1931(1967)》,哈佛大学出版社:哈佛大学出版社,马萨诸塞州剑桥)·JFM 57.0054.02号 [25] Halpern,J.Y.,《关于知识的推理,概述》(1986年知识推理理论方面会议论文集(1986),Morgan Kaufmann:Morgan Koufmann Los Altos,CA),1-17·Zbl 1182.68244号 [26] Halpern,J.Y。;Moses,Y.,《知识和信仰的模态逻辑指南:初稿》(Proceedings IJCAI-85)。IJCAI-85会议记录,加利福尼亚州洛杉矶(1985),480-490 [27] Hintikka,J.(《知识与信仰》(1962),康奈尔大学出版社:康奈尔学院出版社,纽约州伊萨卡) [28] Horn,C.,NuPrl验证开发系统,(工作文件214(1988),爱丁堡大学人工智能系:苏格兰爱丁堡爱丁堡大学人工智能系),NuPrl的爱丁堡版本已更名为Oyster [29] Kim,J。;Kowalski,R.A.,《合并逻辑在多智能体信念中的应用》,(Bruynooghe,M.,《逻辑元编程第二次研讨会论文集》,比利时卢万,第二次逻辑元编程研讨会论文集(1990),272-283 [30] 科诺里奇,K.,信念及其逻辑的演绎模型,(博士论文(1984),斯坦福大学:斯坦福大学,加利福尼亚州斯坦福)·Zbl 0661.68099号 [31] (Lifschitz,V.,《形式化常识:约翰·麦卡锡的论文》(1990),埃利斯·霍伍德:埃利斯·霍伍德纽约),119-141 [32] (Lifschitz,V.,《规范化常识:John McCarthy的论文》(1990),Ablex:Ablex纽约),226-236·Zbl 0644.68004号 [33] McCarthy,J.,《关于形式化上下文的注释》(Proceedings IJCAI-93)。《国际商会国际会议记录-93》,法国尚贝里(1993),555-560 [34] (Lifschitz,V.,《正式化常识:约翰·麦卡锡论文》(1990年),Ablex:Ablex纽约),21-63·Zbl 0226.68044号 [35] 《哲学学报》。芬恩。,16, 153-167 (1963) ·Zbl 0117.01302号 [36] Perlis,D.,《语言与自我参照I:基础》,Artif。智力。,25, 301-322 (1985) ·Zbl 0581.03005号 [37] Prawitz,D.,(自然演绎:实证理论研究(1965年),阿尔奎斯特和威克塞尔:阿尔奎斯特与威克塞尔斯德哥尔摩)·Zbl 0173.00205号 [38] Smorynski,C.(自参考和模态逻辑(1985),Springer:Springer Berlin)·Zbl 0596.03001号 [39] Tarski,A.(逻辑,Semantićs,元数学(1956),牛津大学出版社:牛津大学出版社)·JFM 62.1051.05型 [40] Tarski,A.(逻辑、语义、元数学(1956),牛津大学出版社:牛津大学出版社) [41] Thomason,R.H.,《情态的句法处理》,Synthese,44,391-395(1980)·兹比尔0449.03005 [42] van Harmelen,F.,《防虫规划师》(DAI技术论文4(1989),爱丁堡大学人工智能系:爱丁堡学院人工智能系,苏格兰爱丁堡) [43] van Heijenoort,J.,(《从弗雷格到哥德尔:数理逻辑源书,1879-1931(1967)》,哈佛大学出版社:哈佛大学出版社,马萨诸塞州剑桥) [44] Weyhrauch,R.W.,用户手册fol(文件夹),(技术报告STAN-CS-77-432(1977),斯坦福大学计算机科学系:加州斯坦福大学计算机系) [45] Weyhrauch,R.H.,机械化形式推理理论序言,Artif。智力。,13, 1, 133-176 (1980) ·Zbl 0435.68070号 [46] Weyhrauch,R.W.,一个例子fol(文件夹)使用元理论:形式化推理和引入派生推理规则,(《自动演绎会议论文集》,第六届自动演绎会议,纽约(1982))·Zbl 0488.68057号 [47] Wilks,Y。;Ballim,A.,《多重代理与信念的启发式归属》(Proceedings IJCAI-87)。IJCAI-87会议记录,意大利米兰(1987),118-124 [48] Wilks,Y。;Biem,J.,《言语行为与多重环境》(Proceedings IJCAI-79。IJCAI-79会议记录,东京(1979年) [49] Wilks,Y。;Bien,J.,信念、观点和多重环境,认知科学。,6, 120-146 (1983) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。