×
菲利普·科恩。；Hector J.列夫斯克。

意图是选择和承诺。 （英语） Zbl 0721.03017号

Artif公司。智力。 42，编号2-3，213-261（1990）.
该理论可被视为人工智能体设计的规范。给出了包含不同变量、经典连接符、“发生”、“完成”、“代理”、“相信”、“目标”和可能世界语义的语法。模型的属性为\（\vDash（HAPPEN a；b）\equiv（HAPPENa；（HAPPenb）？），\quad\vDash（HAPPEN a）\equiv（HAPPEN a；（完成a）？），\vDash\neg（稍后p）等。
假设了BEL的Hintikka式公理模式。形式主义抓住了意图的一些重要属性。给出了（INTEND xa）的两种不同定义。分析表明，相对于信念和其他目标的背景，意图是如何被采纳的。
审核人：E.Melis（萨尔布吕肯）

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

MSC公司：

03B80号 逻辑的其他应用
03B60号 其他非经典逻辑
68T27型 人工智能中的逻辑

关键词：

理性行为的形式理论；规划；一种人工智能体的设计；语法；可能世界语义；Hintikka-style公理模式；意图
PDF格式BibTeX公司 XML格式引用
\textit{P.R.Cohen}和\textit{H.J.Levesque}，Artif。智力。42，编号2--3，213--261（1990；Zbl 0721.03017）
全文： 内政部

参考文献：

