【摘 要】
：
时间的逻辑经常作为基本工具被采用到指定象代理人的信仰和目标那样的心理状态。在那里的 Althoush 是线性时间的逻辑(LTL ) 和分叉的时间的非单调的扩展上的工作时间的逻辑(
【机 构】
：
InstituteofComputerApplication,DepartmentofComputerScienceandTechnology
【出 处】
：
Journal of Donghua University(English Edition)
论文部分内容阅读
时间的逻辑经常作为基本工具被采用到指定象代理人的信仰和目标那样的心理状态。在那里的 Althoush 是线性时间的逻辑(LTL ) 和分叉的时间的非单调的扩展上的工作时间的逻辑(CTL ) ，是多代理人合作逻辑的一种重要类型的交替时间的时间的逻辑(ATL ) 的非单调的延期还没在文学被讨论。解决这个问题，这份报纸与信仰和目标建议了非单调的交替时间的时间的逻辑，也就是 N-ATL-BG，便于代理人的心理状态的非单调的推理。这新逻辑的语义模型，句法和语义被开发。检查能在多项式时间被完成的算法的一个模型为这新逻
其他文献
自从2016年5月1日国家实行营业税改征增值税(以下简称'营改增')以来,建筑业落实营改增政策已经将近2年的时间.对于建筑工程施工企业以及相应机构来说,必须密切关注实
基于轴流压气机叶片排实验特性，应用畸变传递的矩阵分析模型，对带有进口导流叶片排的轴流压气机级容总压畸变特性进行了详细分析，初步建立了进口导流叶片排对总压畸变及其沿轴流
近年来,社会经济发展迅速,建筑工程行业进入到蓬勃发展时期,招投标成为建设单位进行建筑工程管理的重要方式.在当前的建设单位工程招投标管理中还有很多问题亟须完善,文章主
在桥梁桩基工程中,经常遇到缺陷桩的最终判定,用钻芯检测法可以准确直观地判定它的质量状况,本文对桥梁桩基工程中钻芯检测法的应用做出了简要分析.
从一定程度上而言,施工质量的优劣直接体现着建筑业的整体发展水平.在建筑装饰工程施工管理过程中,常常会出现质量问题,进而对整个工程的施工质量造成极大的影响.建筑装饰工
随着我国城镇化进程的加快,我国的暖通安装工程施工越来越完善,但是现阶段依然存在一些问题亟待解决,工程施工质量不仅关乎着房屋建筑的经济效益,也与施工人员和建筑用户的生
基于带化学反应的二维Euler方程，采用氢气-空气的9组分19步基元反应简化模型，对充有当量比的氢气一空气预混气和空气的环形旋转爆轰流场，从点火燃烧到发展成旋转爆轰的过程进行
当前,随着我国经济发展速度的不断加快,以基础设施建设为主的工程项目显著增多.而在实际施工过程中,通常会由于工程变更的出现而可能导致工程索赔的生成.当因工程变更而产生
本研究项目创新改进超高脱硫塔中的喷淋装置和除雾器,以增加喷淋和除雾的效果,提高脱硫效率和降低烟气含水率.对喷淋层上的喷嘴进行创新设计,优化喷嘴,增强脱硫效果并且可以
文章简述了矩形顶管施工的适用环境、工作原理及其优缺点.在城市交通日益拥堵的现状下,尽量减小施工过程对现有交通的影响,在距离短、重要管线多的地下通道工程中,矩形顶管法