分享到:

基于逻辑情景演算的虚拟企业过程建模研究

本文主要通过对虚拟企业的结盟、构建和运作过程的深入研究,提出了面向过程建模的虚拟企业本体论,并在该本体论基础上,以逻辑情景演算形式化地描述了虚拟企业在结盟过程中逐步精化的过程模型,并建立了相应的虚拟企业分层递解组织模型。本文采用agent技术来支持虚拟企业合作伙伴对任务的分担、合作和协商,分层递解地构建了基于agent联邦的合作伙伴动态结盟,并以逻辑情景的演算过程作为虚拟企业工作流运作过程,构建了支持虚拟企业的工作流管理系统,实现了虚拟企业的运作。本文提出的虚拟企业本体论是面向虚拟企业过程建模的本体论,用以形式化地描述虚拟企业的过程模型,其中,虚拟企业本体论包括其构成要素、要素间的约束关系以及相关信息,并以分类体系对这些核心术语进行定义,具有很强的稳定性和可重用性。由于虚拟企业是为响应市场需求而动态构建的,在建立合作联盟过程中,又因合作伙伴的不同而导致对所承担任务的分解、分担过程不同,这都将导致虚拟企业过程模型的动态变化。为了准  (本文共156页) 本文目录 | 阅读全文>>

《计算机科学》2007年05期
计算机科学

基于情景演算的用户界面模型验证方法

1研究动机用户界面设计是业务应用系统设计的重要组成部分。用户界面设计的方法和工具主要分为基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。研究统计表明[1],平均48%的系统设计开发工作量在于用户界面部分。验证界面设计正确性与设计用户界面同样重要。为了验证用户界面的正确性,国内外的研究提出了许多界面测试方法。L.White提出了Complete Interaction Sequences(CIS)方法[2],使用CIS脚本转换器来生成测试用例。基于界面对象建模的测试[3]从用户/应用系统交互和应用系统/系统环境交互的视角,提出了一种界面类对象状态测试建模技术,支持面向对象应用软件的测试。基于界面构件关联图的测试技术[4]描述界面构件之间联结和制约关系,提出了软件测试覆盖准则和测试用例生成方法。基于扩展有限状态机测试的测试数据自动选取方法[5]方便了测试人员从中手工选择测试数据。由于界面输入和界面交互的复杂性,各种测试方...  (本文共3页) 阅读全文>>

《电子学报》2010年05期
电子学报

一个基于情景演算的自主非玩家角色模型研究

1引言随着硬件技术的迅猛发展、3D技术的日臻完善,计算机游戏中的人工智能技术逐渐成为决定一个游戏成败的关键因素[1,2].近年来,在游戏中创建了许多极具个性的智能体(在游戏中称为Nonplayer Characters,NPCs),如游戏Creatures中具有心理和生理状态的Norns精灵、游戏Black&White中具有学习能力的精灵、以及游戏The Sims中使用人工生命技术创建的个性精灵等.这些具有部分自主能力的智能体增加了游戏的可玩性.然而在这些游戏中,人工智能技术只是作为游戏逻辑的一部分来研究,NPC仅仅是一段“聪明”的程序.现在许多人认为NPCs应该是完全自主且更具智能:它们自己和虚拟世界交互;用各种学习算法来适应环境[2,3],称这样的NPCs为ANPCs(Autonomous NPCs).但是,在游戏中创建像玩家(Player Characters,PCs)一样真实的自主角色,也是游戏开发中最困难的方面之一.另...  (本文共5页) 阅读全文>>

《计算机科学》2008年10期
计算机科学

马尔可夫决策过程两种抽象模式

1引言现今,由马尔可夫随机过程理论和增强学习方法相结合得到的马尔可夫决策过程MDP模式,越来越在人工智能的理论和应用领域受到重视。它对处于随机环境中的决策者做出最优规划以及在机器学习中解决(增强)学习问题,都是一个自然而重要的框架。在这个框架下,系统是通过状态集合以及状态的随机演化描述的。基于实际状态上的(常规)MDPs理论已经比较成熟,它有一系列的基本概念,并开发了许多有效算法,这些深刻、系统的理论不仅加深了人们对人工智能的理解,而且应用到实践,也获得了很大的成功。然而,应用常规MDPs的表达模式,在实际问题中一直存在着一个主要问题:在真实世界里,几乎大部分领域,它们的状态空间是非常巨大的,这引起常规理论中要清晰枚举状态的算法变得难以驾驭,甚至实际不可行。许多学者从不同的方向研究怎样处理大型状态空间MDPs问题,其中最重要的而且能够解决问题的方向,应该是把常规MDPs提升到抽象层次上,利用抽象的概括能力和逻辑演算的表达能力,把...  (本文共10页) 阅读全文>>

《计算机研究与发展》2003年11期
计算机研究与发展

OSC:一个开放式情景演算系统的研究

1引言 情景演算(Situation CaleuluS)是McCart场等人于1969年首次提出的川一种具有指导意义的哲学观点,其后的30多年间,针对不同的应用背景,研究者们对情景演算做了许多研究,提出了各种情景演算系统.其中Reite:等侧给出的情景演算系统(下文简称LSC系统)是一个比较经典的情景演算系统,被研究者们广泛引用. 1丈I!系统假定动态系统的变化都是行动(action)作用阴箱呆.遇过仃动阴坝厌余忏公理相石继状忐公理来刻画其对系统的影响,从而对动态系统进行推理和规划.动态系统中的情景可以用系统变化的历史即行动序列来表示.但在智能agcnt系统应用背景中,仅仅刻画agent的主动行动是不够的,还必须考虑如何刻画agent的通信交互能力和对事件的响应处理能力等. 通信交互与事件响应对agent影响的共同特点是其结果可以直接改变agent的心智状态(mentalstate),并且其结果往往是无法预知的.而信念修正是刻画...  (本文共8页) 阅读全文>>

江苏大学
江苏大学

基于情景演算的多Agent合作模型的研究

多Agent系统是当前人工智能研究的一个热点。其中,关于知识表示、动作推理、通信和协作是当前很多专家学者的研究焦点,虽然取得了很多成果,但仍存在不少问题,主要是基础理论研究与实现技术之间的重大脱节。多伦多大学认知机器人小组基于情景演算理论,将agent的研究从理论推向了实际。基于多伦多大学机器人研究小组对情景演算的研究工作,本文对情景演算及其应用(Golog、ConGolog语言)进行研究,建立了一个基于情景演算理论的可以很好地刻画agent的心智状态,自主行动推理、通信交互等特性的多agent请求/服务合作模型。本文的主要研究工作和创新成果有:(1)针对MAS环境的动态、不确定性,多agent行动的并发性以及agent行动推理的自主性,本文采用情景演算理论来形式化MAS的推理机制,使用具有并发特性的ConGolog语言来描述agent自主的行动推理;(2)实现了基于情景演算理论的自治agent模型(MMSC),并形式化该模型的...  (本文共73页) 本文目录 | 阅读全文>>