2
$ \ begingroup $

它有点意义直观,但我不确定正式证明。我将开始简要列出定义Multiagent Systems,Wooldridge,2002年介绍然后给你们我目前为止的推理尝试。

E美元是一个有限的离散瞬态集合,$ E = (E, E ',…)美元$ ac $是一个可用于转换环境的代理的可能动作(也有限)的reptoire,$ ac =(\ alpha,\ alpha',...)$.运行是一系列交错环境状态和动作,$r=(e_0, \alpha_0, e_1, \alpha_1,…, \ alpha_ {u-1}, e_u)美元,设置所有此类可能的有限序列(过度)E美元$ ac $) 是$ r $美元$ R ^ E是一个子集$ r $包含以ENV结尾的运行。状态。

纯反应剂被建模为:美元Ag_{纯}:E \ mapsto Ac美元,标准代理被建模为美元Ag_{性病}:E R ^ \ mapsto Ac美元

因此,如果美元$ R ^ E是一系列代理的行动和环境状态,而不是意识到这一点E R ^ \子集E美元.因此,$ ag_ {std} $可以映射到每个行动美元Ag_{纯}$能够。与环境相比的行为等同$ Eng $被定义为$ r(env,ag_ {1})= r(env,ag_ {2})$;在哪里$ env = \ langle e,e_ {0},t \ rangle $美元e_ {0} $- 初始环境状态,$ t $- 转换功能(目前定义无关)。

最后,如果美元Ag_{纯}:E \ mapsto Ac美元美元Ag_{性病}:E R ^ \ mapsto Ac美元E R ^ \子集E美元,我们可以这么说$ r(env,ag_ {pure})= r(env,ag_ {std})$(可能是太大胆的假设)。因此,每种纯反应剂具有行为等同的标准剂。相反的可能不是真的,因为E R ^ \子集E美元意味着所有元素E美元属于美元$ R ^ E,而不是所有元素美元$ R ^ E属于E美元

这是一个教科书问题,但我找不到答案密钥来检查我的解决方案。如果有人正式(也许数学)以前证明这一点,您可以发布您的反馈,想法,评论中的证明吗?例如,要推断的数学步骤集E R ^ \子集E美元从他们的定义:e_ (e_ $ E ={0},{1},…美元,e_{你})美元$ R ^ E是 ”所有代理都以环境状态延尾“(没有找到正式的公式)对我来说并不清楚。

$ \ endgroup $
4.
  • $ \ begingroup $ 嗨,欢迎来到AI SE。你说“如果$ r ^ e $是一系列代理的行动和环境状态,它就意义于$ e \ subset r ^ e $”,但我会说它没有意义!$ e $是这组全部环境国家,但如果我理解您的定义,则可以不包含所有环境状态。我认为你的困惑是你定义了一个“运行”AS $ \ gamma =(e_0,\ alpha_0,e_1,\ alpha_1,\ dots,e_u,\ alpha_u)$,这使您认为它包含所有环境状态,但直观似乎不一定是这种情况。 $ \ endgroup $-nbro. 2月19日1点07分
  • $ \ begingroup $ 我会纠正定义。此外,我认为你已经正确地指出了我的假设中的缺陷。 $ \ endgroup $-ams - 洲洲 2月19日2月19日6:04
  • $ \ begingroup $ 但我认为通过国际象棋榜样,它有点有意义(至少我认为它开始:D)。$ e $是所有法律职位;$ AC $均为法律举措;$ r $是一个游戏(位置和移动序列);$ r $是一套所有此类可能的游戏;$ r ^ {ac} $是$ r $的子集,一组与移动结束的序列;$ r ^ e $是$ r $的子集,一组以职位结尾的序列。我认为理论上我们可以看到$ r ^ e $,是一套与职位的所有可能的游戏,是否包含E美元 $ \ endgroup $-ams - 洲洲 2月19日2月19日6:35
  • $ \ begingroup $ *包含所有可能的游戏结尾与一个位置 $ \ endgroup $-ams - 洲洲 2月19日2月12日12:37
0.
$ \ begingroup $

我建议你参加文献模拟bisimulation在Automata理论中及其应用于模拟检查的应用程序(您希望常规定期验证“行为等价”)。一篇文章在模型检查的技术的上下文中讨论了这一点“抽象和抽象精炼”

抽象和抽象细化Dennis水坝和orna Grumberg在Springer的模型检查手册,2018年,第13页,第13页,第385-420页

一本很好的(我经常使用它)书涵盖了各种自动机的行为等价

混合系统的验证和控制:象征方法Paulo Tabuada Springer,2009
$ \ endgroup $
1
  • $ \ begingroup $ 感谢建议的读数。肯定会看看 $ \ endgroup $-ams - 洲洲 3月22日2月8日8:54
0.
$ \ begingroup $

这就是我看到它的方式:

事实上,一个纯粹的反应者所反应的状态,是所有以状态结束的可能运行集合的子集。所以从理论上讲,E.(某些状态)是一个子集R.(所有可能的有限集用州作为最后一个元素运行)。标准和纯反应剂在赋予试剂的目的是给予某些条件的举措的意义类似。完全可能是标准代理可能会处理仅包含一个元素的运行。因此,这意味着,对于在时间的离散事件中,标准代理的行为将相当于纯反应剂,右?还是我完全离开了铁轨?

抱歉没有使用所需的符号,我是新来的,并正在习惯的样式:D

$ \ endgroup $
1
  • $ \ begingroup $ 我认为需要对个人国家进行更好的定义。在您的案例和我的情况下,我们暗示了E.是一个子集R.但是,在这种情况下,我们指的是整个元素集合,而不是任何单个元素。一个完整的运行可能没有集合中的所有状态E.但是它至少需要一个州.因此集合中的任何特定元素E.是一个子集R.因此,对于对某些状态反应的所有可能纯的反应性E.E.,有一个行为等同的标准代理 $ \ endgroup $-乔纳森科奇 1月20日在13:09

你的答案

点击“发布答案”,您同意我们的同意服务条款隐私政策Cookie政策

不是您要找的答案?浏览其他标记的问题必威英雄联盟或者必威电竞问你自己的问题