×
迈克尔·泰尔舍尔

动作理论仿真及其在通用游戏机器人中的应用。 （英语） Zbl 1432.68421号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 33-46 (2015).
小结：我们考虑验证一种作用理论能否模拟第二种作用理论的问题。动作理论提供了状态机的模块化描述，而仿真意味着一个过渡系统中所有可能的动作序列可以与另一个系统匹配。我们展示了如何使用答案集编程通过两个动作理论的公理化和它们之间的投影函数的归纳来自动证明模拟。我们对动作理论模拟的兴趣来自于一般的游戏机器人，它是一种能够理解新游戏规则并学会在物理环境中有效玩游戏的系统。此类游戏的一个关键特性是其可玩性，即抽象游戏中的每个合法游戏序列必须在真实环境中可执行。
关于整个系列，请参见[Zbl 1303.68014号].

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68T40型 机器人的人工智能
68T42型 Agent技术与人工智能
91A99型 博弈论

软件：

GDL公司;扣;PDDL公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Thielscher}，莱克特。注释计算。科学。9060，33-46（2015；Zbl 1432.68421）
全文： DOI程序

参考文献：

[1] Apt，K.，Blair，H.，Walker，A.：走向陈述性知识理论。摘自：Minker，J.（编辑）《演绎数据库和逻辑编程基础》，第2章，第89-148页。摩根·考夫曼（1987）
[2] Babb，J.，Lee，J.：cplus2ASP：答案集编程中的计算动作语言\（｛\mathcal C｝\）+。收录：Cabalar，P.，Son，T.C.（编辑）LPNMR 2013。LNCS，第8148卷，第122–134页。斯普林格，海德堡（2013）·Zbl 1405.68041号 ·doi:10.1007/978-3-642-40564-8_13
[3] van Benthem，J.：游戏中的逻辑。麻省理工学院出版社（2014）·Zbl 1291.03003号
[4] Brewka，G.，Eiter，T.，Truszczynski，M.：集编程一目了然。ACM通信54（12），92–103（2011）·doi:10.1145/2043174.2043195
[5] Brewka，G.，Hertzberg，J.：如何用世界做事情：关于规范行动和计划。《逻辑与计算杂志》3（5），517–532（1993）·Zbl 0802.68145号 ·doi:10.1093/logcom/3.5.517
[6] Cerexhe，T.、Gebser，M.、Thielscher，M.：使用oClingo进行在线代理逻辑编程。收录：Pham，D.-N.，Park，S.-B.（编辑）PRICAI 2014。LNCS，第8862卷，第945-957页。斯普林格，海德堡（2014）·doi:10.1007/978-3-319-13560-1_82
[7] Clune，J.：一般游戏的启发式评估函数。摘自：《AAAI人工智能会议记录》，第1134-1139页。AAAI出版社，温哥华（2007）
[8] Fikes，R.，Nilsson，N.：STRIPS：应用定理证明解决问题的新方法。人工智能2189-208（1971）·Zbl 0234.68036号 ·doi:10.1016/0004-3702（71）90010-5
[9] Finnsson，H.，Björnsson，Y.：基于模拟的一般游戏方法。摘自：《AAAI人工智能会议记录》，第259-264页。AAAI出版社，芝加哥（2008）
[10] Finnsson，H.，Björnsson，Y.：学习一般游戏代理中的模拟控制。在：AAAI人工智能会议记录，第954-959页。AAAI出版社，亚特兰大（2010）
[11] Fox，M.，Long，D.：PDDL2.1：PDDL的扩展，用于表示时间规划域。《人工智能研究杂志》20，61-124（2003）·Zbl 1036.68093号
[12] Gebser，M.、Kaminski，R.、Knecht，M.和Schaub，T.：plasp：ASP中基于PDDL的规划原型。摘自：Delgrand，J.P.，Faber，W.（编辑）LPNMR 2011。LNCS，第6645卷，第358-363页。斯普林格，海德堡（2011）·doi:10.1007/978-3-642-20895-941
[13] Gelfond，M.：答案集。摘自：van Harmelen，F.，Lifschitz，V.，Porter，B.（编辑）《知识表示手册》，第285-316页。爱思唯尔（2008）·doi:10.1016/S1574-6526（07）03007-6
[14] Gelfond，M.，Lifschitz，V.：用逻辑程序表示动作和变化。《逻辑编程杂志》17，301–321（1993）·Zbl 0783.68024号 ·doi:10.1016/0743-1066（93）90035-F
[15] Genesereth，M.，Björnsson，Y.：国际通用游戏比赛。AI杂志34（2），107–111（2013）
[16] Genesereth，M.，Love，N.，Pell，B.：一般游戏：AAAI比赛概述。AI杂志26（2），62–72（2005）
[17] Genesereth，M.，Thielscher，M.：一般游戏。人工智能和机器学习综合讲座。摩根克莱普尔（2014）·Zbl 1298.68007号
[18] Haufe，S.、Schiffel，S.和Thielscher，M.：一般游戏中状态序列不变量的自动验证。人工智能，187-188，1-30（2012）·Zbl 1251.68232号 ·doi:10.1016/j.artint.2012.04.003
[19] Hsu，F.H.：深蓝背后：构建击败世界象棋冠军的电脑。普林斯顿大学出版社（2002）·Zbl 1023.68094号
[20] Kowalski，R.：事件演算中的数据库更新。逻辑编程杂志121-146（1992）·doi:10.1016/0743-1066（92）90041-Z
[21] Lee，J.：在稳定模型的一般理论和答案集编程中，对情境演算和事件演算进行了改革。《人工智能研究杂志》43，571–620（2012）·Zbl 1246.68210号
[22] Li，N.，Fan，Y.，Liu，Y.：情境演算中关于状态约束的推理。在：国际人工智能联合会议（IJCAI）会议记录，中国北京（2013年8月）
[23] Lloyd，J.：《逻辑编程基础》，第二版扩展版。系列符号计算。斯普林格（1987）
[24] Lloyd，J.，Topor，R.：演绎数据库系统II的基础。逻辑程序设计杂志3（1），55–67（1986）·兹比尔0591.68087 ·doi:10.1016/0743-1066（86）90004-X
[25] Love，N.、Hinrichs，T.、Haley，D.、Schkufza，E.、Genesereth，M.：通用游戏：游戏描述语言规范。技术代表LG–2006–01，斯坦福大学计算机科学系斯坦福逻辑小组，地址：353 Serra Mall，Stanford，CA 94305（2006），games.Stanford.edu
[26] McCarthy，J.：情境、行为和因果关系。斯坦福人工智能项目，备忘录2，斯坦福大学，加利福尼亚州（1963年）
[27] 普里查德：国际象棋变种百科全书。《Godalming》（1994）
[28] Rajaratnam，D.，Thielscher，M.：面向通用游戏机器人：模型、架构和游戏控制器。收录：Cranefield，S.，Nayak，A.（编辑）AI 2013。LNCS，第8272卷，第271-276页。斯普林格，海德堡（2013）·doi:10.1007/978-3-319-03680-9_29
[29] Sandewall，E.：特征和Fluents。动力系统知识的表示。牛津大学出版社（1994）·Zbl 0842.68077号
[30] Sangiorgi，D.：缩略语和造句导论。剑桥大学出版社（2011）·Zbl 1252.68008号 ·doi:10.1017/CBO9780511777110
[31] Schiffel，S.和Thielscher，M.：Fluxplayer：一个成功的通用游戏玩家。摘自：《AAAI人工智能会议记录》，第1191-1196页。AAAI出版社，温哥华（2007）
[32] Schiffel，S.，Thielscher，M.：游戏描述语言的多代理语义。摘自：Filipe，J.、Fred，A.、Sharp，B.（编辑）ICAART 2009。CCIS，第67卷，第44–55页。斯普林格，海德堡（2010）·Zbl 1205.68440号 ·doi:10.1007/978-3-642-11819-74
[33] Thielscher，M.：从情境演算到流畅演算：状态更新公理作为推理框架问题的解决方案。人工智能111（1-2），277–299（1999）·兹比尔0996.68193 ·doi:10.1016/S0004-3702（99）00033-8
[34] Thielscher，M.：回答一般游戏中单人游戏的集合编程。In:Hill，P.M.，Warren，D.S.（编辑）ICLP 2009。LNCS，第5649卷，第327-341页。斯普林格，海德堡（2009）·Zbl 1251.68186号 ·doi:10.1007/978-3-642-02846-5_28
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。