王一川 作品数:11 被引量:62 H指数:5 供职机构: 清华大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 医药卫生 更多>>
高效可控RNA递送系统 本发明涉及一种高效可控RNA递送系统。所述高效可控RNA递送系统涉及转移蛋白、递送增强因子以及阻遏蛋白。本发明通过将含有递送增强因子的转移蛋白锚定到细胞膜上,增加了其对特定货物RNA的递送效率;进一步通过添加胞外阻遏蛋白... 张数一 王一川常识Agent和时空推理 该文主要从以下几个方面进行了研究:CBS Agent和本体:常识Agent的最主要特点是具有较强的常识知识表示和处理能力.盘古知识库的另一个重要特点是它不仅按纵向(类属继承)知识,而且还按横向(本体网络)机制组织,使用本... 王一川关键词:AGENT系统 一种基于资源约束的Agent组织规则生成机制 被引量:9 2002年 Agent组织是多 Agent系统的一种求解结构 ,可以有效地降低求解难度和 Agent之间的交互复杂性 .对Agent组织的抽象包括组织结构、组织规则和组织模式 ,Agent组织规则的形成是 Agent组织设计的重要问题之一 .基于资源约束给出了 Agent组织规则的形式描述和产生机制 ,设计了 Agent组织规则形成的静态算法和动态算法 ,从而改进了 Zam bonelli和 Jennings关于 张伟 王一川 石纯一关键词:资源约束 人工智能 一种并发的BDI-Agent模型 被引量:16 2003年 在区分宏观时间和微观时间的基础上,建立了分支时间结构的并发BDI-Agent模型,在微观时间上以交叠方式描述了宏观时间中的并行性.Agent的思维状态是建立在宏观时间上的,并发动作语义由相应的微观时间结构给出.为基于并发的多Agent合作和竞争提供了合适的逻辑基础,推进了Rao&Georgeff,Singh和Werner等人有关Agent模型方面的工作. 王一川 石纯一关键词:思维状态 BDI 并发性 人工智能 多AGENT系统 Agent模型及社会性的语义研究 多Agent系统是计算机学科的前沿课题,该文针对多Agent系统研究中存在的问题,从Agent的并发BDI-Agent思维状态模型、Agent语言及其操作语义.Agent组织及其形成过程等方面进行了研究,研究工作包括:(... 王一川关键词:多AGENT系统 思维状态模型 AOP AGENT组织 一种Agent规范机制的设计 被引量:3 2000年 提出了一种 Agent行为规范的实现机制 ,讨论了规范可获收益的下界 ,并给出了基于人工神经网络学习来解决行为规范问题的结构 .行为规范产生机制考虑了 Agent对规范制定影响力的差异 ,体现了规范作为连接宏观和微观的纽带作用 ;行为规范机制具有动态性 ,可以随系统运行而不断演化 .同相关工作相比 ,考虑了 马光伟 王一川 石纯一关键词:AGENT 社会规范 人工智能 基于π演算的一种受限AGENT0操作语义 被引量:1 2003年 AOP语言AGENT0的交互动作缺乏明确的操作语义 ,Hindriks等使用的语义模型不能以恰当的方式处理交互动作 π演算是刻画并发交互系统的重要工具 在对AGENT0做恰当限制的情形下 ,基于π演算给出了受限AGENT0的操作语义 ,确定了交互过程中Agent的行为 对AGENT0做限制的目的是语义解释减少复杂性 ,不影响语言的基本含义 与Hindriks等在AGENT0方面的工作相比 。 王一川 石纯一关键词:Π演算 人工智能 多AGENT系统 Agent Oriented Programming进展 2002年 Agent-oriented programming (AOP) is a framework to develop agents, and it aims to link the gap betweentheory and practical in agent research. The core of an AOP framework is its language and semantics. In this paper,we propose the necessary properties which agents should have, and then give a summary and analysis about differentAOP languages based on these properties. 王一川 石纯一关键词:人工智能 多AGENT系统 多Agent系统的几种规范生成机制 被引量:20 2000年 HCR(highest cumulative reward)是多 agent系统中的一种规范生成机制 ,但在该机制下 ,系统的规范不能随条件的变化而变化 .文章建立了规范的定义 ,分析了规范的稳定性 ,给出了用于规范生成的 HAR(highestaverage reward)和 HRR(highestrecent reward)机制 ,适于规范的演化 ,并比 HCR机制有更好的收敛速度 . 王一川 石纯一关键词:多AGENT系统 突现行为 HCR 基于π演算的一种Agent组织模型 被引量:8 2003年 Agent组织是多Agent系统研究的重要方面 从直观含义出发 ,将组织看做Agent之间的控制关系 ,以π演算为工具 ,给出了组织角色的定义和根据组织框架构建具体组织的过程 角色和组织框架都用进程表示 ,确定了Agent加入和脱离组织的严格描述 相比Ferber等以π演算和化学自动机定义组织形成过程的形式语义的工作 ,本文显式定义了角色和组织框架 。 王一川 石纯一关键词:Π演算 MAS 角色 多AGENT系统 人工智能