動態(tài)認(rèn)知邏輯發(fā)展初探.pdf

1、河南大學(xué)碩士學(xué)位論文動態(tài)認(rèn)知邏輯發(fā)展初探姓名：劉珂申請學(xué)位級別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：李振江20080501AbstractDynamicco印itiVeLogicaimsatpmVidingafonnal印proachfortheinfomationch趾geItisanonclaSsicaJlogicbe觚eenpllilosophylogicalldcalculationlogicTKsp印erisdiVidedintothr

2、eepartsPartI：Introduction，arou曲understalldingondyn撇icco蛐tiVelogicTheb戚ctheoryofdyn鋤iccogIlitiVelogic，focusont11eprocessofinfomationTheprocessofinfomationiscornpletedbyco弘itiVelogicDyn鋤iccogIlitiVelogicisthescientificproc

3、essofstudyingreaSoIlingandinfonnationchangeDyn鼬iccogIlitiVelogicexpressesaIldcharacterizes也echallgesoftheknowledgecausedbyextemalactionPartII：nlemarkofdynamicco印itiVeLogicPublica11nouIlcementlogicstarts、析ththisa11nouncem

4、ent，Ck瞰lcteriziI培theimpactofknowledgetocompletetheprocessingofactionItm2LinlyinspectshowtocornpletetlleconVerSionofstatictodynamicLater，m鋤ysystemsisestablishedt11roughaVarietyofexpansionbaSedonPALPanIII：WithdeepaⅥ，arenes

5、sontheco印itiVeLogic，multiagentcogIlitiVelogiccausesconcemInmultiagentsystem，theconc印tofpublicknowledgeisVe叫irnponamThemaineffects鋤dinteractionbe觚eentheagentsarebuiltonthefoundationofthepublicknowledgeDyn鋤iccogIlitiVeLogi

6、cwithPublicknowledgeimprovesincogllitiVeabili夠andcharacterizationoftheinteraCtionbe觚eentheagemsAtthesametime，thedif!ficultyofthecomplexit)，ofsystema11dthecompletenessproofwillincreause111erefore，howtouIlderstandpublickIl

7、owledgeindyn鋤iccognitiVeisahotissuehreausoningofmultiagentcognitiVelogic，AsaIlagent，heshouldnotonlyknowsthesituationoftheworld，butalsoknowstllereaSollinginVolVedinomeragentsheshouldchangesreasoIlingst印s、Ⅳimallotheragents