×
詹姆斯·F·艾伦。

走向行动和时间的一般理论。 （英语） Zbl 0567.68025号

Artif公司。智力。 23, 123-154 (1984).
作者提出了一个以时间间隔、属性和对象为基本分类的多分类谓词演算框架，以位置、事件、事件和过程的分类为事件、代理、动作、计划等的子项，。。。该语言包含谓词符号，意在表示直观关系“属性p在时间t保持”、“事件e在时间t发生”、“过程e在时间t发生”等，以及将两个事件纳入复合事件或将一个对象o和两个位置（L_1）的函数符号，将o的位置从（L_1）更改为（L_2）。本文的主要部分是讨论这些原语在自然语言处理和规划领域中可能存在的假设。
审核人：H.P.施密特

引用于2评论
引用于92文件

MSC公司：

68问题65 抽象数据类型；代数规范
03B45 模态逻辑（包括规范逻辑）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68问题55 计算理论中的语义学

关键词：

时序逻辑;多排序谓词演算;行动;自然语言处理;规划
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Allen}，阿蒂夫。智力。23123--154（1984年；Zbl 0567.68025）
全文： 内政部

参考文献：

[1] Charniak，E.，《解决问题和语言理解信息的通用表示法》，《人工智能》，第16期，第225-255页（1981年）
[2] 艾伦，J.F。；佩罗，C.R.，《话语中的意图分析》，《人工智能》，第15期，第143-178页（1980年）
[3] Fillmore，C.J.，《案例与案例》（巴赫；哈姆斯，语言理论的普遍性（1968），霍尔特、莱茵哈特和温斯顿：霍尔特、雷茵哈特与温斯顿，纽约）
[4] 麦卡锡，J。；Hayes，P.J.，《从人工智能的角度来看的一些哲学问题》（Meltzer，B.；Michie，D.，《机器智能》，4（1969），爱丁堡大学出版社：爱丁堡学院出版社）·Zbl 0226.68044号
[5] 认知科学。，6, 2 (1982)
[6] Mouralatos，A.P.D.，事件、过程和状态，语言学和哲学，2415-434（1978）
[7] 杰肯多夫，R.，《走向解释性语义表征》，《语言学研究》，第7、1、89-150页（1976年）
[8] Goldman，A.（人类行为理论（1970），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿）
[9] Davidson，D.，《动作句的逻辑形式》（Rescher，N.，《决定与行动的逻辑》（1967），匹兹堡大学出版社：宾夕法尼亚州匹兹堡市匹兹堡分校出版社）·兹比尔0194.30301
[10] ACM委员会，26832-843（1983）·Zbl 0519.68079号
[11] Mays，E.，《用于推理变化的模态时间逻辑》（Proc.21 Meeting，Association for Computational Linguistics，1983），麻省理工学院：麻省理工大剑桥分校，加利福尼亚州）
[12] Schank，R.C.，（概念信息处理（1975），北荷兰人：纽约州北荷兰人）·Zbl 0354.68116号
[13] Hayes，P.J.，《天真物理学I：液体的本体论》，（工作文件63（1978），日内瓦大学物理与认知研究所：日内瓦大学物理和认知研究所）
[14] （Sosa，E.，因果关系和条件（1975），牛津大学出版社：牛津大学出版社）
[15] Taylor，R.（《行动与目的》（1966年），《普伦蒂斯·霍尔：普伦蒂丝·霍尔·恩格尔伍德·克利夫斯，新泽西州》）
[16] 诺曼，D.A。；Rumelhart，D.E.（认知探索（1975），弗里曼：弗里曼旧金山，加利福尼亚州）
[17] Searle，J.R.（言语行为：语言哲学论文（1969），剑桥大学出版社：剑桥大学出版社伦敦）
[18] Cohen，P.R.，《知道该说什么：计划言语行为》（TR 118（1978），多伦多大学计算机科学系）
[19] Moore，R.C.，《关于知识和行动的推理》（博士论文（1979年），麻省理工学院：麻省理工科大学剑桥分校）
[20] Haas，A.，《计划心理行动》（TR 106和博士论文（1982），罗切斯特大学计算机科学系：纽约罗切斯特学院计算机科学系）
[21] Konolidge，K.，《多智能体规划系统的知识和行动的一阶形式化》（TN 232（1980），AI中心，SRI国际：AI中心、SRI国际门罗公园，加利福尼亚州）
[22] 卡普兰，D.，《量化，综合》，第19期，178-214页（1968年）
[23] Perlis，D.，《语言、计算和现实》（TR 95和博士论文（1981），罗切斯特大学计算机科学系：罗切斯特州立大学计算机科学部，纽约）
[24] Fikes，R.E。；Nilsson，N.J.，STRIPS:将定理证明应用于问题解决的新方法，《人工智能》，2189-205（1971）·Zbl 0234.68036号
[25] Sacerdoti，E.D.，《计划的非线性本质》（第四届国际JCAI会议，第四届IJCAI大会，第比利斯，苏联（1975））
[26] 艾伦，J.F。；Koomen，J.A.，《使用时间世界模型进行规划》（第八届IJCAI会议，第八届国际JCAI大会，西德卡尔斯鲁厄（1983））
[27] Vere，S.，《时间规划：活动和目标的窗口和持续时间》（1981年），加州理工学院喷气推进实验室
[28] 塞尔，J.R.，《意图和行动的意向性》，认知科学。，4, 1 (1980)
[29] 米勒，G.A。；格兰特，E。；Pribram，K.H.（《计划与行为结构》（1960），霍尔特、莱茵哈特和温斯顿：霍尔特、雷茵哈特与温斯顿，纽约）
[30] Davis，L.K.（《行动理论》（1979），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯》，新泽西州）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。