信念修正邏輯初探.pdf

1、西南大學碩士學位論文信念修正邏輯初探姓名：蕭瑤申請學位級別：碩士專業(yè)：邏輯學指導教師：何向東20080401艏南人學碩十學位論文Abs仃actAPreliminaryStudyonLogicofBeHefReVisionMajor：LogicAuthor：XiaoYaoSupervisor：ProfessorHeXiang—dongAbStraCtTheclassicalsyStemofdoxaSticlo百c——SKD45，canmo

2、delagem’sbeliefandreasonmgonlyinsomestaticstatesInfact，afterreceiVinganewpieceofinfomlationtotIlebeliefset，theepistemicagentwillchaIlgeoldbeliefsetD)，11啪icepistemiclogic(DEL)，whichmergesdyllanlic10百candepistemiclogic，pro

3、Videsfo珊a1me鋤sofa11alysisofinfo徹atjonchangeInthismesis，alogicsystemwillbeproposed一一dyllallliclogicofbeliefreVision(DBR)，whichcanmodelbeliefchangePartone：AsaclaSsic“system—SKD45，itissuccess凡lt0expfessstfonglythepfopenieso

4、fbelie￡weakerknowledge；positiVeintrospection；negatiVepositiVein仃ospectionAtmesametime，it’sfalseto仃eatthechangeaIldintemctionofmultiagentSequentially，althoughbeliefreVisiontheoD，conceiVedbyCAlchourron，PGardenforsandDMacki

5、nson(AGM)仃catthechangesuccess如llyitisnotyetafomalsystemPan似o：Anordinalconditionalfunction(OCF)expressesar鋤kingofpropositions，鋤ditr印resentsagent’sreVisedbeliefaRerreceiVingapieceofinfo加ationwithfimmess僅0nmebaseofOCFtllisp

6、aperintroducesastaticlogicofbeliefreVision(SBR)，includiIlgsyntax，semanticsandproofsyStemFinallythelogicsystemisproVedcorrlpletePartthree：ARerextendingmeSBR，byintroducingtheexecutionoftheactionmodelin印istemicmodelasadynam

7、icoperatorintothe109icallanguage，tllisp印ersetsupad”anliclogicofbeliefreVision(DBR)niscanbeproVedthatnleDBRalsoisreducedtot11eSBR，soDBRsystemiscompletet00Partfour：IcommentonnleDBR，andgivesomeproblen璉forfhr廿lerrcsearchinnl