[1] Allen，J.F.，《基于计划的言语行为识别方法》（Techn.Rept.131（1979），多伦多大学计算机科学系：安大略省多伦多大学计算科学系）
[2] Allen，J.F.，《走向行动与时间的一般理论》，人工智能，23123-154（1984）·Zbl 0567.68025号
[3] 艾伦，J.F。；佩罗，C.R.，《话语中的意图分析》，《人工智能》，第15期，第143-178页（1980年）
[4] Appelt，D.，《英语句子规划》（1985），剑桥大学出版社：剑桥大学出版社·Zbl 0829.68104号
[5] Barwise，J。；Etchemendy，J.，《骗子：真相与循环随笔》（1987），牛津大学出版社：牛津大学出版社，纽约·Zbl 0678.03001号
[6] Barwise，J。；Perry，J.，《情境与态度》（1983年），麻省理工学院出版社：麻省剑桥麻省理学院出版社·Zbl 0946.03007号
[7] 布拉特曼（M.Bratman），《种姓的思想和行动理论》（J.Toberlin，《代理、语言和世界结构：提交给赫克托·内里·种姓及其答复的论文》（1983年），哈科特：印第安纳波利斯哈科特出版社），149-169
[8] Bratman，M.，《意向的两面》，Philos。修订版，93，375-405（1984）
[9] Bratman，M.，《意图、计划和实践理性》（1987），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥
[10] Casteñada，H.N.，《思考与行动》（1975年），莱德尔：荷兰莱德尔·多德雷赫特
[11] Chisholm，R.M.，《自由与行动》（Lehrer，K.，《自由和决定论》（1966），兰登书屋：纽约兰登书房）·Zbl 0168.00503号
[12] 科恩，P.R。；Levesque，H.J.，《言语行为与共享计划的认可》，（加拿大智能计算研究学会第三届两年期会议论文集。加拿大智能计算学会第三次两年期会议文献集，不列颠哥伦比亚省维多利亚市（1980）），263-271
[13] 科恩，P.R。；Levesque，H.J.，《言语行为与理性》，（计算语言学协会第二十届年会论文集，伊利诺伊州芝加哥市第二十届计算语言学协会年会论文录（1985）），49-59
[14] 科恩，P.R。；Levesque，H.J.，《作为沟通基础的理性互动》（Cohen，P.R.；Morgan，J.；Pollack，M.E.，《沟通中的意图》（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[15] （韦伯，B.；尼尔森，N.，《人工智能阅读》（1981），摩根考夫曼：摩根考夫曼·洛斯·阿尔托斯，加利福尼亚州），478-495·Zbl 0498.68054号
[16] 费金，R。；Halpern，J.Y.，《信念、意识和有限推理：初步报告》（Proceedings IJCAI-85）。诉讼程序IJCAI-85，加利福尼亚州洛杉矶（1985）），491-501
[17] Fikes，R.，描述非正式合作工作的基于承诺的框架，认知科学。，6, 331-347 (1982)
[18] 菲克斯，R。；Nilsson，N.J.，STRIPS:将定理证明应用于问题解决的新方法，《人工智能》，2189-208（1971）·Zbl 0234.68036号
[19] Georgeff，M.P.，《多智能体规划中的通信和交互》（Proceedings AAAI-83）。会议记录AAAI-83，华盛顿特区（1983年），125-129
[20] Georgeff，M.P.，《行动、过程和因果关系》（Proceedings Workshop on Planning and Reasoning about Action）·Zbl 0278.76026号
[21] Georgeff，M.P。；Lansky，A.L.，《程序推理系统的BDI语义》（Tech.Note（1986），人工智能中心，SRI International:Artificial Intelligence Center，SRI国际Menlo Park，CA）
[22] Grice，H.P.，《意义，菲洛斯》。修订版，66，377-388（1957）
[23] Haas，A.，可能事件、实际事件和机器人，计算。智力。，1, 2, 59-70 (1985)
[24] Halpern，J.Y。；Moses，Y.O.，《知识和信仰的模态逻辑指南》（Proceedings IJCAI-85）。加利福尼亚州洛杉矶市IJCAI-85会议记录（1985年）·Zbl 0762.68029号
[25] Harel，D.，一阶动态逻辑（1979），Springer:Springer New York·Zbl 0403.03024号
[26] Harman，G.，《观点的改变》（1986），布拉德福德出版社，麻省理工学院出版社：布拉德福德书店，麻省大学出版社，马萨诸塞州剑桥
[27] 海斯，J.E。；Michie，D。；Pao，Y.-H.（机器智能，10（1982），Ellis Horwood:Ellis Holwood Chichester）
[28] 科诺里奇，K.，《实验机器人心理学》（技术说明363（1985），人工智能中心，SRI国际：人工智能中心（SRI国际门罗公园，加利福尼亚州）
[29] 科诺里奇，K。；新泽西州尼尔森，《多智能体规划系统》（Proceedings AAAI-80）。AAAI-80会议记录，加利福尼亚州斯坦福市（1980年）
[30] Lamport，L.，“有时”有时比“不可能”好，（第七届美国计算机学会编程语言原理研讨会论文集（1980）），174-185
[31] Lansky，A.L.，《多智能体领域的行为规范和规划》（Tech.Note 360（1985），人工智能中心，SRI International：人工智能中心、SRI Internation Menlo Park，CA）
[32] Lansky，A.L.，《基于事件、结构和因果关系的平行活动表示法》（Proceedings Workshop on Planning and Reasoning about Action）
[33] Levesque，H.J.，《内隐和外显信念的逻辑》（Proceedings AAAI-84）。德克萨斯州奥斯汀AAAI-84会议记录（1984）
[34] 麦卡锡，J。；Hayes，P.J.，《从人工智能的角度来看的一些哲学问题》（Meltzer，B.；Michie，D.，《机器智能》，4（1969），美国爱思唯尔：美国爱思惟尔纽约）·Zbl 0226.68044号
[35] McDermott，D.，《关于过程和计划推理的时序逻辑》，认知科学。，6, 101-155 (1982)
[36] Moore，R.C.，《关于知识和行动的推理》（技术说明191（1980），人工智能中心，SRI国际：人工智能中心（SRI International Menlo Park，CA）
[37] Morgenstern，L.，《计划、知识和行动的一阶理论》（Halpern，J.Y.，《知识推理的理论方面》（1986），Morgan Kaufmann:Morgan Koufmann Los Altos，CA）
[38] Perrault，C.R.，《缺省逻辑在言语行为理论中的应用》（Cohen，P.R.；Morgan，J.；Pollack，M.E.，《交际中的意图》（1990），麻省理工学院出版社：麻省理学院出版社剑桥）
[39] 佩罗，C.R。；Allen，J.F.，《基于计划的间接言语行为分析》，美国计算机学会。语言学，6，3，167-182（1980）
[40] Pollack，M.E.，在问答中推断领域计划，（宾夕法尼亚大学计算机科学系博士论文（1986年）：宾夕法尼亚大学费城分校计算机科学系）
[41] Pollack，M.E.，《作为复杂心理态度的计划》（Cohen，P.R.；Morgan，J.；Pollak，M.E，《沟通中的意图》（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[42] Pratt，V.R.，《关于动态逻辑的六堂课》，（麻省理工学院/LCS/TM-117技术报告（1978），麻省理学学院计算机科学实验室：麻省理学院剑桥分校计算机科学实验室）·Zbl 0433.68031号
[43] Rosenschein，J.S.，《理性交互：智能代理之间的合作》（博士论文（1986），斯坦福大学计算机科学系：加利福尼亚州斯坦福大学计算机系）
[44] Rosenschein，J.S。；Genesereth，M.R.，《沟通与合作》（技术报告84-5，启发式编程项目（1984），斯坦福大学计算机科学系：加利福尼亚州斯坦福大学计算机系）
[45] Rosenschein，S.J.，《计划综合：逻辑视角》（Proceedings IJCAI-81）。不列颠哥伦比亚省温哥华市IJCAI-81会议记录（1981），331-337
[46] Rosenschein，S.J。；Kaelbling，L.P.，《具有可证明认知特性的机器的合成》，（Halpern，J.F.，《知识推理的理论方面》（1986），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），83-98
[47] Searle，J.R.，《意向性：心灵哲学论文》（1983），剑桥大学出版社：剑桥大学出版社，纽约
[48] Searle，J.R.，《集体意向性》（Cohen，P.R.；Morgan，J.；Pollack，M.E.，《沟通中的意向》（1990），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥）
[49] Winograd，T。；Flores，F.，《理解计算机和认知：设计的新基础》（1986），Ablex:Ablex Norwood，NJ·Zbl 0770.68011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。