×

对艾伦的行动和时间理论的批判性研究。 (英语) Zbl 0733.03017号

作者摘要:“J.F。艾伦的时间和行动理论被检验后发现,不适合代表有关持续变化的事实。为了适应这种可能性,对艾伦的理论提出了一系列修正。主要的修订是时间本体的多样化,以包括与时间间隔相同基础上的瞬间;根据时间关联的逻辑,还对称为位置状态和运动状态的两种属性进行了区分。由于这些修订,还发现有必要使指定时间位置的谓词的范围多样化。最后,有人认为艾伦的过程范畴是多余的,因为它可以与性质范畴同化。本文讨论了这种同化对在进行体中表示含有动词的句子的意义。”
评论家评论:汉斯·坎普(Hans Kamp)在其DRT研究中也考虑了间隔逻辑(这可以追溯到本世纪初的N.维纳(N.Wiener))。

MSC公司:

03B60号 其他非经典逻辑
68T27型 人工智能中的逻辑
68立方英尺 知识表示
03B80号 逻辑的其他应用
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Allen,J.F.,《基于时间间隔的知识表示法》(Proceedings IJCAI-81)。不列颠哥伦比亚省温哥华市IJCAI-81会议记录(1981),221-226
[2] 艾伦,J.F。;Koomen,J.A.,《使用时间世界模型进行规划》(Proceedings IJCAI-83)。《IJCAI-83会议记录》,卡尔斯鲁厄,FRG(1983年),741-747
[3] Allen,J.F.,《保持时间间隔知识》,Commun。ACM,26832-843(1983)·Zbl 0519.68079号
[4] Allen,J.F.,《走向行动与时间的一般理论》,人工智能,23123-154(1984)·兹伯利0567.68025
[5] 艾伦,J.F。;Hayes,P.J.,《时间的公理理论》(Proceedings IJCAI-85)。IJCAI-85会议记录,加利福尼亚州洛杉矶(1985),528-531
[6] 艾伦,J.F。;Kautz,H.A.,《天真时间推理模型》(Hobbs,J.R.;Moore,R.C.,《常识世界的形式理论》(1985),Ablex:Ablex Norwood,NJ),251-268
[7] Anscombe,G.E.M.,之前和之后,Philos。修订版,73,3-24(1964)
[8] 邦迪,A,它会到达顶端吗?,力学界的预测。力学世界的预测,人工智能,10129-146(1978)·Zbl 0376.70001号
[9] A.P.高尔顿,《方面的逻辑》(1984),克拉伦登出版社:牛津克拉伦登出版公司
[10] Hamblin,C.L.,《启动与停止》,《一元论》,53,410-425(1969)
[11] Hamblin,C.L.,《瞬间与间隔》,《通用研究所》,第24期,第127-134页(1971年)
[12] Hayes,P.J.,《天真物理学I:液体的本体论》(Hobbs,J.R.;Moore,R.C.,《常识世界的形式理论》(1985),Ablex:Ablex Norwood,NJ),71-108
[13] Kuipers,B.,《因果关系的常识推理:从结构中导出行为》,人工智能,24169-203(1984)
[14] McDermott,D.,《关于过程和计划推理的时序逻辑》,认知科学。,6, 101-155 (1982)
[15] Prior,A.N.,《过去、现在和未来》(1967),克拉伦登出版社:牛津克拉伦登出版公司·Zbl 0169.29802号
[16] Shoham,Y.,《具体化时间逻辑:语义和本体论考虑》(Proceedings ECAI-86)。ECAI-86会议记录,英国布莱顿(1986),390-397
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。