首页> 外文学位 >A decision-theoretic model of coordination and communication in autonomous systems
【24h】

A decision-theoretic model of coordination and communication in autonomous systems

机译:自治系统中协调与沟通的决策理论模型

获取原文
获取原文并翻译 | 示例

摘要

This thesis presents a formal model of rational, autonomous behavior in single- and multi-agent domains, together with its implementation--the Rational Reasoning System (RRS). The model is based on a notion of economic rationality, which directs an agent to maximize the expected utility of its interactions with the environment. Rationality is implemented by having an agent repeatedly calculate the expected utility of plans of action available to it, and execute the plan with the highest utility. In cases in which the agent is interacting with other agents, the calculation of the expected utility includes the anticipated actions of others. An agent predicts the actions of the other agents using the assumption that they also are rational. The fact that they may be using the same assumption about the original agent leads to a recursive nesting of beliefs. The formalism that expresses this recursion is called the Recursive Modeling Method (RMM), which can be shown to converge on the best choice of action for an agent after considering a finite number of levels of recursive models. RMM can be used to compute the expected utilities of possible messages the agent can exchange with others, thus allowing the agent to be rational in its communicative behavior. This method can be extended to account for the possibility of the messages being dishonest and not believed. RMM has led to a preliminary version of a recursive variant of the possible world semantics that provides for a natural distinction between the concepts of knowledge and belief, and facilitates both recursively nested deductive reasoning, useful for problems like the Three Wise Men puzzle, and recursive decision-theoretic reasoning for coordination and communication.
机译:本文提出了一种在单主体和多主体域中的理性,自主行为的形式模型,以及它的实现-理性推理系统(RRS)。该模型基于经济合理性的概念,该概念指导行为人最大化其与环境互动的预期效用。合理性是通过让代理反复计算可用于其的行动计划的预期效用并执行具有最高效用的计划来实现的。在代理与其他代理交互的情况下,预期效用的计算包括其他代理的预期行为。一个代理通过假设其他代理也采取合理行动来预测其行为。他们可能使用与原始代理相同的假设这一事实导致了信念的递归嵌套。表示这种递归的形式主义称为递归建模方法(RMM),在考虑了有限数量的递归模型级别之后,可以证明该方法收敛于代理的最佳操作选择。 RMM可用于计算代理可以与其他人交换的可能消息的预期效用,从而使代理在通信行为方面保持理性。可以扩展此方法以解决消息不诚实且不可信的可能性。 RMM导致了可能世界语义的递归变体的初步版本,该变体提供了知识和信念概念之间的自然区别,并促进了递归嵌套的演绎推理(对“三智者”难题和递归问题很有用)协调和沟通的决策理论推理。

著录项

  • 作者

    Gmytrasiewicz, Piotr Jan.;

  • 作者单位

    University of Michigan.;

  • 授予单位 University of Michigan.;
  • 学科 Computer science.;Social psychology.;Economic theory.;Artificial intelligence.
  • 学位 Ph.D.
  • 年度 1992
  • 页码 150 p.
  • 总页数 150
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号