隐式愿望和其形式化.pdfVIP

1000．9825／2005／16(05)0771 ~2005JournalofSoftware 软 件 学 报 Vo1．16，No．5 隐式愿望及其形式化 周熠，陈小平 (中国科学技术大学 计算机科学与技术系，安徽 合肥 230027) ImplicitDesireandItsFormalization ZHOUYi， CHENXiao-Ping (DepartmentofComputerScienceandTechnology，UniversityofScienceandTechnologyofChina，Hefei230027，China) +Correspondingauthor：Phn：+86—551-3606724，E—mail：zyz@mail．ustc．edu．ca，http：／／ai．ustc．edu．ca Received2003-·12-·30；Accepted2004-·11-·03 ZhouY，ChenXP．Implicitdesireanditsformalization．JournalofSoftware，2005，16(5)：771-778．DOI 10．1360j／OS160771 Abstract： Thestudyof ‘Im‘plicitDesire”isessentialtoagenttheory．Thispaperfirstanalyzesinsufficiencyand inadequacyoftheexistinghteoriesofimplicitdesire．Thenlogicalsemanticsisemployedtodefineanewkindof implicitdesire--pro-desireconsequence，toinvestigateitsmainproperties，tocompraeitwithhterelevantwork， andhterebytoragueitsrationality suchasitsaccordancewith intuitionsnadabilityto improvetheautonomy intelligent-agents，etc． Keywords： intelligentAgent；implicitdesire；formalization；BDImodel；non-standradlogic 摘 要： “隐式愿望”的刻画是 Agent理论研究中的一个重要课题．首先分析现有工作存在的问题，然后用逻辑 语义学方法严格定义一种新的隐式愿望一--pm-愿望后承，研究其主要性质并与相关工作进行比较，进而论证其 合理性，包括符合直觉、有利于提高智能主体的自主性等等． 关键词： 智能主体；隐式愿望；形式4~；BDI模型；非标准逻辑 中图法分类号：TPl8 文献标识码：A 关于理性主体(rationalAgents)的研究是近年来人工智能领域的核心问题之一I1-7]．愿望(desire)表达了主体 的一种倾向性心态，是一个理性主体的基本心理状态之一 】．在人工智能的规划(AIplaI1ning)领域 】，愿望表示主 体的 目标状态，规划的目的是找出从初始条件达到目标状态的行动序列以实现主体的愿望．与以往面向任务 (task—oriented)的主体相比，面向愿望(goal—oriented)的主体更能适应动态不可预测环境． 在Agent理论的BDI模型2【_6tm】中，主体的心理状态(mentalstates)被区分为3种类型：“信念(belief)”、“愿 望(desire)”和 “意图(intention)”，其中后两种又可以统称为倾向性心态(motivationalattitude)．BDI建模方法通过 研究这些状态本身的性质和它们之间的交互作用来把握主体的智能行为．其中，愿望用于刻画传统 AI所称的 “目标”，但范围更广，比如可以是非强制性的目标．在基于 BDI模型的规划中，愿望被作为行动选择的基本条件： ·SupposedbyhteNationalNaturalScienceFoundationofChinaunderGrantNo国家自然科学基金) 作者简介：周熠(1981一)，男，湖南湘乡人，博士生，主要研究领域为人工智能，多主体系统：陈小平(1955一)，男，博士，教授，博士生 导师，主要研究领域为人工智能，多主体系统． 772 Journ