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

1

作者 黄向阳 彭岩 +1 位作者 张树东 涂序彦 《电子学报》 EI CAS CSCD 北大核心 2010年第5期1221-1225,共5页

与传统的将人工智能技术嵌入到游戏引擎的设计方式不同,通过为自主非玩家角色(Autonomous Nonplayer Characters,ANPCs)设计一类智能控制器将人工智能技术从游戏引擎中分离出来.用户通过三个接口与智能控制器交互,三个接口分别描述了ANP... 与传统的将人工智能技术嵌入到游戏引擎的设计方式不同,通过为自主非玩家角色(Autonomous Nonplayer Characters,ANPCs)设计一类智能控制器将人工智能技术从游戏引擎中分离出来.用户通过三个接口与智能控制器交互,三个接口分别描述了ANPC的感知、思考以及行动.提出了一种扩展的情景演算来融合三个接口,并解决AN-PC行动结果的不确定性以及为ANPC从认知模型回到实用世界模型提供形式化.基于ANPC模型实现了一个用于游戏的人工智能平台,实验证实利用该平台可以很方便地创建与真实玩家对抗的ANPCs. 展开更多

关键词 非玩家角色 智能控制 认知模型 情景演算

在线阅读 下载PDF 职称材料

基于情景演算的物联网访问控制模型 被引量：2

2

作者 郭树行 张禹 王坚 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第S1期176-180,共5页

为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出... 为了适应物联网主客体间访问控制的需要,考虑权限动态分配、前置需求差异、访问约束与条件等情景因素,提出一种基于情景演算的物联网访问控制模型。首先,剖析物联网访问中的情景要素构成,从多视角定义了情景要素;其次,基于情景模型提出物联网访问控制模型SLBAC-IOT,支持情景状态演算、规则演算;最后,实际案例应用验证表明情景控制模型在物联网环境中的应用可行性;并归纳SLBAC-IOT的创新性。 展开更多

关键词 物联网 情景演算 访问控制 状态演算 规则演算

在线阅读 下载PDF 职称材料

基于情景演算的动态访问控制模型 被引量：2

3

作者 翟浩良 韩道军 李磊 《计算机科学》 CSCD 北大核心 2012年第6期35-39,共5页

访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法... 访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法描述授权的动态变化过程。针对以上问题,提出了一种基于情景演算的动态访问控制模型(SCDAC)。SCDAC用逻辑事实和规则来描述访问控制属性和策略,把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景,通过动作来实现情景的变化,同时刻画了动作执行的前提条件和后续状态的变化情况。最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的。 展开更多

关键词 访问控制模型 动态 情景演算

在线阅读 下载PDF 职称材料

基于情景演算的多个智能虚拟人协作行为描述语言 被引量：1

4

作者 刘一松 王刚 +1 位作者 詹永照 孙亚民 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第12期1629-1634,共6页

在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,... 在情景演算的框架内引入真并发动作和相应的语义,参照FIPA-ACL增加了请求、承诺、结果等通信动作,将ConGolog扩展为CTConGolog,并且基于CTConGolog提出一个请求/服务协作模型及相应语义.在此基础上,引入用于表示复杂行为动画的元动作,提出并且实现了一种多个智能虚拟人协作行为描述语言---CBDL.实验结果表明,CBDL能够较好地描述多个智能虚拟人在动态环境下通过推理和协作而表现出的行为. 展开更多

关键词 情景演算 智能虚拟主体 协作 行为描述语言

在线阅读 下载PDF 职称材料

OSC:一个开放式情景演算系统的研究 被引量：1

5

作者 王崇骏 戈也挺 +1 位作者 郭磊 陈世福 《计算机研究与发展》 EI CSCD 北大核心 2003年第11期1598-1605,共8页

在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流r... 在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径. 展开更多

关键词 情景演算 信念修正 面向AGENT技术

在线阅读 下载PDF 职称材料

