×
乔尔·乌克尔曼;亚恩·切瓦莱尔;乌尔·恩德里斯;杰罗姆·朗

通过加权目标表示效用函数。 （英语） Zbl 1180.91118号

数学。日志。问。 55，第4期，341-361（2009）.
设（PS）是一组命题符号和（L_{PS}）上的命题语言。加权目标是一对（（φ，w），其中φ是（L_{PS}）和（w\in\mathbb{R}）中的公式。目标基是加权目标的有限集。我们说，一个目标基（G）和一个聚合函数（F:2^{mathbb{R}}\rightarrow\mathbb}R}）生成一个效用函数（u{G，F}:2^{PS}\right arrow\ mathbb[R}\）如下：；M\models\phi\}））。作者将自己局限于求和函数（F=\Sigma），并且经常省略（F\）。
两个目标基\（G\）和\（G'\）是等价的，用\（G\equiv_{\Sigma}G'）表示，如果它们生成相同的效用函数，即如果\（u_{G}=u_{G'}\）。如果在L\中存在目标库\（G\），则效用函数\（u\）用语言\（L\）表示，使得\（u=u_｛G｝\）。
首先，作者提出了哪些实用函数可以用任何给定的语言表示的问题。其次，当不同的语言可以表达同一类实用函数时，一种语言可能会比另一种语言更简洁。因此，作者分析了语言的相对简洁性。最后，对于每种语言，他们研究了在给定用该语言表示的效用函数的情况下，寻找最佳替代方案问题的计算复杂性。
审核人：H.C.M.de Swart（蒂尔堡）

引用于6文件

MSC公司：

91B14号机组 社会选择
2015年3月1日 计算复杂性（包括隐式计算复杂性）

关键词：

偏好表示;计算复杂性;计算型社会选择

软件：

CP网络
PDF格式BibTeX公司 XML格式引用
\textit{J.Uckelman}等人，《数学》。日志。问题55，第44341-361号（2009年；兹bl 1180.91118）
全文： 内政部 链接

参考文献：

[1] K.J.Arrow、A.K.Sen和K.Suzumura（编辑），《社会选择和福利手册》（北韩，2002年）·Zbl 1307.91009号
[2] Y.Chevaleyre、U.Endriss、J.Lang和N.Maudet，《计算社会选择简介》。In：程序。第33届计算机科学理论与实践当前趋势会议（SOFSEM-2007）（J.van Leeuwen，G.F.Italiano，W.van der Hoek，C.Meinel，H.Sack，and F.Plasil，eds.）LNCS第4362卷，第51-69页（Springer-Verlag，2007）·Zbl 1131.91316号
[3] J.Doyle和M.P.Wellman，《目标的优先语义》。In：程序。第九届全国人工智能会议（AAAI-1991），第698-703页（AAAI出版社，1991年）。
[4] Boutiler，CP-nets:一种用条件对等偏好语句表示和推理的工具，《人工智能研究杂志》（JAIR）21页135–（2004）·Zbl 1080.68685号
[5] Lang，逻辑偏好表示与组合投票，《数学与人工智能年鉴》42页37–（2004）·兹比尔1061.68147
[6] F.Bacchus和A.J.Grove，《定性决策理论中的效用独立性》。In：程序。第五届知识表示和推理原则国际会议（KR-1996），第542-552页（Morgan Kaufmann，1996）。
[7] P.La Mura和Y.Shoham，《预期公用事业网络》。In：程序。第十五届人工智能不确定性会议（UAI-1999），第366-373页（Morgan Kaufmann，1999）。
[8] C.Boutiler、F.Bacchus和R.Brafman，《UCP-networks:条件效用的有向图形表示》。In：程序。第17届人工智能不确定性会议（UAI-2001），第56-64页（Morgan Kaufmann，2001）。
[9] C.Gonzales和P.Perny，GAI效用启发网络。In：程序。第九届知识表示与推理原理国际会议（KR-2004），第224-234页（AAAI出版社，2004）。
[10] C.Boutiler、R.Dearden和M.Goldszmidt，《政策构建中的利用结构》。In：程序。第十四届国际人工智能联合会议（IJCAI-1995），第1104-1113页（Morgan Kaufmann，1995）。
[11] Bistarelli，《基于半环的CSP和有价值的CSP：框架、属性和比较》，第4页，199–（1999）·Zbl 0946.68143号
[12] N.Nisan，组合拍卖的投标语言。摘自：组合拍卖（P.Cramton、Y.Shoham和R.Steinberg编辑）（麻省理工出版社，2006年）。
[13] C.Boutiler和H.H.Hoos，组合拍卖的投标语言。In：程序。第17届国际人工智能联合会议（IJCAI-2001），第1211-1217页（Morgan Kaufmann，2001）。
[14] Sandholm，组合拍卖中最优获胜者确定算法，人工智能135 pp 1–（2002）·Zbl 0984.68039号
[15] 平卡斯，捕获命题知识的连接网络中的推理、非单调性和学习，《人工智能》77页203–（1995）
[16] C.Lafage和J.Lang，群体决策偏好的逻辑表示。In：程序。第七届知识表示和推理原则国际会议（KR-2000），第457-468页（Morgan Kaufmann，2000）。
[17] J.Uckelman和U.Endriss，通过最大聚合加权目标进行偏好建模。In：程序。第十一届知识表示与推理原则国际会议（KR-2008），第579-587页（AAAI出版社，2008）。
[18] S.Coste-Marquis、J.Lang、P.Liberatore和P.Marquis，偏好表示的命题语言的表达能力和简洁性。In：程序。第九届知识表示与推理原理国际会议（KR-2004），第203-212页（AAAI出版社，2004）。
[19] P.Haddawy和S.Hanks，《决策理论规划的表示：截止日期目标的效用函数》。In：程序。第四届知识表示和推理原则国际会议（KR-1994），第71-82页（Morgan Kaufmann，1992）。
[20] F.Dupin de Saint-Cyr、J.Lang和T.Schiex，《惩罚逻辑及其与Dempster-Shafer理论的联系》。In：程序。第十届人工智能不确定性会议（UAI-1994），第204-211页（Morgan Kaufmann，1994）。
[21] S.Ieong和Y.Shoham，边际贡献网：联盟博弈的紧凑表示方案。In：程序。第六届ACM电子商务会议（EC-2005），第193-202页（ACM出版社，2005年）。
[22] E.Elkind、L.A.Goldberg、P.W.Goldberc和M.Wooldridge，边际贡献网及其应用的一个易于驾驭和表达的类。参见：《第七届国际自治代理和多代理系统联合会议记录》（AAMAS 2008），第1007-1014页（IFAAMAS，2008）·Zbl 1175.91022号
[23] 罗塔，《在组合理论的基础上I：莫比乌斯函数理论》，Zeitschrift für Wahrscheinlichkeits theorie und Verwandte Gebiete 2 pp 340–（1964）
[24] Grabisch，k阶可加离散模糊测度及其表示，模糊集与系统92 pp 167–（1997）·Zbl 0927.28014
[25] V.Conitzer、T.W.Sandholm和P.Santi，具有k-wise相关估值的组合拍卖。In：程序。第20届全国人工智能大会（AAAI-05），第248-254页（AAAI出版社，2005年）。
[26] Chevaleyre，《k加法域中的多智能体资源分配：偏好表示和复杂性》，《运筹学年鉴》163，第49页–（2008）·Zbl 1170.91418号
[27] J.S.Rosenschein和G.Zlotkin，《遭遇规则》（麻省理工出版社，1994年）。
[28] H.Moulin，《合作决策公理》（剑桥大学出版社，1988年）·Zbl 0699.90001号
[29] Dempster，多值映射诱导的上下概率，《数理统计年鉴》38第325页–（1967）·Zbl 0168.17501号
[30] G.Shafer，《证据的数学理论》（普林斯顿大学出版社，新泽西州普林斯顿，1976年）·Zbl 0359.62002号
[31] Cadoli，命题知识表示形式的空间效率，《人工智能研究杂志》（JAIR）13 pp 1–（2000）·Zbl 0946.68134号
[32] Y.Mansour，通过傅里叶变换学习布尔函数。摘自：《神经计算和学习的理论进展》（Kluwer，1994）·Zbl 0845.68093号
[33] L.Trevisan，课堂讲稿25，CS278：计算复杂性，加州大学伯克利分校，2004年12月1日，http://www.cs.berkeley.edu/luca/cs278/notes/lecture25.pdf。
[34] T.Lee，Kolmogorov复杂性和公式大小下限。阿姆斯特丹大学逻辑、语言和计算研究所博士论文，2006年。
[35] J.Uckelman和A.Witzel，基于逻辑的偏好语言，具有中等复杂性。参见：《第四届优惠处理进展多学科研讨会论文集》（MPREF-2008），第123-127页（AAAI出版社，2008）。
[36] M.R.Garey和D.S.Johnson，《计算机与不可修复性：NP完全性理论指南》（W.H.Freeman and Co.，1979）·Zbl 0411.68039号
[37] G.Ausiello、P.Crescenzi、G.Gambosi、V.Kann、A.Marchetti-Paccamela和M.Protasi，《复杂性和近似》（Springer-Verlag，1999）·Zbl 0937.68002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。