×
康拉德·德雷舍尔；斯蒂芬·希菲尔；迈克尔·泰尔舍尔

基于动作理论的声明性代理编程语言。 （英语） Zbl 1193.68234号

Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学讲义5749。人工智能课堂讲稿，230-245（2009）。
摘要：我们讨论了代理程序的一个新概念，它将逻辑编程与动作推理结合在一起。这些智能体逻辑程序的特点是，智能体战略行为的规范与智能体行动及其效果的基础理论之间存在明显的分离。这使得它成为一种通用的声明性代理编程语言，可以与自己选择的动作表示形式相结合。我们为代理逻辑程序提供了一种声明性语义，以及（两个版本的）健全完整的操作语义，该语义将（约束）逻辑程序的标准推理机制与关于动作的推理结合在一起。
有关整个系列，请参见[Zbl 1178.68010号].

引用于1文件

MSC公司：

68T27型 人工智能中的逻辑
68N17号 逻辑编程

软件：

3APL公司；杰森
PDF格式BibTeX公司 XML格式引用
\textit{C.Drescher}等人，Lect。票据计算。科学。5749230-245（2009年；Zbl 1193.68234）
全文： 内政部

参考文献：

[1] McCarthy，J.，Hayes，P.：从人工智能的角度来看的一些哲学问题。机器智能463–502（1969年）·Zbl 0226.68044号
[2] Reiter，R.：行动中的知识。麻省理工学院出版社，剑桥（2001）·Zbl 1018.03022号
[3] 穆勒，E.：常识推理。Morgan Kaufmann，旧金山（2006）
[4] Dastani，M.、de Boer，F.、Dignum，F.和Meyer，J.J.：编程代理审议：使用3APL语言说明的方法。摘自：《自治代理和多代理系统国际会议论文集》，第97–104页（2003年）·数字对象标识代码：10.1145/860575.860592
[5] Morley，D.，Meyers，K.：SPARK代理框架。摘自：《自治代理和多代理系统国际会议论文集》，第714-721页（2004）
[6] Bordini，R.，Hübner，J.，Wooldridge，M.：使用Jason在AgentSpeak中编程多代理系统。奇切斯特·威利（2007）·Zbl 1132.68021号 ·数字对象标识代码：10.1002/9780470061848
[7] Fikes，R.E.，Nilsson，N.J.：STRIPS：一种将定理证明应用于问题解决的新方法。人工智能2189-208（1971）·Zbl 0234.68036号 ·doi:10.1016/0004-3702（71）90010-5
[8] Thielscher，M.：FLUX：推理代理的逻辑编程方法。逻辑程序设计理论与实践5533–565（2005）·Zbl 1105.68333号 ·doi:10.1017/S1471068405002358
[9] Lloyd，J.：逻辑编程基础。斯普林格，海德堡（1987）·Zbl 0668.68004号 ·doi:10.1007/978-3-642-83189-8
[10] Thielscher，M.：推理机器人：编程机器人代理的艺术和科学。应用逻辑系列，第33卷。Kluwer，Dordrecht（2005）·Zbl 1092.68101号
[11] McDermott，D.：1998年人工智能规划系统竞赛。AI杂志21，35–55（2000）
[12] Genesereth，M.，Love，N.，Pell，B.：一般游戏：AAAI比赛概述。AI杂志26，62–72（2005）
[13] Stärk，R.：SLD决议完整性的直接证明。参加：第三届计算机科学逻辑研讨会（1990年）·Zbl 0925.03049号 ·doi:10.1007/3-540-52753-252
[14] Jaffar，J.，Lassez，J.L.：约束逻辑编程。摘自：第14届ACM编程语言原则会议记录，慕尼黑（1987）·doi:10.1145/41625.41635
[15] Green，C.：作为问题回答系统的基础，通过解析证明定理。机器智能4，183–205（1969）·兹比尔0239.68015
[16] Reiter，R.：情境演算中的框架问题：目标回归的简单解决方案（有时）和完整结果。收录于：Lifschitz，V.（编辑）《人工智能与计算数学理论》，第359-380页。伦敦学术出版社（1991）·Zbl 0755.68124号 ·doi:10.1016/B978-0-12-450010-5.50026-8
[17] Savelli，F.：情境演算树上的存在断言和量子能级。人工智能170、643–652（2006）·Zbl 1131.68108号 ·doi:10.1016/j.artint.2006.01.002
[18] Liu，H.，Lutz，C.，Milicic，M.，Wolter，F.：更新描述逻辑ABoxes。摘自：英国湖区第十届知识表示与推理原则国际会议记录（KR 2006）（2006）
[19] Baader，F.，Lutz，C.，Milicic，M.，Sattler，U.，Wolter，F.：整合描述逻辑和动作形式：第一个结果。摘自：《美国人工智能学会人工智能全国会议记录》，匹兹堡，第572-577页（2005）
[20] Drescher，C.、Liu，H.、Baader，F.、Guhlemann，S.、Petersohn，U.、Steinke，P.、Thielscher，M.：将有关更新付诸行动。收录：Ghilardi，S.，Sebastiani，R.（编辑）FroCoS 2009。LNCS（LNAI），第5749卷，第214–229页。斯普林格，海德堡（2009）·Zbl 1193.68233号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。