結合思維狀態(tài)的VSK-Agent形式化模型.pdf

1、密級編號YUNNANNoR艦ALUNIVERSITY碩士研究生學位論文論文題目：結合思維狀態(tài)的VSKAgent形式化模型學院i土篡執(zhí)科堂當信皇撞盔堂瞳一專業(yè)名稱——基型數堂——～研究方向——組合數堂一———一研究生姓名王送超一一學號020703導師姓名夏幼明職稱麴援二oo五年五月三十日AFormalmodelofVSKAgentsystemcombinedwinlmentalstatesAbstractWiththedevelopmen

2、tofthetechnologyofcomputernetworkanddistributedcomputation，theresearchoftheagenttechniquehasbecomeahotspotandallimportantdemaminAIandDMInthispaperbasedonVSKlogic，weintroducethreementalstates，beliefdesire，andintention，fur

3、thermore，presentaformalismofreasoningabouttheinformationpropertiesandthementalStatesofagent，VSKBDIlogic，wh話bisamulti—modallogicbasedOilpropositionlogic，Wedefinevisible，percept，knowledgeoperators婦describingwhatisobjective

4、坶trueoftheenvironmenttheinformationthatisvisible，orknowableabouttheenvironment，informationtheagentperceivesoftheenvironment。andfinallyinformationtheagentactuallyknowsabouttheenvironment，Atthesametime，threeoperators，belie

5、fdesire。andintentionaredefinedfordescribingagent’smental；therelationshipamongtheseoperatorsarediscussedindetail‘№esemanticsofthislogicaregivenintermsofageneralmodelofagentsystemcloselyrelatedtotheinterpretedsystemsofepis

6、temiclogicAfterintroducingthelogicandestablishingitsrelationshiptotheformalmodelofagentsystemweputforwardanaxiomatisafionofVSKBDIlogic，andsystematicallydiscussitsrationalityAtthesametime，weprovetheconsistencysoundnessand

7、completenessofthisaxiomatisationFinallyweillustratetheuseofthelogicthroughanexample，anddiscuss吐lefuturedirectionsTheformalmodelwepresentiscomputationalgrounded，thesemanticofwhichisintuitive，rationalandnatural，andsincethe