×
伊恩·普拉特·哈特曼

时间介词及其逻辑。 （英语） Zbl 1132.03334号

Artif公司。智力。 166，第1-2、1-36号（2005）.
小结：一段以时间介词和顺序形容词开头和结尾为特征的英语片段是通过上下文无关语法定义的。该语法赋予它所识别的句子的短语结构被视为区间时间逻辑的公式，其满足条件忠实地代表了相应英语句子的含义。结果表明，该逻辑的可满足性问题是NEXPTIME完备的。由此建立了确定具有时间结构的英语句子之间逻辑关系的计算复杂性。

引用于23文件

理学硕士：

03B65号 自然语言逻辑
03B44号 时间逻辑
2015年3月1日 计算复杂性（包括隐式计算复杂性）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

自然语言;时间介词;区间时序逻辑;计算复杂度
PDF格式BibTeX公司 XML格式引用
\textit{I.Pratt-Hartmann}，阿蒂夫。智力。166，编号1--2，1--36（2005；Zbl 1132.03334）
全文： 内政部

参考文献：

[1] Bennett，D.C.，《英语介词的时空用法》，朗曼语言学图书馆，第17卷（1975年），朗曼：朗曼伦敦
[2] Börger，E。；Grädel，E。；Gurevich，Y.，《经典决策问题》。数学逻辑透视（1997），施普林格：施普林格柏林·Zbl 0865.03004号
[3] 鲍曼，H。；汤普森，S.，带投影的有限区间时序逻辑的决策过程和完全公理化，逻辑计算。，13, 2, 195-239 (2003) ·Zbl 1050.03012号
[4] 克劳奇，R。；Pullman，S.，《自然语言规划系统中的时间和模式》，《人工智能》，63，265-304（1993）
[5] Davidson，D.，《行动句子的逻辑形式》（Rescher，N.，《决策与行动的逻辑》（1967），匹兹堡大学出版社：匹兹堡州立大学出版社），81-95·Zbl 0194.30301号
[6] Dowty，D.，《词义与蒙塔古语法》（1979），D.Reidel：D.Reidel Dordrecht
[7] V.戈兰科。；蒙塔纳里，A。；Sciavicco，G.，命题区间时间逻辑的一般表法，（Mayer，M.C.；Pirri，F.，Tableaux 2003。Tableaux 2003，《人工智能课堂讲稿》，第2796卷（2003），施普林格：施普林格柏林），102-117·Zbl 1274.03033号
[8] V.戈兰科。；Montanari，A。；Sciavicco，G.，《区间时序逻辑和持续时间计算路线图》，J.Appl。非经典逻辑，14，1-2，9-54（2004）·Zbl 1181.03012号
[9] Halpern，J.Y。；《时间间隔的命题模态逻辑》，J.ACM，38，4，935-962（1991）·Zbl 0799.68175号
[10] （Higginbotham，J.；Pianesi，F.；Varzi，A.C.，《事件演讲》（2000），牛津大学出版社：牛津大学出版社，纽约）
[11] 哈德斯顿，R。；Pullum，G.，《剑桥英语语法》（2002），剑桥大学出版社：剑桥大学出版社
[12] Hwang，C.H。；舒伯特，L.K.，《解释时态、体和时间状语》（Gabbay，D.M.；Ohlbach，H.J.，Proc.First International Conference on Temporal Logic，Proc.第一届国际时态逻辑会议，计算机科学讲稿，第827卷（1994），施普林格：施普林格柏林），238-264·Zbl 0949.03522号
[13] Kamp，H。；Reyle，U.，《从话语到逻辑：自然语言的模型理论语义学导论、形式逻辑和话语表征理论》，《语言学和哲学研究》，第42卷（1993年），Kluwer学术出版社：Kluwer-Academic London
[14] Moszkowski，B.，《硬件多级推理的时序逻辑》，《计算机》，第18期，第10-19页（1985年）
[15] Ogihara，T.，《时态、态度和范围，语言学和哲学研究》，第58卷（1996年），Kluwer:Kluwer-Dordrecht
[16] Paech，B.，Gentzen-命题时序逻辑系统，（Börger，E.；Kleine Büning，H.；Richter，M.，第二届计算机科学逻辑研讨会论文集，计算机科学讲义，第385卷（1988），Springer:Springer Berlin），240-253·Zbl 0712.03015号
[17] Parsons，T.，《英语语义学中的事件：亚原子语义学研究》（1990），麻省理工学院出版社：马萨诸塞州剑桥
[18] I·普拉特。；Francez，N.，时间介词和时间广义量词，语言学与哲学，24187-222（2001）
[19] Steedman，M.，《时间性》（van Benthem，J.；ter Meulen，A.，《逻辑和语言手册》（1996），爱思唯尔：爱思唯尔阿姆斯特丹），895-935
[20] Stump，G.，《绝对结构的语义可变性》（1985），Kluwer:Kluwer-Dordrecht
[21] ter-Meulen，A.G.，《用自然语言表示时间》（1996），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥
[22] Z·文德勒，《哲学语言学》（1967），康奈尔大学出版社：康奈尔学院出版社，纽约州伊萨卡
[23] Venema，Y.，区间时态逻辑的表达性和完备性，《圣母院形式逻辑》，31,4529-547（1990）·Zbl 0725.03006号
[24] Venema，Y.，《斩波间隔的模态逻辑》，《逻辑计算》，1，4，453-476（1991）·Zbl 0744.03022号
[25] von Stechow，A.，《带量词的时间介词短语：对Pratt和Francez（2001）的一些补充》，《语言学与哲学》，25755-800（2002）
[26] 祖奇，S。；怀特，M.，《词序与谓词的时间构成》，语言学与哲学，24223-270（2001）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。