行为等价相关论文
为了表示部分可观察马尔可夫环境下,多Agent决策中各Agent之间的动态结构关系,对影响图(Ids)在结构和时间上进行扩展,形成一种能够......
传统企业的工作流系统大都采用基于活动的建模方法。而今，企业经常组成动态联盟，在联盟中，采用基于角色的建模方法更适合。因此，面向企......
随着Agent技术在工业、交通、国防、军事、商务等领域日益广泛的应用和深入的发展，基于单Agent和多Agent的决策问题日益复杂多样，一......
结合前瞻搜索思想提出了一种判断模型近似行为等价的方法,首先通过比较候选模型的部分解(即策略树)判断模型近似行为等价,然后自上......
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方......
什么叫模型的等价性？从计算机科学来看，刻画相同行为过程的两个标号转换系统称为等价模型，这种等价性称为行为等价性；从模态逻辑来看，具......
同步距离是刻画事件之间同步关系的一个重要的定量分析手段，已经有相关文献表明它对系统的设计和分析提供了很大的帮助，尤其在工作流......
为了表示部分可观察马尔可夫环境下,多Agent决策中各Agent之间的动态结构关系,对影响图（IDs）在结构和时间上进行扩展,形成一种能够对......
区别模型更新（discriminative model update，DMU）是一种常用的求解交互式动态影响图（interac-tive dynamic influence diagrams，I-DIDs）......
交互式动态影响图（interactive dynamic influence diagrams，I-DIDs）状态空间太大，候选模型的数量随时间变化而呈指数倍增长。针对其备......
本文中,我们首先简要总结一下代数、逻辑和博弈(或游戏)这三种作为描述抽象模型的方法各自所具有的特点,并且主要介绍Ehrenfeucht-......
不确定性多智能体序贯决策是人工智能研究领域一个重要的研究问题,主要求解智能体如何在与其他智能体的交互中优化本身的决策.特别......
对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加......
现代计算机系统和网络环境中,由于访问控制等安全措施的实施,进程的行为受到各种条件制约,一方面要遵循一定的访问控制策略,如访问......
