Dov Gabbay公司;罗尔夫·诺瑟姆;伍兹，约翰 语境依赖性诱拐和相关性。 （英语） Zbl 1101.03003号 J.菲洛斯。日志。 35，第1期，65-81（2006）. 摘要：基于相关、一致或真实的内容可能因上下文而异的前提，提出了关联和上下文的正式框架，其中：\（\bullet\）上下文是数学实体；\（\bullet\）每个上下文都有自己的语言和相关含义；\（\bullet\）不同上下文的语言通过嵌入连接；\桥接规则支持（\bullet\）上下文间推断；\（\bullet \）数据库是用演绎历史及其所属上下文标记的公式集；\（bullet）诱拐和修正由公式和公式集的一致性概念支持，这些公式和公式集合与上下文相关，反过来又可以被视为议程的组成部分。 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：关联;上下文;绑架;修订;一致性 软件：周期 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabbay}等人，J.Philos。日志。35，第1号，65--81（2006；Zbl 1101.03003） 全文： 内政部 参考文献： [1] Aisbett，J.和Gibbon，G.（1994）：彩色实体模型的可调距离测量，Artif。智力。65(1), 143–164. ·Zbl 0787.68107号 ·doi:10.1016/0004-3702（94）90039-6 [2] Barnden，J.A.和Lee，M.A.（1999）：结合信念推理、隐喻推理和不确定性处理的已实现语境系统，见P.Bouquet，L.Serafini，P.Brézillon，M.Benerecetti和F.Castellani（编辑），《建模和使用语境：第二届国际和跨学科会议论文集》，上下文’99，施普林格，柏林-海德堡，纽约，第28-41页。 [3] Benerecetti，M.、Bouquet，P.和Ghidini，C.（1997）：信仰报告的多背景方法，见S.Buvać和L.Iwanska（编辑），1997年秋季韩国和荷兰AAAI语境研讨会·Zbl 1178.68553号 [4] Besnard，P.和Schwab，T.（1993）：默认逻辑的基于上下文的框架，见R.Fikes和W.Lehnert（编辑），《第十一届全国人工智能会议论文集》，美国人工智能协会：AAAI出版社，加利福尼亚州门洛帕克，第406-411页。 [5] Buvač，S.（1996）：使用上下文的形式理论解决词汇歧义，见K.van Deemter和S.Peters（编辑），《语义歧义和不明确》，CSLI讲义。 [6] Buvać，S.和McCarthy，J.（1996年）：结合规划背景，载于A.Tate（编辑），《高级规划技术：ARPA/罗马实验室规划倡议的技术成就》，AAA出版社，加州门罗公园。 [7] Edmonds，B.（2001）：《学习适当的语境》，载于A.、Varol、P.Bouquet、R.Thomason和R.A.Young（编辑），《建模和使用语境》，Springer，Berlin Heidelberg New York，第143-155页·Zbl 0997.68721号 [8] Gabbay，D.和Olivetti，N.（2001）：目标导向证明理论，Kluwer。 [9] Gabbay，D.和Woods，J.（2005）：《诱拐的影响：洞察力和审判》，《认知系统的实践逻辑》第2卷，爱思唯尔出版社；ISBN 0 444 51791 X，496页·Zbl 1078.03002号 [10] Gabbay，D.和Woods，J.（2003）：《议程相关性：形式范式研究》，《认知系统的实践逻辑》第1卷，Elsevier/North-Holland；国际标准书号0 444 51385 X。 [11] Ghidini，C.：《语境推理的语义学：理论和两个相关应用》，博士论文，Dipartamento di Informatica e Studi Aziendali，Univesita degli Studi di Roma“La Sapienza”，Roma。 [12] Ghidini，C.和Giunchiglia，F.（2001）：局部模型语义，或上下文推理=局部性+兼容性，Artif。智力。127（2）（2001）第221-259页·Zbl 0969.68141号 ·doi:10.1016/S0004-3702（01）00064-9 [13] Nossum，R.（2003）：小说逻辑的语境方法，见P.Blackburn、C.Ghidini、R.Turner和F.Giunchiglia（编辑），《建模和使用语境》，LNAI第2680期，斯普林格出版社，第233-244页·Zbl 1279.68317号 [14] Nossum，R.和Serafini，L.（2002）：小说的多上下文逻辑，载于J.Calmet、B.Benhamou、O.Caprotti、L.Henoque和V.Sorge（编辑），《人工智能、自动推理和符号计算》，LNAI第2385卷，斯普林格·Zbl 1072.68584号 [15] Reed，S.和Lenat，D.（2002）：将本体映射到Cyc。Cycorp Inc.在线技术报告。，http://www.cyc.com/doc/white_pers/将本体映射到-%cyc_v31.pdf。 [16] Serafini，L.和Giunchiglia，F.（2001）：ML系统：语境的证明理论，J.Logic Lang.Inf.July·Zbl 1011.03018号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。