PPT《高级人工智能》

主体当前打算达到的一组目标;

一个规划库,描述怎样达到目标和怎样改变信念;

一个意图结构,描述主体当前怎样达到它的目标和改变信念. BDI解释器 BDI-Interpreterinitialize-state();

dooptions := option-generator(event-queue, B, G, I);

selected-options := deliberate(options, B, G, I);

update-intentions(selected-options, I);

execute(I);

get-new-external-events();

drop-successful-attitudes(B,G,I);

drop-impossible-attitudes(B,G,I);

until quit 动作理论 情景演算是描述动作的主要的形式框架. 在情景演算中引入了状态和动作的概念,并利用两条逻辑公理来描述动作与状态的关系.一条公理描述一个动作在满足什么条件的状态之下可能发生,另外一条描述在一个状态之下某个动作发生以后当前状态如何改变. 规划库的形式化表示 环境状态: State = { P1, P2, … Pn }目标: Goal=动作模板: Act_template = 主体能力: Ability= 主体结构 主体结构需要解决的问题包括:主体由那些模块组成,模块之间如何交互信息,主体感知到的信息如何影响它的行为和内部状态,如何将这些模块用软件或硬件的方式组合起来形成一个有机的整体. 主体基本结构 环境 主体 感知 作用 黑箱软件主体 智能主体的工作过程 环境 交互 信息融合 信息处理 作用 交互 感知 作用 主体骨架程序 function Skeleton-Agent(percept) return action static: memory /* 主体的世界记忆 */ memory ← Update-Memory(memory,percept) action ← Choose-Best-Action(memory) memory ← Update-Memory(memory,action) return action 主体的分类 根据人类思维的层次模型,可以将主体分成四类:反应主体形象思维主体抽象思维主体复合式主体 形象思维主体和抽象思维主体也可以合称为认知主体 反应主体 环境 当前世界 传感器 动作效应器 条件-动作规则 主体 反应主体程序 function Reactive-Agent(percept) returns action static: rules, /* 一组条件-动作规则 */ state ← Interpret-Input(percept) rule ← Rule-Match(state,rules) action ← Rule-Action[rule] return action 认知主体 环境 信息融合 传感器 动作效应器 主体 规划知识库 目标 内部状态 认知主体程序 function Cognitive-Agent(percept) returns actionstatic: environment, /* 描述当前世界环境 */ kb, /* 知识库 */ environment ← Update-World-Model(environment,percept) state ← Update-Mental-State(environment,state) action ← Decision-Making(state,kb) environment ← Update-World-Model(environment,action) return action BDI结构 知识 信念 规划 意图目标愿望复合式主体 决策生成 规划反射建模通信感知行动其他智能主体 智能主体 外部世界 预测 协作与协商 动作 请求或应答信息 一般情况 紧急情况和简单情况 规划模块 世界的模型(包括其他 主体的模型) 经验库目标集合 局部规划器决策生成重新规划 规划 规划 目标 建模模块 世界的模型(包括其他 主体的模型) 模型库模型生成和维护预测规划 决策生成 感知通信建模 通信模块 词法库语法库词义库物理通信 语言生成 语言理解 通信 主体通信 策略对话消息黑板协议通信 协作 协议主体通信中的主要问题 语义:全部有关的主体必须知道通信语言的语义,消息的语义内容知识是分布式问题求解的核心部分.言语行为:通信语言也是一种动作,说话是为了使世界的状态发生改变.交互协议:主体之间消息交换的典型模式通信语言:传递消息的标准语法.Foundation for Intelligent Physical Agents http://www.fipa.org 主体间的消息传递 消息发送/传输服务器 转换到传输格式 从传输格式转换 消息M 言语行为 意图I 目标G Agent i 消息M Agent i 本体论 本体论是概念化的明确的表示和描述.对某一领域中的概念有共同理解,可以提高交流和协作的效率,从而提高了软件的重用性. 言语行为 有关言语行为理论的研究主要集中在如何划分不同类型的言语行为.在主体通信语言的研究中,言语行为理论主要用来考虑主体之间可以交互的信息类型. 通信语言 KQML:由美国ARPA的知识共享计划中提出,规定了消息格式和消息传送系统,为多主体系统通信和协商提供了一种通用框架.ACL:由FIPA制定的一种规范.与KQML非常相似 KQML 一个例子:(ask-all: senderA: receiverB: in-reply-toido: reply-withidl: languageProlog: ontologyfoo: content bar (X, Y) ) FIPA ACL (inform: sender agent1: receiver hpl-auction-server: content (price (bid good02) 150): in-reply-to round-4: reply-with bid04: language s1: ontology hpl-auction) 消息结构开始 通信动作类型 消息参数 消息内容表达式 参数表达式 FIPA通信动作库 Accept Proposal接受提议Agree同意Cancel取消Call for Proposal要求提议Confirm确认Disconfirm确认为否定Failure失败Inform通知Inform If通知 是否Inform Ref通知 有关对象Not Understood不理解 Propagate传播Propose提议Proxy代理Query If询问 是否Query Ref询问 有关对象Refuse拒绝(请求)Reject Proposal拒绝提议Request请求Request When请求 某个条件下执行Request Whenever请求 一旦某个条件成立就执行Subscribe预定详细说明:http://www.fipa.org/repository/cas.html FIPA通信动作库 XML―eXtensible Markup Language 可扩展标记语言 XML是用于标记电子文件使其具有结构性的标记语言.XML文件本身只是将文件资料结构化.例如:下面的ACL消息(inform:sender jklabrou:receiver grosof:content (CPU libretto50 pentium):ontology lapt........