Agent的念和理论模型.docVIP

一、Agent的概念 Agent ——主体，智能主体。 1、Agent产生背景 （1）、程序设计思想。 模块化à对象àAgent Agent是一种主动（Active）对象。（一般对象是被动的，即使它可以根据消息或事件而执行某些动作） 2）、软件从单一的计算到人格化、智能化、社会化的发展。 Agent是现实世界中生命个体及其智能性、社会性在计算机世界的反应。 Agent作为“智能主体”，是一些具有特别技能的、主动的软件实体。类似于对象（Object）、部件（Component）、进程（Process）的概念。可以看作这些概念的人格化。 特别地， Agent作为一个软件实体，可以用来体现用户的意图与爱好，作为用户与系统的接口。这类Agent在软件系统中代表用户，通常可以称为“接口Agent”，在早期的中文文献中，译为“代理”。 区别：Proxy代理服务器 2、Agent的三维属性 人格化概念的Agent具有三个最重要的属性，即智能性、社会性和移动性。 （1）智能Agent 智能主体强调心智要素，包括： 认知：信念（Belief）、学习、知识等。 情感：愿望（Desire）、偏好(Preference)、兴趣(interest)。 意向：目标（Goal），意图（Intention）、规划(Plan)、承诺（Commit）等。 典型代表：思考型Agent和学习型Agent。 “另类”应用如软件宠物（人工生命，Artificial life）。 （2）社会Agent 强调社会性，主要研究多Agent的通信与协作，以及MAS （Multi-Agent System）中Agent的自主性、反应性、预动性、社会性。 自主性（autonomy）——Agent在没有人或其他Agent直接干预的情况下运作，并对自身的行为和内部状态有某种控制能力。 反应性（reactivity）——Agent可以观察其所处的环境，并在一定时间内作出反应。 预动性（pro-activeness）——Agent以目标为导向，能够把握机会，主动采取行为。 社会性（social ability）——Agent可以与其他Agent进行交互，协作解决自身或其他Agent的问题。 （3）移动Agent Mobile Agent能够在网络的不同主机之间任意迁移，相当于移动机器人。 这类Agent需要解决的主要问题有： （1）移动：移动策略（何时移动，何种状况下需要移动），代码、数据、状态的迁移，目的主机恢复Agent原状态并重启Agent。 （2）异构环境的适应性。 （3）与异构环境的关系：维持主机的策略和安全性（恶意Agent攻击主机），以及Agent的安全性（恶意主机攻击Agent）。 二、Agent的理论模型 1、模态逻辑（Modal Logic） 经典逻辑（命题逻辑和谓词逻辑）的断言类型是陈述句，即“什么是…”。 自然语言中表示事物的“势态”（例如必然、可能，应该、允许），人的“情态”（例如知道、认可、希望），以及过程的“变迁”（历史的、未来的），这些词称为模态词（Modalities）。 在模态逻辑中，引入两个模态词： ? “必然（necessarily）” ? “可能(possibly)” 模态词的语义： “? A”（必然A）与“A”相同？ “?┐A”（不可能A）与“┐A”相同？ 问题：A真但是未必A必然真 A假但是未必不可能A真 直觉语义： ?A（必然A）：无论在什么场合，均有事实A ?A（可能A）：对某些场合，有事实A 直觉语义下的演算： ?A→?┐A，必然A当且仅当不可能┐A ? A→?┐A，可能A当且仅当并非必然┐A ?A→A，必然A真则A真 A → ?A，A真蕴含可能A真 ? A→ ? A，必然A真蕴含可能A真 问题： ? A ∨?┐A，可能A或者可能┐A。 ? A 与?┐A能够同时成立，这与命题演算 不同，A 与┐A不能同时成立。因此，模态逻辑属于直觉主义逻辑。 直觉主义逻辑（intuitionistic logic）不接受“排中律”（排中律：对任一命题A，或者A真，或者A假，即A ∨ ┐A 等价T），其观点是：命题可以分为三种：真（A）、假（ ┐A ）、不假（ ┐ ┐ A ）。A真蕴涵A不假（A→┐┐A ），但其逆不成立（┐┐A →A不成立 对于模态词的直觉分析，在公式复杂时很难进行。例如，??A，?? A，?????A，直观理解较费劲。为此，必须清楚定义模态词的语义解释及模态公式的真值意义。 现代逻辑学创始人之一的莱布尼兹（Leibniz）首先用“可能世界”（possible worlds）来解释模态词。他认为： ?A真就是在一切可能世界中A真； ?