《1 引言》
1 引言
人工智能的开创约在20世纪50年代, 到现在已经历了50多年, 它强大的生命力、广阔的应用前景已充分地展现出来。人工智能的目的是用机器来模拟人脑的思维。在人脑的思维中不确定性思维占有绝大多数的比重, 随着人工智能的不断发展, 传统数学的确定性研究越来越不能适应。为了满足人类思维的模糊性、不精确性、不完整性、可变化性等, 一些基于集合论的新数学分支应运而生, 其中包括模糊数学、可拓学、粗糙集、Vague集、集对分析学、FHW (模糊灰色物元空间) 、FEEC (模糊可拓经济控制) 等等。每个分支都对应人思维的一种特性。在不断的研究中, 有人综合了各种集合论的观点, 进一步发现了其中的一些共同的性质, 并对各种集合论进行了高度的综合, 从而提出了一种全新的集合理论——统一集论
随着人工智能技术的不断发展又一新兴理论Agent理论逐步形成。Agent 来源于分布人工智能, 通常被认为是具有目标、行为和知识并在一定环境下自主运行的实体, 具有自主性、自学习、应激性和合作性等特点。单个Agent的能力是有限的, 它的大范围应用的关键在于MAS (multi-agent system) 有效合理的利用。MAS是由多个自主的Agent 基于一定协调机制构成的自组织系统, 可以利用有限的资源和知识, 通过自主Agent 之间的交互作用, 实现复杂的问题求解。
正在蓬勃发展的新经济对全球的影响将是全方位的, 电子商务就是这场经济浪潮的典型代表。电子商务正以前所未有的力量冲击着人们千百年来形成的商务观念与模式, 它直接作用于商务活动, 间接作用于社会经济的各个方面, 正在推动人类社会继农业革命、工业革命之后的第三次革命。电子商务在定义上大体可分为广义与狭义2个层次
电子商务之所以在今天的经济生活中占有举足轻重的地位。也正是由于它快速的信息流动方式、零距离的接触方式、全电子化的表单处理, 充分地适应了现代型经济的基本要求:快速、准确、信息化。因此, 电子商务才以势不可挡的势头, 抛开传统商务的模式, 成为现代企业的首选。谈到电子商务的成功不能不提到它对现代网络优势的合理利用, 它的一切优势可以说是来自于网络, 无论是internet还是intranet, 网络带给电子商务快速、准确、无纸化的工作方式。但是电子商务理论不应该满足于现在的成功, 现在的成功只相当于把现有商务模式原封不动的搬到网络上进行, 或是稍加改动, 在今天这样的国际经济环境下, 仅有这样是不能得到更大的成功。人工智能技术的高速发展使其已经进入生活中的各个方面。在这种潮流的推动下, 电子商务也势必朝着智能化的方向发展。并且电子商务有其自身不可比拟的优势, 那就是它与计算机和网络的高度结合性, 使Agent理论更容易被应用到其中去。笔者提出将电子商务智能化的一种设想:在智能化的电子商务中建立Agent虚拟协商平台。
《2 Agent、MAS与虚拟协商》
2 Agent、MAS与虚拟协商
Agent起源于分布式人工智能 (DAI) 领域, 随后引申到其他计算机技术研究中。英国的Wooldridge 和Jenning 在文献
MAS 的协调机制和其中Agent的自主性使得MAS 在描述复杂系统时具有独特的优势。MAS 具有以下特点:a. 分布性, MAS 不仅在结构上是分布的, 在逻辑上也是分布的, 其中的Agent 具有不完全的知识和分布的决策能力, 计算也是异步进行的;b. 开放性, Agent 无论从概念上还是从实现上都是一种封装模型, 其内部结构和算法可以由不同人在不同时间和地点采取不同方法加以实现;c. 适应性, 对于环境的变化和不确定性因素, Agent 可以通过在协调机制下交互和自学习适应新的条件, 保持系统的鲁棒性。
MAS系统由多个Agent组成, 要对众多Agent进行选择, 因为每个任务有其特殊的要求, 不能一概而论, 其中存在了相应的匹配问题。由于图论中匹配问题只是要求结果匹配的数量尽量多, 而对于匹配结果的质量没有更多的考虑, 因此, 贺仲雄引入了模糊集合理论, 并提出多维加权贴近度
《图1》
其中
基于Fuzzy的多维加权贴近度, 只能表示出各个特征的正方向的贴近程度, 对于反向的贴近程度, 也就是背离程度则没有考虑。因为凡对事物的认识都应该从正反两方面进行;一个Agent对一项任务的适应性存在着适应和不适应的方面, 另外一项任务对Agent也不仅有适应性的要求, 对它与任务的负面适应程度也相应地有一定要求。为此必须引入Vague集理论才能作进一步的讨论。
Vague集合与Fuzzy集合的定义极其相似, 它们同样都给予研究对象一个隶属函数来描述它与某一确定集合的隶属关系;所不同的是它弥补了传统Fuzzy集合的只能描述事物正隶属度的不足, 而是从正反 (或是真假) 隶属两方面来考虑。
在这里提出基于Vague的多维加权贴近度, 其形式为
《图2》
其中
设Vague集
其中 ( (α1, β1) , (α2, β2) , …, (αm, βm) ) , ( (μ1, θ1) , (μ2, θ2) , …, (μn, θn) ) , 分别是
《图3》
作为
在选择专家中, 对专家的取舍取决于专家质量的高低。专家的质量基本取决于5个方面的指标:a. 权威质量, 包括行政职位、职称、从事有关工作的时间、参加过的决策次数与决策级别等。b. 熟悉度, 根据要决策问题所涉及的专业或学科, 对每个专业或学科由专家选取若干测试题目, 参加决策的专家在自己专业部分回答全部测试题, 其回答的得分与从事该专业的时间加权求和可得熟悉度系数。c. 谨慎度, 设计若干方案, 这些方案隐含着测定回答者类型的信息, 如盲目冒险型、较盲目冒险型、较合理冒险型、合理型、保守型等。d.智力激发度, 智力激发度是对专家智商和想象力的评价, 也可以说是对思维能力的评价, 是这几种评价中最难的一个, 只能粗略的加以评定。设I1, I2, …, In为n道测试题;Pij为第i道智力测试题的j种答案;J1, J2, …, Jm为第m道联想题;Jmi为专家对m道联想题提出的联想方案, 依此进行测试。专家的智力激发度根据智力得分和 (I) 、按一定规则给专家对各联想题回答的总得分 (J) 、专家工作环境的分 (C) 、年龄分 (A) 、还可对专家最近的新成绩 (如发明, 获奖等) 给分 (K) , 通过加权计算得出智力激发度 (W*)
《图4》
其中ai为加权系数。
Agent的自主性使得其具有了描述宏观复杂大系统的独特优势。但同时在Agent之间又会有大量冲突存在。为此引入冲突消解的概念:冲突是指在多个相互关联的对象之间存在的一种不一致、不和谐或不稳定的对立状态。对象包括设计对象、设计意图、产品开发过程、产品开发人员、多学科小组和资源等多种具有一定信息结构, 以及相关属性的信息实体或功能实体。由于整个MAS系统由多个相对简单、功能单一的Agent组成, 而每个Agent设计所执行的任务是不同的, 他们各自有自己的分任务。从上面的定义来看, MAS系统是满足冲突概念的。
在冲突消解的过程中, 由于冲突产生的原因、冲突的种类、冲突的特点及冲突消解方法的复杂性与多样性, 再次需要引入一些特定功能的Agent成员, 例如, 冲突检测Agent负责冲突的捕获、报告、登记等, 它及时地向冲突建模Agent提供冲突信息, 由冲突建模Agent访问自身数据库, 对现有冲突信息进行分析, 其分析的关键在于它应分析出本次冲突的特征信息:分类、起因、冲突的关键点、冲突双方性质等。可同冲突消解Agent进行通信, 冲突消解方法可用RBR 方法采用基于实例的冲突消解方法;或者用约束松弛:分析约束违反情况, 用松约束来代替紧约束, 重新进行设计求解。
与原有的商务模式相比, 电子商务由于充分地利用现在遍布全球的Internet的优势, 使企业与企业、用户与企业之间的距离变为零。这种零距离的交易给企业带来了无限的商机。同时还利用电子商务与计算机的紧密关系, 把其与计算机科学充分结合。电子商务的成功与否, 计算机软件在其中起的作用是极其重要的。网络实现了人与人之间的零距离接触, 使得协商、谈判等活动转移到网上来进行。在以前, 协商是一件非常消耗人力、物力以及时间的事情。应将协商学应用于电子商务, 使协商结果得以最大优化、协商过程大大缩短。由于有了这样的想法, 虚拟协商理论应运而生了。
《3 人工智能基础的进展——统一集论 (AST) 》
3 人工智能基础的进展——统一集论 (AST)
人工智能发展到现在已经产生了很多不同的分支, 其中有很大一部分是由集合论推广衍生而成的, 他们分别可以用来表达人们大脑中不同的思维模式。这些理论的大量产生可以说是一种必然, 他们都是在深刻研究了人脑的某一种思维模式后提出来的, 不难发现其中存在着一些共同的性质。人脑的认识是建立在对某一个或对某几个事务隶属的认识基础上。这些理论在深层中存在着一些必然的联系, 有必要做一些工作将这些联系挖掘出来。张江等人在高度综合这些理论的基础上提出了统一集论的初步设想。
统一集论集合了经典集合、模糊集合、可拓集、粗糙集、Vague集、集对分析、FHW (模糊灰色物元) 、FEEC (模糊可拓经济控制) 等多种理论的数学模型。可用于模式识别、聚类分析、逻辑推理、智能决策、自动建模的等多种人工智能领域。统一集可表示为
《图5》
其中A, B为两个非空经典集合, 分别构成统一集的2个基本讨论集合, A为原始集合, B为映射集, F为从A到B的一个映射关系, J为界壳 (约束) 。
统一集也是集合的一种, 统一集之间的运算规则满足现有所有集合运算法则;如将J考虑成为对映射函数F的约束, 则可定义统一集的交运算
《图6》
同时还应满足最大原则。在满足上述条件下的最大集合定义为2统一集的交。定义了交运算, 就可以在协商问题中将谈判双方表示为统一集, 而后求他们的交运算, 找到双方的一些共同利益、或习惯、爱好等, 为双方的协商提供一个比较良好的基础, 有利于协商的成功。
统一集本身包容现有所有集合论的性质, 决定了它可以在机器自动建模领域得到广泛的应用。在应用统一集论建模以前, 应保证已收集了足够的基本统一集模型, 这样建模系统可以遵循CD表学习法、或是遗传算法进行机器学习, 自动建模。应用统一集自动建模的优势在于它并不限于建立某一种集合的形式, 机器可以根据实际的情况自动学习, 决定采用何种的形式集合A, 以及采用何种形式的映射F;同时, 统一集论的提出还为创立新的机器学习方法提供一个更为广阔的途径。这一建模理论可以广泛应用于Agent间的冲突建模、虚拟协商中谈判双方的建模以及基本指标的量化等。
《4 商务中智能协商决策支持系统》
4 商务中智能协商决策支持系统
《4.1协商理论简介》
4.1协商理论简介
研究协商问题有2种基本方法:公理化方法与策略方法。由于协商的协议达成有赖于各个协商实体之间的相互妥协与合作, 局中人在妥协与合作中不想失掉自己的利益, 就必须了解其他人的情况。在很多情况下这种认识不得不变化为估计对方的信息。因为, 在协商中协商的双方一般都存在着一些不想让对方得知的信息, 如一些商业机密, 另外一些让对方得知的信息也可能是不真实的。然而功利化的协商方法是以完全的信息为前提的, 因此常常假设局中人的互相了解是完全的, 以至于任何对于对手的过低估计、或是错误估计都将是致命的, 将使协商的结果不可以被接受。这种要求在现实的生活中是苛刻的, 虽然Hurwicz, Myerso等人的研究已经找到了对不完全信息的解决方法, 但不完全信息在策略协商的研究中是更为常见的情况。在此种情况下策略方法更为占优。
策略方法是研究协商问题讨价还价过程的方法, 它把协商问题描述成为多对策过程。Zeathen提出了一个完全由效用函数和冲突点描述的量, 反映局中人在坚持自己不让步可以接受对手不让步的最大概率。当他估计对手在下一阶段不让步的概率大于这个量, 他就必须让步, 这称为风险极限。并用这个量给出了协商者在讨价还价过程中的让步准则, 又对多人协商问题引入了多边风险极限来讨论。并由Harsanyi证明了Zeuthin原理与Nash理论的等价性。
策略方法经常把协商过程描述成为以Nash平衡理性假定为对策规则的非合作对策的多步移动。因为公理化方法不能通过协商来得到Nash协商解, 又提出了非合作对策来补偿公理化方法的这种不足。Nash描述为局中人在其策略空间中宣布一个要求或报价u
《4.2电子商务中的协商学》
4.2电子商务中的协商学
电子商务发展到今天, 人们对它的探索已经不仅局限于网络所带来的方便快捷与无纸化交易了。对电子商务的智能化开发已经成为这种商务形式生存下去的必经之路。网络实现了人与人之间的零距离接触, 使得协商、谈判等活动转移到网上来进行成为可能。在网下, 协商是一件非常消耗人力、物力以及时间的事情。笔者主要论述的是如何将协商学应用于电子商务, 使协商结果得以最大优化, 协商过程大大缩短。
人们对于协商的智能化探索在10多年来已经取得了一定成绩。贺仲雄等所提出的信息协商决策支持系统 (IBDn)
《5 智能协商决策支持系统框图》
5 智能协商决策支持系统框图
《5.1MAS协商系统》
5.1MAS协商系统
MAS系统由众多具有独特功能的Agent组成, 其中包括信息收集Agent、信息处理Agent、人物及协商指标建模Agent、冲突检测Agent、冲突建模Agent、冲突消解Agent以及负责各Agent之间通讯与协作的Agent。信息收集Agent、信息处理Agent组成该系统的信息功能模块, 其主要功能是在网络上不断收集信息, 滤去无用冗余的信息, 对所收集的信息进行处理使之成为系统可以应用的数据。冲突检测Agent、冲突建模Agent、冲突消解Agent主要负责MAS内部各Agent之间的冲突消解, 只有MAS内部各部分协同合作才能保证高效优质的完成工作。在建模的过程中应用统一集论使得这一过程的智能化程度、自动化程度大大提高。各Agent之间的通信采用专门负责通信的Agent来完成。由于B2I-DSS包含众多Agent, 如果各Agent之间采取直接通信的方式, 可以保持系统的灵活性, 但通信代价过高。而采用间接通信方式, 可以大大减少通信代价, 各Agent的灵活性与自主性虽受到一定限制, 但在中小型系统中表现并不明显, 可以被接受。这些组件构成了一个完整的MAS虚拟协商系统。
电子商务中的智能协商决策支持系统 (B2I-DSS) 程序流程图见图1。
《5.2界壳论及可拓学应用》
5.2界壳论及可拓学应用
用界壳论
《5.3Fuzzy协商策略》
5.3Fuzzy协商策略
在MAS协商系统中引入Fuzzy方法。在谈判过程中, 谈判双方都将对有关的技术或物理指标提出一系列的条件或要求。为了便于计算机处理, 需要将所提指标进行量化, 用模糊方法将量化结果表示成下面2种情况, 如图2所示。
在对指标进行量化后, 就可以按照图3
《图9》
《5.4决策系统》
5.4决策系统
最后, 如果匹配结果不能令人满意, 可用可拓“3-4-4” 法
《6 结语》
6 结语
随着电子商务的蓬勃发展, 其智能化程度也必将得到不断提高。笔者尝试将在现实生活中大量消耗人力、物力以及时间的谈判活动引入到电子商务中。应用人工智能的最新成果Agent及MAS理论, 使其过程智能化, 自动化程度大大提高。统一集论的引入, 使此系统发生了革命性的变化, 由于统一集论是对现在所有集合论的一个高度总结与综合, 使该系统具有高智能性、自学习性、灵活性等众多优点。下一步将对该系统中一些细节问题进行讨论。