基于情景演算多流程交互软件模型的研究与实现 被引量：2

6

作者 万海 李磊 白勇 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第z1期164-167,共4页

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基... 多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用. 展开更多

关键词 多流程交互 情景演算 黑板模型 软件模型

在线阅读 下载PDF 职称材料

基于情景演算的企业生产管理过程建模 被引量：1

7

作者 黑秀玲 代逸生 《中国制造业信息化（学术版）》 2006年第8期11-14,19,共5页

为了对企业的管理过程进行本体建模,把情景演算理论作为企业建模过程中动态活动描述的基础。使用情景演算中解决框架问题的方法论对企业生产管理的动态过程进行表示,并对企业生产管理过程中的物料需求计划管理过程进行了形式化描述。此... 为了对企业的管理过程进行本体建模,把情景演算理论作为企业建模过程中动态活动描述的基础。使用情景演算中解决框架问题的方法论对企业生产管理的动态过程进行表示,并对企业生产管理过程中的物料需求计划管理过程进行了形式化描述。此方法有助于基于本体的企业模型的建立。 展开更多

关键词 企业模型 情景演算 本体 生产管理过程

在线阅读 下载PDF 职称材料

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

8

作者 梁伟晟 李磊 《计算机科学》 CSCD 北大核心 2007年第5期260-262,共3页

用户界面设计是业务应用系统设计的重要组成部分,验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此,我们引入情景演算来... 用户界面设计是业务应用系统设计的重要组成部分,验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此,我们引入情景演算来解决界面设计的验证问题。我们在经典情景演算中引入界面检验机制,用带检验机制的情景演算来表达界面的规划,在规划过程中实现界面设计的验证,最终通过规划结果判断界面设计的正确性。 展开更多

关键词 用户界面 规划 情景演算 验证

在线阅读 下载PDF 职称材料

基于情景演算的程序设计语言ConGolog

9

作者 陈善利 《科技信息》 2007年第28期54-54,共1页

ConGolog语言是以情景演算为基础的高级程序设计语言。本文介绍了情景演算的基础知识,并通过一个电梯运行的例子说明了如何使用该语言来实现编程。

关键词 情景演算 Golog ConGolog

在线阅读 下载PDF 职称材料

情景演算及其在工作流引擎中的应用

10

作者 章陶 黎亮 +1 位作者 黄巍 李磊 《计算机应用研究》 CSCD 北大核心 2005年第2期158-160,163,共4页

以情景演算理论为基础来研究工作流管理系统,形式化地将LR的状态对象扩展为状态表集合对象。给出了情景演算的归结算法和算法分析,说明了如何将情景演算应用到工作流引擎中,给出了实际应用系统,并分析了基于情景演算的工作流引擎的优点。

关键词 情景演算 LR 引擎 工作流

在线阅读 下载PDF 职称材料

基于情景演算的Web服务语义描述

11

作者 张弛 陈彦萍 《电脑知识与技术》 2010年第9X期7862-7865,共4页

Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算... Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。 展开更多

关键词 WEB服务自动组合 Web服务语义描述 情景演算

在线阅读 下载PDF 职称材料

基于动态情景网关的系统协同访问控制模型 被引量：3

12

作者 郭树行 张禹 《通信学报》 EI CSCD 北大核心 2013年第S1期142-147,共6页

为适应网构环境下应用系统主客体间访问集中控制的需要,提出了一种基于动态情景网关的系统协同访问控制模型DSGAC。首先,给出了网构应用系统中访问的动态情景要素构成,从多视角定义了情景要素;其次,提供动态情景状态机的概念,并给出了... 为适应网构环境下应用系统主客体间访问集中控制的需要,提出了一种基于动态情景网关的系统协同访问控制模型DSGAC。首先,给出了网构应用系统中访问的动态情景要素构成,从多视角定义了情景要素;其次,提供动态情景状态机的概念,并给出了动态情景机约束下的系统协同访问网关模型DSGAC,支持情景状态演算、规则演算;最后,实际案例应用验证表明DSGAC模型在应用系统的应用可行性,并归纳了其与现有访问控制模型的相对创新性。 展开更多

