流演算相关论文
代数方法从“构造”的角度研究抽象数据类型的语义，并且已经在抽象数据类型、计算机语言的形式语义等领域有了广泛的应用。而代数的......
设计智能主体是人工智能领域一个富有挑战性的目标。智能主体一般处于动态不完全可知的环境中,为了完成给定的任务,需要具有很强的......
行动推理和知识表示是人工智能的重要研究领域。行动推理在认知机器人、Web服务、工作流等多个领域中得到应用。行动推理的主要任......
随着Web服务数量的激增以及用户需求的多样化,手工选择和组合现有Web服务变得越来越困难且效率低下。因此自动化的Web服务选取以及......
针对目标驱动的追击问题,将视线升维为柱体的视线筒,提出了一种虚拟人环境感知的筒视线方法。根据虚拟人所处的环境和行进速度,以......
在研究流演算理论及其实现语言FLUX的基础上,将流演算与虚拟现实技术中的虚拟人相结合,提出了一个基于目标驱动的、有自主行动能力......
提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planningprogramminglanguage basedon fluent calculus)。通过定义......
FLUX是基于流演算的逻辑程序语言,实现agents在不完全状态下对其动作和感知信息进行逻辑推理。FLUX利用不同的约束来编码不完全状......
提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language basedon fluent calculus)。通过定......
针对流演算无法表示动作执行时间和单向搜索动作序列的问题,提出了一种基于流演算的表示机器人规划的赋时有色网实现方法——FCRP......
针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.......
为了支持多agent系统的开发，特别是表示多agent环境中的并发等操作，将GoFlux语言扩展为ConFlux语言。ConFlux语言是基于流演算理论，吸......
为了刻画多Agent环境中的交互特性，基于流演算理论和GoFlux语言，吸收了ConGolog语义，提出了CFlux语言。CFlux语言能有效地处理MAS中的......
访问控制模型为系统的信息安全提供了一个理论框架,其目的是保护系统资源不被非法用户盗用,防止合法用户对受保护信息进行非法使用......
信念修正中的加强修正算法在保留低秩协调信念时存在不足,流演算由于其表示公式的局限,无法较好地与信念修正结合来进行行动推理。......
智能虚拟人在动态虚拟环境中的追击问题,是解决虚拟人自主行为规划的典型问题.构建基于认知的三层行为控制模型,依据情景状态、环......
流演算是在经典情景演算的基础上发展起来的一种动作形式化描述理论,为人工智能领域的动作推理提供了强大的表示工具,在此基础上发......
