第条 在上共享 让我们演绎一下！作者:西。 圣经作者信息和声明IJCAI'97：第十五届人工智能国际联合会议记录-第2卷页1549-1562出版:1997年8月23日 出版历史 获取引文提醒新增引文提醒！此警报已成功添加，将发送到：只要您选择的记录被引用，您就会收到通知。新的引文警报！拜托登录到您的帐户 目录IJCAI'97：第十五届人工智能国际联合会议记录-第2卷让我们演绎一下！页1549-1562以前的文章受约束对象层次上一个下一篇文章AI代理的社会行为建模下一步摘要工具书类信息和贡献者文献计量学和引文视图选项工具书类媒体桌子分享摘要本文描述了一种转换逻辑TL及其演绎形式，并说明了如何以一种相当自然的方式在TL中建模规划中涉及的各个重要方面（如分支、限定、特定性、同时性、不确定性等）。TL的演绎形式主义扩展了作者先前提出的线性连接方法，将后者嵌入到经典逻辑中，从而使经典推理和资源敏感推理在TL中共存。强调了逻辑和演绎方法对规划的吸引力，并简要描述了自动演绎的状态。工具书类[1]{阿格雷，1995年}P.阿格雷。互动与代理的计算研究。人工智能杂志, 72 (1-2): 1-52, 1995.交叉参考谷歌学者[2]{安德森和贝尔纳普，1975年}A.R.安德森和N.D.贝尔纳普。蕴涵：关联与必然的逻辑，第1卷。普林斯顿大学出版社，新泽西州普林斯顿，1975年。谷歌学者[3]{圣经等W.Bibel、L.Farinas del Cerro、B.Fronhofer和A.Herzig，1989年}。通过线性证明生成计划：关于语义。编辑D.Metzing，GWAI’89会议记录第49-62页，柏林，1989年。斯普林格。交叉参考谷歌学者[4]{圣经等Wolfgang Bibel、Steffen Holldobler和Torsten Schaub。Wissens reprasentation and Inferenz代表和推理维埃格·弗拉格（Vieweg Verlag），布劳什维克（Brauschweig），1993年。谷歌学者[5]{圣经等。W.Bibel、S.Bruning、U.Egly和T.Rath，1994年}。基于连接方法的充分定理证明器。编辑I.Plander，第六届机器人人工智能和信息控制国际会议记录，第137-148页。世界科学出版公司，1994年。交叉参考谷歌学者[6]{比贝尔，1986a}W.比贝尔。计划生成的演绎解决方案。新一代计算, 4:115-132, 1986.数字图书馆谷歌学者[7]{比贝尔，1986b}W.比贝尔。计划生成的演绎解决方案。编辑J.W.Schmidt和C.Thanos，知识库管理基础第413-436页，克里特岛，1986年。交叉参考谷歌学者[8]{比贝尔，1987年}W.比贝尔。自动定理证明布伦瑞克，维埃格·弗拉格，2。1987年版。谷歌学者[9]{比贝尔，1992年}W.比贝尔。知识分子。编辑S.C.Shapiro，人工智能百科全书约翰·威利，纽约，1992年。交叉参考谷歌学者[10]{比贝尔，1992b}W.比贝尔。面向谓词编程。在迈克尔·R·洛瑞和罗伯特·麦卡特尼的编辑中，自动化软件设计，第405-423页。AAAI出版社，加利福尼亚州门罗公园，1992年。谷歌学者[11]{比贝尔，1993年}W.比贝尔。演绎：自动逻辑《学术出版社》，伦敦，1993年。谷歌学者[12]{Blum和Furst，1995年}Avrim L.Blum和Merrick L.Furst。通过规划图分析快速规划。在国际人工智能联合会议记录（IJCAI-95），第1636-1642页，加利福尼亚州圣马特奥，1995年。摩根·考夫曼。交叉参考谷歌学者[13]{Bornscheuer和Thielscher，1997年}Sven-Erik Bornscheue和Michael Thielscher。显式和隐式不确定性：关于动态系统的不确定性和矛盾规范的推理。逻辑编程J, 1997.谷歌学者[14]{刷牙等。1992年}斯特凡·布里宾（Stefan Bribing）、格德·格罗菲（Gerd Grofie）、斯特芬·霍尔多布勒（Steffen Holldobler）、约瑟夫·施尼伯格（Josef Schneeberger）、尤特·西格蒙德（Ute Sigmund）和迈克尔·泰尔舍尔（Michael Thielscher。通过采集逻辑编程生成计划时的分离。编辑A.Horz，Beitrage zum 7号。车间计划与Konfigurieren第18-26页，德国圣奥古斯丁，1992年。GI，Aibeitspapiere der GMD 723。谷歌学者[15]{刷牙等。1993年}斯特凡·布鲁宁（Stefan Bruning）、斯特芬·霍尔多布勒（Steffen Holldobler）、约瑟夫·施尼伯格（Josef Schneeberger）、尤特·西格蒙德（Ute Sigmund）和迈克尔·泰尔舍尔（Michael Thielscher）。资源导向演绎规划中的脱节。编辑D.Miller，国际逻辑程序设计研讨会（LLPS）会议记录，第670页，马萨诸塞州剑桥市，1993年。麻省理工学院出版社。海报。交叉参考谷歌学者[16]{克劳福德和奥托恩，1993年}詹姆斯·M·克劳福德和拉里·D·奥托恩。可满足性问题中交叉点的实验结果。在第十一届全国人工智能会议记录（AAAI-93），第21-27页，加利福尼亚州门罗公园，1993年。AAAI出版社。谷歌学者[17]{埃德尔等，1996年}克斯汀·埃德尔、斯特芬·霍尔多布勒和迈克尔·蒂尔舍。一种用于推理情境、行为和因果关系的抽象机器。编辑R.Dyckhoff、H.Herre和P.Schroeder-Heister，逻辑程序设计扩展国际研讨会论文集第137-151页，德国柏林，1996年。斯普林格，LNAI 1050。交叉参考谷歌学者[18]{菲克斯和尼尔森，1971}R.E.菲克斯和N.J.尼尔森。STRIPS：一种将定理证明应用于问题解决的新方法。人工智能杂志, 2:189-208, 1971.交叉参考谷歌学者[19]{弗雷格，1879}戈特洛布·弗雷格。概念文字.路易斯·内伯特，哈雷，1879年。谷歌学者[20]{Fronhofer，1987年}伯特伦·Fronhoffer。线性度和计划生成。新一代计算, 5:213-225, 1987.数字图书馆谷歌学者[21]{Fronhofer，1996}伯特伦·Fronhofer。作为暗示的行动范式.CS出版社，Munchen，1996年。谷歌学者[22]{Gallier，1991年}J.Gallier。建构逻辑。第二部分：线性逻辑和证明网。研究报告PR2-RR-9，数字设备公司，巴黎，1991年5月。谷歌学者[23]{金斯伯格和史密斯，1988年}马修·金斯伯格（Matthew L.Ginsberg）和大卫·史密斯（David E.Smith）。行动推理I：一种可能的世界方法。人工智能杂志, 35(2):165-195, 1988.交叉参考谷歌学者[24]{吉拉德，1987年}J.-Y.吉拉德。线性逻辑。理论计算机科学, 50(1):1-102, 1987.数字图书馆谷歌学者[25]{格罗菲等Gerd Grofie、Steffen Holldobler、Josef Schneeberger、Ute Sigmund和Michael Thielscher，1992年。等式逻辑编程、动作和改变。编辑K.Apt，逻辑程序设计国际联席会议和研讨会论文集，第177-191页，马萨诸塞州剑桥市，1992年。麻省理工学院出版社。谷歌学者[26]{格罗菲等Gerd Grofie、Steffen Holldobler和Josef Schneeberger，1996年。线性演绎规划。逻辑与计算杂志, 6(2):233-262, 1996.谷歌学者[27]{格罗菲，1996}格德·格罗菲。状态事件逻辑1996年，德国达姆施塔特科技大学博士论文。谷歌学者[28]{Herrmann和Thielscher，1996年}克里斯托夫·赫尔曼和迈克尔·蒂尔舍尔。关于连续过程的推理。编辑B.Clancey和D.Weld，AAAI-96——全国人工智能会议记录，第639-644页，加利福尼亚州帕洛阿尔托，1996年。AAAI出版社。交叉参考谷歌学者[29]{Holldobler和Schneeberger，1990年}S.Holldobler和J.Schneeberger。一种新的演绎规划方法。新一代计算, 8:225-244, 1990.数字图书馆谷歌学者[30]{Holldobler和Thielscher，1993年}Steffen Holldoble和Michael Thielscher。行动和特殊性。编辑D.Miller，国际逻辑程序设计研讨会论文集，第164-180页，1993年。交叉参考谷歌学者[31]{Holldobler和Thielscher，1995年}Steffen Holldoble和Michael Thielscher。用等式逻辑程序计算变化和特异性。数学与人工智能年鉴, 14:99-133, 1995.交叉参考谷歌学者[32]{考茨和塞尔曼，1996}亨利·考茨和巴特·塞尔曼。突破极限：规划、命题逻辑和随机搜索。在全国人工智能会议记录（AAAI-96）第1194-1201页，俄勒冈州波特兰，1996年。Morgan Kaufmann，加利福尼亚州圣马特奥。交叉参考谷歌学者[33]{考茨等Henry Kautz、David McAllester和Bart Selman，1996年。在命题逻辑中对计划进行编码。L.C.Aiello、J.Doyle和S.Shapiro编辑，第五届知识表示与推理原则国际会议记录（KR-96）第374-384页，马萨诸塞州剑桥市，1996年。Morgan Kaufmann，加利福尼亚州圣马特奥。谷歌学者[34]{Kowalski，1979年}罗伯特·科瓦尔斯基。解决问题的逻辑纽约北荷兰人出版社，1979年。数字图书馆谷歌学者[35]{库什梅里克，1996}尼古拉斯·库什梅里克。认知主义与情境行动：关于智能代理的两种观点。计算机与人工智能, 15(5):393-417, 1996.谷歌学者[36]{莱尔德等。J.E.Laird、A.Newell和P.S.Rosenbloom，1987年}。SOAR：通用智能架构。人工智能杂志33(1):1-64, 1987.数字图书馆谷歌学者[37]{Lambek，1958}J.Lambek。句子结构的数学。美国数学。每月, 65, 1958.谷歌学者[38]{让我们等。，1992年，Reinhold Lets、Johannes Schumann、Stephan Bayerl和Wolfgang Bibel。SETHEO——一种用于一阶逻辑的高性能定理证明器。自动推理杂志, 8(2): 183-212, 1992.交叉参考谷歌学者[39]{Lifschitz，1990年}V.Lifschicz。情境空间中的框架。人工智能杂志, 46:365-376, 1990.数字图书馆谷歌学者[40]{林德纳，即将出版的1997年}马蒂亚斯·林德纳。人工智能协助的交互式规划1997年，德国达姆施塔特科技大学博士论文。谷歌学者[41]{马塞隆等M.Masseron、C.Tollu和J.Vauzielles，1990年}。以线性逻辑生成计划。在软件技术和理论计算机科学基础，第63-75页。斯普林格，LNCS 4721990。交叉参考谷歌学者[42]{麦卡锡和海耶斯，1969}约翰·麦卡锡（John McCarthy）和帕特里克·海耶斯（Patrick Hayes）。从人工智能的角度看一些哲学问题。编辑B.Meltzer和D.Michie，机器智能，第4卷，第463-502页。爱丁堡大学出版社，爱丁堡，1969年。谷歌学者[43]{麦卡锡，1977年}约翰·麦卡锡。人工智能的认识论问题。在国际人工智能联合会议记录，第1038-1044页，加利福尼亚州剑桥，1977年。Morgan Kaufmann，加利福尼亚州圣马特奥。谷歌学者[44]{麦库恩，1996}威廉·麦库恩。Robbins代数是布尔代数。自动化推理协会时事通讯, 35:1-3, 1996.谷歌学者[45]{莫瑟等M.Moser、O.Ibens、R.Letz、J.Steinbach、C.Goller、J.Schumann和K.Mayr，1997年}。SETHEO和E-SETHEO。自动推理杂志, 1997.谷歌学者[46]{尼尔森，1991年}尼尔斯·J·尼尔森。逻辑和人工智能。人工智能杂志, 47(1-3):31-56, 1991.数字图书馆谷歌学者[47]{尼尔基等，1994年}M.Nirkhe、S.Kraus和D.Perlis。如何计划在现在和之后的最后期限内完成任务。逻辑与计算杂志, 1994.谷歌学者[48]{Paramasivam和Plaisted，1997年出版}M.Paramasivan和David A.Plaisted。描述逻辑系统中分类的自动演绎技术。自动推理杂志，将于1997年面世。交叉参考谷歌学者[49]{Penberthy和Weld，1992年}J.S.Penberthi和D.Weld。Ucpop：一个完善、完整的ADL部分订单计划器。在知识表示与推理国际会议记录（KR-92），第103-114页，加利福尼亚州圣马特奥，1992年。摩根·考夫曼。谷歌学者[50]{Reiter，1991年}雷蒙德·Reiter。情境演算中的框架问题：目标回归的简单解决方案（有时）和完整结果。编辑V.Lifschitz，人工智能和计算数学理论：纪念约翰·麦卡锡的论文第359-380页。学术出版社，纽约，1991年。数字图书馆谷歌学者[51]{Restall，1994年}G.Restall。论无收缩逻辑1994年，澳大利亚昆士兰大学博士论文。谷歌学者[52]{罗素和诺维格，1994年}斯图亚特·J·罗素和彼得·诺维格。人工智能：一种现代方法新泽西州恩格尔伍德悬崖普伦蒂斯大厅。，1994交叉参考谷歌学者[53]{Stephan和Biundo，1993年}沃纳·斯蒂芬和苏珊·比昂多。演绎规划的新逻辑框架。编辑R.Bajcsy，第十三届国际人工智能联合会议（IJCAI-93），第32-38页，加州圣马特奥，1993年。摩根·考夫曼。谷歌学者[54]{Thielscher，1996}迈克尔·蒂尔舍尔。因果关系和资格问题。编辑L.C.Aiello、J.Doyle和S.Shapiro，KR-96——知识表示与推理国际会议论文集，第51-62页，加州圣马特奥，1996年。KR Inc.、Morgan Kaufmann。谷歌学者[55]{Thielscher，1997a}迈克尔·蒂尔舍尔。行动理论的挑战：解决分歧和限定问题《适应理论》，达姆施塔特技术大学，德国达姆施塔，1997年。谷歌学者[56]{蒂尔舍，1997b}迈克尔·蒂尔舍。分枝和因果关系。人工智能杂志, 89(1-2):317-364, 1997.数字图书馆谷歌学者[57]{威尔金斯等大卫·E·威尔金斯（David E.Wilkins）、凯伦·迈尔斯（Karen L.Myers）、约翰·D·劳伦斯（John D.Lowrance）和伦纳德·P·卫斯理（Leonard P.Wesley）。在不确定和动态的环境中进行规划和反应。实验与理论人工智能杂志, 6:197-227, 1994.谷歌学者 让我们演绎一下！计算方法人工智能符号和代数操作符号和代数算法计算数学连续数学微积分计算理论 建议 让我们演绎一下！专题：40年后的人工智能阅读更多信息计划生成的演绎解决方案阅读更多信息Agent编程中计划修改的动态逻辑 在本文中，我们为代理编程语言3APL的命题版本提供了一个动态逻辑。3APL代理人有信念和计划。计划的执行会改变代理人的信念。在执行过程中，可以通过计划。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 信息和贡献者问询处发布于 IJCAI'97：第十五届人工智能国际联合会议记录-第2卷1997年8月1652页国际标准图书编号：15558604804编辑：玛莎·波拉克 赞助商国际人工智能联合会议。出版商摩根·考夫曼出版社。美国加利福尼亚州旧金山出版历史出版：1997年8月23日限定符第条 贡献者 其他指标查看文章指标文献计量学和引文文献计量学 文章指标 0引文总数0总下载次数下载次数（过去12个月）0下载次数（最近6周）0反映截至2024年9月21日的下载量 其他指标查看作者指标引文视图选项查看选项获取访问权限 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 媒体数字其他桌子分享分享共享此出版物链接复制链接已复制！复制失败。在社交媒体上分享LinkedIn链接重新编辑电子邮件附属公司西。 圣经德国达姆施塔特技术大学查看个人资料
