×
迈克尔·伍尔德里奇；保罗·E·邓恩。

代理设计问题的复杂性：确定性和历史依赖性。 （英语） Zbl 1103.68104号

安。数学。Artif公司。智力。 45，第3-4号，343-371（2005）.
摘要：代理设计问题如下：给定一个环境规范和一个任务规范，是否可以构造一个可以保证在环境中成功完成任务的代理？在本文中，我们研究了“实现这种状态”或“保持这种状态”形式的任务的代理设计问题的计算复杂性。我们考虑这些问题的三种一般形式（在非确定性和确定性环境中），它们在被视为“可接受”解决方案的性质上不同：在限制性最小的形式中，代理在尝试满足其指定任务的要求时可以执行的操作数量没有限制。我们表明，由此产生的决策问题是棘手的，就实现任务而言，这些问题是非递归的（但可递归枚举），而维护任务则是非递归枚举的。在第二种公式中，决策问题解决的是在给定数量的动作中满足其指定任务的代理的存在性。即使在这种更严格的设置中，所产生的决策问题要么是PSPACE-complete，要么是NP-complete。我们的最终公式要求环境是独立于历史和有界的。在这些情况下，存在多项式时间算法：对于确定性环境，决策问题是NL-完全的；在非确定性环境中，P-complete。

MSC公司：

68T01型 人工智能的一般主题
03B70号 计算机科学中的逻辑
65年第68季度 算法和问题复杂性分析

关键词：

自治代理；计算复杂性；决策问题
PDF格式BibTeX公司 XML格式引用
\textit{M.Wooldridge}和\textit{P.E.Dunne}，Ann.数学。Artif公司。智力。45，编号3--4，343--371（2005；Zbl 1103.68104）
全文： 内政部

参考文献：

[1] J.F.Allen、J.Hendler和A.Tate编辑，《规划阅读》（Morgan Kaufmann，San Mateo，California，1990）。
[2] C.Baral、V.Kreinovich和R.Trejo，《不完全情况下规划和近似规划的计算复杂性》，载于《第十六届国际人工智能联合会议论文集》（IJCAI-99）（瑞典斯德哥尔摩，1999年）·Zbl 0948.68088号
[3] T.Bylander，命题STRIPS规划的计算复杂性，人工智能69（1-2）（1994）165–204·Zbl 0821.68065号 ·doi:10.1016/0004-3702（94）90081-7
[4] P.E.Dunne，《可计算性理论——概念和应用》（Ellis-Horwood，Chichester，England，1991）·Zbl 0783.68002号
[5] M.Euwe，Mengentheoretische Betractenüber das Schachspiel，《Koninklijke Akademie van Wetenschappen会议记录》，阿姆斯特丹32（1929）633-642·JFM 55.0057.02号
[6] R.E.Fikes和N.Nilsson，《STRIPS：应用定理证明解决问题的新方法》，《人工智能2》（1971）189-208·Zbl 0234.68036号 ·doi:10.1016/0004-3702（71）90010-5
[7] L.M.Goldschlager，单调和平面电路值问题是p的对数空间完备问题，SIGACT新闻稿9（2）（1977）25-29·Zbl 0356.94042号 ·doi:10.1145/1008354.1008356
[8] L.P.Kaelbling、M.L.Littman和A.R.Cassandra，《部分可观测随机域中的规划和行动》，人工智能101（1998）99-134·Zbl 0908.68165号 ·doi:10.1016/S0004-3702（98）00023-X
[9] V.Lifschitz，《关于STRIPS的语义》，载于：《关于行动和计划的推理——1986年研讨会论文集》，M.P.Georgeff和A.L.Lansky编辑（Morgan Kaufmann，San Mateo，California，1986），第1-10页。
[10] M.L.Littman、J.Goldsmith和M.Mundhenk，概率规划的计算复杂性，《人工智能研究杂志》9（1998）1-36·Zbl 0903.68100号
[11] Z.Manna和A.Pnueli，《反应和并发系统的时间逻辑》（Springer，Berlin Heidelberg New York，1992）·Zbl 0753.68003号
[12] Z.Manna和A.Pnueli，《反应系统的时间验证——安全性》（Springer，柏林-海德堡，纽约，1995年）·Zbl 0844.68079号
[13] M.Morse，《抽象360：国际象棋无限游戏问题的解决方案》，《美国数学学会公报》44（1938）632。
[14] C.H.Papadimitriou，《计算复杂性》（Addison-Wesley，Reading，Massachusetts，1994）·Zbl 0833.68049号
[15] C.H.Papadimitriou和M.Yannakakis，《面的复杂性（以及复杂性的某些方面）：第十四届ACM计算理论研讨会论文集》（STOC-82）（加利福尼亚州旧金山，1982），第255-260页·Zbl 0571.68028号
[16] A.Pnueli和R.Rosner，《关于s反应模的合成》，载于《第十六届ACM程序设计语言原理研讨会论文集》，1989年1月，第179-190页·Zbl 0686.68015号
[17] A.Pnueli和R.Rosner，《异步反应式模块的合成》，载于《第十六届自动控制、语言和程序国际学术讨论会论文集》，1989年·Zbl 0686.68015号
[18] E.Prouhet，Mémoire sur quelques relations entre les puissance des nombres，R.Acad。科学。巴黎。I 33（1851）225页。
[19] S.Russell和D.Subramanian，可证明有界最优代理，《人工智能研究杂志》2（1995）575–609·Zbl 0900.68091号
[20] A.P.Sistla和E.M.Clarke，命题线性时序逻辑的复杂性，ACM杂志32（3）（1985）733–749·兹比尔0632.68034 ·数字对象标识代码：10.1145/3828.3837
[21] A.Thue，u ber unendliche Zeichenreihen，Norske Videnskabers Selskabs Skrifter I，Matematisk-Naturvidenskapelig Klasse。7 (1906) 1–22.
[22] M.Wooldridge，《agent设计问题的计算复杂性》，载于：《第四届多agent系统国际会议论文集》（ICMAS-2000）（马萨诸塞州波士顿，2000），第341-348页。
[23] M.Wooldridge，N.R.Jennings，《智能代理：理论与实践》，《知识工程评论》10（2）（1995）115–152·doi:10.1017/S02698889000008122
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。