AgentSpeak中意图生成过程的可靠性与完整性研究

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是Agent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前最流行的BDI型Agent编程语言AgentSpeak为例,证明了软件Agent意图执行的有效性。首先根据AgentSpeak的语法构造了一个解释系统,并给出了该解释系统的满足关系,从而得出了AgentSpcak的模型论语义。在该模型论语义的基础上,结合由Moreira和Bordini所给出的操作语义,证明了AgentSpeak的意图生成等价定理:AgentSpeak语言中模型论语义的意图等价于AgentSpeak程序操作语义的意图。由此可得出结论—AgentSpcak中的意图执行是可靠而完整的,从而验证了AgcntSpcak中软件Agent意图完成目标的正确性。     

一种带概率与效用算子的Agent形式化模型

形式化方法描述Agent时需要考虑信念的不确定性与决策的效用性要素.在经典Agent的BDI形式化模型基础上,定义了Agent形式化语言,引入概率算子与效用算子,提出了Agent形式化模型,在此模型中利用概率算子与效用算子对Agent的信念、愿望、意图与规划等意识属性进行了定义.该模型能满足Agent对逻辑理性、信念的不确定性与决策理性的要求.     

具有预测能力的BDI Agent模型研究

BDI模型缺乏对思维过程及预测能力进行形式化描述。为此,通过引入预测因素,对BDI模型进行扩展,给出BDIP模型结构及其扩展公理、语义及决策行为,证明模型的可靠性和完备性,并形式化表示决策过程及决策算法。应急疏散决策的应用实例表明,与BDI模型相比,该模型能够准确表示Agent的意图形成过程,为意图确定提供依据。     

网络遥操作机器人的任务产生方法研究

为了解决网络遥操作中操作者误操作问题,给出了一种在非结构环境下遥操作机器人的模糊控制方法,介绍了一种网络遥操作机器人控制系统结构,对任务产生器进行了设计,并以网络遥操作机械手抓取物品为例,通过实验验证了所设计方法的合理性。     

多机器人探索系统的人机共享控制

当多机器人探索系统接受人类操作者的遥控时,其一方面要遵从操作者的意图,另一方面要满足网络连通性约束和提高通信效率等自身性能指标,如何协调两方面的关系,是本文研究的关键问题.在实时任务分配器中,针对实时性和人机决策协调问题,采用边界栅格采样率衰减和面向遥操作者兴趣的任务分配算法,使任务分配决策与人的意图相协调;在拓扑控制器中,对以Steiner点最少且非Steiner点的点权之和最大为优化目标的Steiner树优化问题进行求解,进而控制拓扑,使连通性约束得以保证;在地图融合中心选择器中,通过广度优先搜索选择地图融合中心,从而减小传输带宽和传输能量消耗.在典型室内环境中,与全自主系统Possible Moves Sampling进行了对比仿真,与未使用地图融合中心的探测系统进行了对比实验,结果表明,本系统具有更高、更稳定的探索效率和更小的数据传输量,体现了本文人机共享控制方法的有效性.     

一种基于BDI的网络安全管理模型

针对计算机网络系统结构组织日趋复杂的特点,提出一种基于BDI理论的智能Agent网络安全管理模型,有效地对信念、期望及意图等概念进行建模,详细阐述了基于安全策略、智能Agent、安全事件等三个子模型的内涵及功能,并研究了它们之间的相互关系。     

一种理性Agent的BDI模型

该文通过引入假设信念,解释愿望和意图在Agent思维状态的认知方面的含义,进而定义愿望和意图,并引入规划,建立理性Agent的动态BDI模型.与Cohen和Levesque,Rao和Georgeff,Konolige和Pollack等人的工作相比,克服了对信念、愿望和意图的反直观解释问题,解决了关于愿望和意图的无为而治和副作用问题,强调了愿望的激发与维护作用,表达了信念、愿望和意图三者间的动态约束与激发关系.     

视频融合在遥操作机器人系统中的应用

针对遥操作机器人系统中视频传输数据量大,造成的时延严重影响操作者决策,使机器人现场作业透明度不高引起误操作的问题,提出采用3DSMAX建立三维机器人仿真模型,在OPENGL编程环境下对其进行绘制及仿真控制,采用H.263标准及相应压缩算法把获取视频压缩、传输、解压、远端显示与仿真模型融合.实验证明,该方法不仅能实现控制命令准确传输、机器人实时控制,而且视频机器人跟踪仿真模型轨迹作业避免了误操作.     

一种BDI Agent的多线程实现方法

Agent BDI结构的实现是多Agent系统开发中的难点之一。本文研究了理性BDI模型,提出并实现了一种AGENTFRAME结构,其中明确表示了Agent的信念、愿望和意图,以该结构为模板所生成的Agent能够长期持续地自主运行,完成推理和协作等多种智能行为。     

结合操作者意图分析的Internet机器人控制方法研究

互联网传输过程中存在的随机时延,影响了操作者与遥操作机器人之间的实时交互,降低了系统稳定性和操作性能。论文提出一种新的方法,利用动态神经元群模型对操作者发送的控制指令序列进行分析,实现对操作者意图的推断。在随机时延条件下,遥操作机器人能够根据操作者意图和当前环境信息,通过局部自主控制完成期望任务动作。同时可以与主端操作者基于事件的控制指令进行切换,来保证系统的稳定性,提高整个控制系统的操作性能和效率。最后,通过互联网足球机器人平台进行实验,仿真结果验证了所提模型与方法的有效性和可行性。     