关键词 情景网关 系统协同 访问控制 情景演算 状态机

在线阅读 下载PDF 职称材料

一种意向驱动式面向agent程序设计语言 被引量：7

13

作者 郭磊 戈也挺 +1 位作者 陈世福 张东摩 《软件学报》 EI CSCD 北大核心 2003年第3期383-391,共9页

提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等a... 提出了一种意向驱动式面向agent程序设计语言——AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例. 展开更多

关键词 意向驱动式 程序设计语言 AOPLID语言 AGENT 外因行动 情景演算 信念修正

在线阅读 下载PDF 职称材料

基于本体的复杂产品项目WBS研究 被引量：5

14

作者 任南 张磊 边琳 《计算机应用研究》 CSCD 北大核心 2013年第7期2061-2063,共3页

针对复杂产品项目WBS分解过程中不同参与主体间的任务与资源信息共享需求,以及存在的设计、制造与管理信息流转脱节问题,研究基于本体的解决方案。首先通过构建本体为复杂产品项目工作分解过程中静态数据呈现提供有效载体;然后采用情景... 针对复杂产品项目WBS分解过程中不同参与主体间的任务与资源信息共享需求,以及存在的设计、制造与管理信息流转脱节问题,研究基于本体的解决方案。首先通过构建本体为复杂产品项目工作分解过程中静态数据呈现提供有效载体;然后采用情景演算的多类逻辑对分解过程进行动态描述,结合典型复杂船舶产品制造,从概念域、业务域、活动域三个层次对项目进行建模与分解,揭示各层级任务之间的相互关系,建立了适合复杂产品项目特点的WBS模型。 展开更多

关键词 本体 工作分解 复杂产品项目 情景演算

在线阅读 下载PDF 职称材料

自治型网络信息服务的建模 被引量：2

15

作者 董文宇 孙东红 +1 位作者 许可 李学东 《计算机研究与发展》 EI CSCD 北大核心 2006年第2期224-230,共7页

自治服务是网络信息服务的新的需求,它使人机交互变得更加智能·为此提出了基于情景演算的自治型网络信息服务的建模方法·在标准的情景演算基础上,增加了对有效性约束常识的描述,建立了情景演算的分层知识库表示,将抽象的数学... 自治服务是网络信息服务的新的需求,它使人机交互变得更加智能·为此提出了基于情景演算的自治型网络信息服务的建模方法·在标准的情景演算基础上,增加了对有效性约束常识的描述,建立了情景演算的分层知识库表示,将抽象的数学描述转化为较直观的描述模型;还设计了一种基于XML的情景演算建模语言Sc ML,以结构化文本脚本的形式描述了实际的应用需求并利用XML Schema实现了Sc ML的语法约束,利用XML XSL实现了从Sc ML脚本到Java代码的生成;最后给出日程管理服务的例子· 展开更多

关键词 网络信息服务 建模 情景演算 ScML语言

在线阅读 下载PDF 职称材料

规划的形式表示技术研究 被引量：2

16

作者 陈蔼祥 姜云飞 柴啸龙 《计算机科学》 CSCD 北大核心 2008年第7期105-110,共6页

智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了... 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。 展开更多

关键词 智能规划 形式表示 情景演算 STRIPS PDDL HTN

在线阅读 下载PDF 职称材料

马尔可夫决策过程两种抽象模式 被引量：2

17

作者 王蓁蓁 邢汉承 +1 位作者 张志政 倪庆剑 《计算机科学》 CSCD 北大核心 2008年第10期6-14,48,共10页

抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以... 抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以及在各种典型抽象MDPs中的最优策略的精确或近似算法,其中包括与常规MDPs根本不同的一个算法:把Bellman方程推广到抽象状态空间的方法,并且对它们的研究历史进行总结和对它们的发展做一些展望,使得人们对它们有一个透彻的、全面而又重点的理解。 展开更多

关键词 情景演算 因子化马尔可夫决策过程 逻辑马尔可夫决策过程 关系马尔可夫决策过程 Bellman方程

在线阅读 下载PDF 职称材料

制造企业生产管理过程本体建模 被引量：3

18

作者 代逸生 黑秀玲 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2008年第8期877-881,共5页

为了获得能够实现知识共享的企业模型以指导企业信息系统的设计和应用,以制造企业为背景,采用本体建模的方法构建能够实现共享的企业模型.在静态本体的基础上,着重采用情景演算表示活动的方法,结合知识工程中的基本行为理论构建制造企... 为了获得能够实现知识共享的企业模型以指导企业信息系统的设计和应用,以制造企业为背景,采用本体建模的方法构建能够实现共享的企业模型.在静态本体的基础上,着重采用情景演算表示活动的方法,结合知识工程中的基本行为理论构建制造企业生产管理过程动态本体,并以六元组的形式表示了制造企业车间作业计划过程的本体模型,该本体模型的建立为创建全企业及企业间的信息系统共享模型和智能化的企业信息系统打下了良好的基础. 展开更多

关键词 企业模型 情景演算 动态本体

在线阅读 下载PDF 职称材料

Web服务集成的策略规划 被引量：2

19

作者 曾伟 金杨恒 《计算机集成制造系统》 EI CSCD 北大核心 2008年第2期403-406,共4页

针对Web服务存在的业务逻辑不确定性和服务质量不确定性问题,提出了利用马尔可夫决策理论和高级逻辑程序语言DT-Golog来解决Web服务集成中的不确定性规划问题的方法。该方法首先将Web服务调用视为不确定性动作,建立Web服务集成的马尔可... 针对Web服务存在的业务逻辑不确定性和服务质量不确定性问题,提出了利用马尔可夫决策理论和高级逻辑程序语言DT-Golog来解决Web服务集成中的不确定性规划问题的方法。该方法首先将Web服务调用视为不确定性动作,建立Web服务集成的马尔可夫决策模型。在此基础上,利用情景演算理论及其扩展的马尔可夫决策理论的DT-Golog高级逻辑程序语言,对Web服务的集成逻辑进行编程,同时基于马尔科夫决策理论,获得了Web服务集成的最优策略。通过示例说明,利用DT-Golog解决Web服务集成问题,体现了编程和规划相结合的优点。 展开更多

关键词 WEB服务 马尔可夫决策过程 情景演算

在线阅读 下载PDF 职称材料

企业自演化动态本体表示策略的研究 被引量：3

20

作者 张辉 《计算机工程与科学》 CSCD 北大核心 2010年第11期100-103,106,共5页

领域知识的非规范化组织严重阻碍了本体及知识库的共享,本体的主观性和知识的快速更新提出了本体演化需求,也就需要对领域知识本体的动态属性进行表示,建立动态本体,适应对本体及知识库共享的需求。本文以情景演算理论为基础,对活动动... 领域知识的非规范化组织严重阻碍了本体及知识库的共享,本体的主观性和知识的快速更新提出了本体演化需求,也就需要对领域知识本体的动态属性进行表示,建立动态本体,适应对本体及知识库共享的需求。本文以情景演算理论为基础,对活动动态本体进行了刻画;在分析企业活动之后构建了企业动态本体,并以构建企业生产管理的动态过程信息表示为例进行了实例描述;提出了本体自演化动态模型;给出了基于本体学习与冲突触发的本体自演化版本态迁移图,对本体演化过程中的版本进行管理,实现动态本体的自动复盘,最终建立实现企业职能的动态的共享本体模型。 展开更多

关键词 情景演算 动态本体 自演化 版本态迁移

在线阅读 下载PDF 职称材料