ACAAA人工智能的研究已经40多年,回顾一下已有的AI方法和技术,只能处理那些较成型的问题,如利用那些成功的经验知识进行求解的模式。对现实环境的变化,没有现成方法可用时,专家系统将无能为力了,靠无限加大知识库的CYC计划也只在探索阶段。有必要引入新的方法,以促进AI的发展。
Minsky在1986年出版的思维的社会中提出了自动化办公,认为社会中的某些个体经过协商可求得问题的解,这些个体就是自动化办公。还认为自动化办公是具有技能的个体,自动化办公应具有社会交互性和智能性。
Hewitt认为:定义自动化办公与定义什么是智能一样的困难。Wooldridge和.Jennings认为自动化办公应具有自主性、社会交互性、反应能力和预动能力。
Rusel1认为自动化办公能通过感知环境,并做出动作。
自动化办公模型最初是作为一种分布式智能的计算模型被提出的。
3.自动化办公研究方法 对于自动化办公理性的研究有基于逻辑和基于对策论的两种不同的方法。在哲学上,认为合乎逻辑的是理性的,为此提出了各种逻辑体系,定义了公理系统和推理规则,来证明一些特定的命题是否成立;认为一个合理的行为可以基于当前的信念合乎逻辑地推导出来,这就是逻辑理性。目前对于思维状态模型的研究大都属于这一流派。另一种方法是采用对策理论和决策理论。其信念模型是描述如果采用一个行动将会发生什么,为每个后果都赋予概率。愿望模型是用实数表示那些可能状态的效用,一个合理的行动是使期望效用最优化的行动,这需要依据信念和愿望通过概率计算得到,这就是效用理性。从概念的角度来看,逻辑方法实现了理性的推理,决策理论方法通过最优化主观效用而实现了理性的决策。从技术角度看,使用符号推理的逻辑理性无法使效用最优化,而使用数值分析的决策论理性也忽视了推理环节。对于一个处于动态环境中资源有限的自动化办公来说,既需要对世界进行推理也需要做出获得最大收益的合理决策。就自动化办公理论整体来看,需要融合量各流派的研究成果。
逻辑学方法 对自动化办公思维状态的直观描述:
信念描述了自动化办公对当前世界状况以及为达到某种效果可能采取的行为路线的估计,属于思维状态的认知方面,或者说是自动化办公所掌握的信息。
信念一般采用可能世界语义来描述,每一个情境对应一个可能世界的集合,表示自动化办公认为它可能处于的世界。
愿望描述了自动化办公对未来世界状况以及可能采取的行动路线的喜好,属于思维状态的感情方面。愿望的一个重要特性是自动化办公可以拥有互不相容的愿望,而且自动化办公也不必相信它的愿望是可实现的,允许①和一中同时成为自动化办公的愿望。
目标是自动化办公从愿望中选择的子集,自动化办公可能要加以追求的。目标是自动化办公当前拥有的选择,然而,自动化办公还没有采取具体行动的承诺。一般来说需要自动化办公相信它的目标是可实现的。
意图由于自动化办公资源有限,它不能一次去追求所有的目标,即使这些目标是相容的。所以需要自动化办公再选择某个目标(或目标集)来做出追求的承诺,这个过程形成意图。自动化办公的当前意图(或意图结构)就是被选的目标集和它们的处理状态,意图属于思维状态的意向方面,作用是引导并监督自动化办公的动作。
承诺表示从目标到意图的转换,承诺还决定了自动化办公对于所追求的意图的坚持程度并控制对意图的重新考虑。
规划在意图系统的实现中会起到重要作用。Bratman认为当自动化办公对某个目标做出追求的承诺后,意图就可被视为行动的部分规划。所以通常可以把意图按特定结构组合为规划。
信念和意图的关系:
意图-信念一致性一个自动化办公应当相信它的意图是可能的,不相信它不会达到目的。在正确的条件下相信它会达到目的。
意图-信念不完全性一个自动化办公有意图达到某种状况,但它不是必须相信那状况最终一定会实现,也即自动化办公对其意图持不完全的信念是理智的。
信息发布:广州名易软件有限公司 http://www.myidp.net