The influence of the process characteristics on the role of the human operator in process control

Rational design of a process control system using an on-line computer requires a definition of the total control task and an allocation of function between the human operator and the machine. Both the nature of the total task and its subdivision depend very much on the process characteristics, which vary widely between different processes. The functions normally performed by a process control computer are described and those consequently left to the operator are defined. The wide variety of the operator's functions and the implications of this for studies of the operator's performance and for the design of the man-machine interface are emphasised. This article was originally presented as a paper at a symposium on Data Reduction, Communication and Presentation for Process Operation organised by the Institute of Measurement and Control at the University of Sussex, Brighton.     

Towards True Dynamic Workflow for Emergency Response

Emergency management is a process by which all individuals, groups, and communities manage hazards in an effort to avoid or ameliorate the impact of disasters resulting from the hazards. Emergency response workflow is dynamic because there are lots of uncertainties with the course of hazard development and rescue effort. Existing dynamic workflow modeling technologies are not su±cient to describe the complex emergency response processes which are context aware and data-driven. In this paper, we propose an intelligent agent based approach to supporting the emergency response process management. The approach integrates BDI (Belief-Desire-Intention) agents with WIFA workflow model, which was developed in our previous work, to a powerful tool for truly dynamic workflow modeling and enactment. A BDI agent is an intelligent agent. Beliefs represent the informational state of the agent - in other words its beliefs about the world. Desires (or goals) represent the motivational state of the agent. They represent objectives or situations that the agent would like to accomplish or bring about. Intentions represent the deliberative state of the agent: what the agent has chosen to do. Intentions are desires to which the agent has to some extent committed. Workflows represent sequences of actions that an agent can perform to achieve one or more of its intentions. Based on this approach, we developed an emergency response training tool which is customizable for individual organization use and scalable to incident response settings from rural to urban domestically and foreign outposts for military applications, and can operate at a holistic exercise level.     

基于Linux的智能终端键盘驱动的研究与实现

以OMAP5912双核处理器为核心硬件平台,利用其丰富的外围接口,在Montavista Linux环境下,研究并实现了矩阵键盘输入设备的驱动支持,进一步提高了智能终端的人机交流程度。     

Semantical considerations on intention dynamics for BDI agents

The BDI paradigm is a powerful means for constructing intelligent agents in terms of their beliefs, desires, and intentions. For this paradigm to bear its full potential, it must incorporate considerations from rationality. This paper develops a set of postulates for intelligent agents who deliberate about their intentions and actions. However, even simple postulates can lead to paradoxical results when formalized naively. We propose an approach based on temporal possibility and action that avoids those problems. This approach incorporates a formal model based on branching time in which a probabilistic analysis of choice can be captured. In this manner, the intuitions of the BDI paradigm can be reconciled with those of rational agency.     

一种家居安防系统终端界面的设计与实现

为了实现智能安防系统人机界面的友好性和提高人机交互效率,采用三星S3C6410为核心的硬件平台和以嵌入式Linux系统为核心的软件平台,并在此基础上使用开放源代码的图形界面库Qt和处理视频模块的Linphone库,开发了智能安防系统的应用系统。经测试,基本上达到了设计要求,并在跨平台性、可扩展性等方面得到了显著提高。     

基于工控组态软件的低压配电监控系统设计

针对济宁全民健身广场低压配电管理自动化的要求,利用电力工控组态软件,设计一套具有人机交互界面的智能电力监控系统。在智能电力仪表、RS485总线和基于Windows操作系统的PC机构建的平台上,采用专业的EpSynall电力系统自动化组态软件进行二次开发,完成监控系统的设计。低压配电监控系统全程监测各电参量,在有跳闸或其他故障时报警,工作人员及时发现并排除故障进而确保供电正常,实现对低压配电的自动化管理。     

基于BC7281B的分布式润滑系统人机接口的设计

在分布式润滑系统中,需要为供油终端配备人机接口用于设定润滑参数和显示工作状况.给出了基于专用控制芯片BC7281B的人机接口设计方案,提供了驱动大尺寸数码管的硬件电路和详细的应用函数代码.分析了握手信号丢失引起的死循环故障并给出了可行的解决方案,对于单片机应用系统人机接口的开发具有一定的参考价值.     

变电站智能安防辅助控制系统的开发与应用

介绍变电站智能辅助控制系统,采用双操作系统开发环境(应用UNIX操作系统实现IEC61850规约的数据传送,而人机界面部分采用Windows操作系统),利用SCADA组态平台和视频监控软件,实现了变电站内各相关辅助系统之间的高度集成。     

基于BDI模型的多机器人智能体系统设计

BDI模型是智能体设计的一种成熟结构，本文将BDI模型应用于多机器人智能体系统设计中．文章先从形式逻辑角度描述系统模型，然后讨论基于合同网的多机器人智能体的协作机制，最后给出基于BDI模型的多机器智能体的实现模型．     

基于LonWorks总线技术的中央空调控制系统

介绍了一种基于LonWorks技术的中央空调控制系统,重点介绍了中央空调总线监控系统的具体实现方法。阐述了基于LonWorks技术的智能节点设计。结合人机界面阐述了工作过程。