阿洛科斯塔，霍拉西奥；威廉·泰森 上下文情态动词。 （英语） Zbl 1081.03022号 Dey，Anind（编辑）等人，《建模和使用上下文》。第五届国际和跨学科会议，CONTEXT 2005，巴黎，法国，2005年7月5-8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26924-X/pbk）。计算机科学讲义3554。人工智能课堂讲稿，15-28（2005）。 摘要：在最近的一系列文章中，Angelika Kratzer认为，Kripkean系列对情态的标准描述不足以代表上下文相关的情态。她特别指出，标准叙述无法提供一种能够克服潜在会话背景不一致的情态的非平凡叙述。她还强调了描述上下文相关条件句的困难。作为对这些不足之处的回应，她提供了上下文情态的二维描述。语境情态的这种表征主要使用了两种会话背景。我们在本文中表明，Kratzer的双相对模型（具有有限域）与最初由D.斯科特[《模态逻辑的建议》，载于：Philos.Probl.logic，Colloquium Univ.Calif.Irvine 1968，143-173（1970；Zbl 0295.02013.中)]以及R.蒙塔古[《语用学》，摘自：《当代哲学》，《意大利新世界编辑》，101-121（1968）]。我们还认为，邻域模型也可以用于表示一些（非正常）分级模式，这些模式在她的框架中很难表示（如“很可能”或“很可能会”等）。最后，我们证明了条件句邻域语义的扩展能够捕获她关于并元情态的一些建议。具有无限域的DR模型可以显示为与邻域模型的逐点等价，但不能保证它们具有关系对应项。因此，DR模型超越了关系模型（Kripkean）的代表能力。然而，邻域表示始终是可能的，这也清楚地表明了双重相对情态的中心特征是，它们能够编码语境的两个中心方面：命题内容和动态属性（在Kratzer的模型中，动态属性通过排序源表示）。关于整个系列，请参见[Zbl 1076.68006号]. MSC公司： 03B65号 自然语言逻辑 03B45号 模态逻辑（包括规范逻辑） 引文：Zbl 0295.02013.中 PDF格式BibTeX公司 XML格式引用 \textit{H.ArlóCosta}和\textit{W.Taysom}，莱克特。注释计算。科学。3554，15--28（2005；Zbl 1081.03022） 全文： 内政部