基于描述逻辑的Agent组织.pdf

计算机研究与发展 IsSN1000一1239／CN11一1777／TP of ReSearchand JoumalComputer Development 基于描述逻辑的Agent组织 张新良 石纯一 (清华大学计算机科学与技术系 北京 100084) (zhangxinlian900@mails．tsinghua．edu．cn) andShi ZhangXinliang Chunyi (眈∞r￡me规￡盯CDm加￡Pri跏卵口咒d‰^，zozo到，ni扎幽“以Lki醒缈，＆巧i挖g100084) Abstract isthe of basedon Buttheexistent Description objects． logic expressionknowledge description doesn’tconcernaboutthe of itisnotsuitedfortheI、／LAS model．To logic goalorganization，so organization solVethis amodelofMAS is whichconcernsthe between first， problem， organizationgiven relationship and andthe of Basedonthismodel，a frameworkof organizationsuborganization，goalorganization． is andtheconclusionthatALCAisdeterministicis andthe logic——ALCAgiven， desc“ption proved， ofdeterministicis is to the ofALCA． algorithm giVen．Finany，anexamplegivenexplainexpressiveness words of Key descriptionlogic；AL(二A；organizationagent 摘要描述逻辑是基于对象的知识表示形式．已有的描述逻辑没有考虑组织目标，不适合描述多 是可判定的，给出一个ALCA的可满足性判定算法．最后通过一个例子说明ALCA的描述性． 关键词描述逻辑；ALCA；Agent组织结构 中图法分类号TP301 1 引 言 内判定描述逻辑ALC的可满足性问题．文献[4]中 Nutt主要研究方向为人工智能应用基础．． 描述逻辑(descriptionlo西c，DL)是基于对象的 知识表示形式，体现了语义网、框架系统和KL—ONE 的主要思想，其特点是有比较好的语义定义和能够 提供可判定的推理服务．描述逻辑的研究主要集中 于构造算子、表示和推理等基本问题，其中可满足性 问题是描述逻辑的核心，其他如包含检测、一致性问 题等都可以转化成可满足性问题．文献[1]中在一般 本文基于上述工作，提出了一种Agent组织结 描述逻辑的基础上增加了聚合算子，可比较容易的处 构模型，该模型结合了Agent组织、子组织目标，建 理可满足性问题、推理问题等．文献[2，3]中建立