時態(tài)公開宣告邏輯初探.pdf

1、西南大學(xué)碩士學(xué)位論文時態(tài)公開宣告邏輯初探姓名：張麗申請學(xué)位級別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：唐曉嘉20090501兩南大學(xué)碩十學(xué)位論文Abs仃actAPreliminaryStudyonTemporalPublicAnnouncementLogicMajor：LogicAuthor：ZhangLiSupervisor：ProfessorXiaojiaTangAbstractIndescribingmutiagentintelligenti

2、nteraction，pubicannouncementlogic(PAL)concernshowagents’epistemicstateschangewhentrueinformatiomispubliclyannouncedEpistemictemporallogic(ETL)concernswhatinformationeventscantakeplaceinthecourseofagents’interactionInthis

3、thesis，alogicsystemwillbediscussedtemporalpubicannouncementlogic，whichCancapturebothtwoimportantingredientsandmergesthesemanticframeworkofpubicannouncementlogicandepistemictemporallogicPartone：Pubicannouncementlogic，thep

4、rimeexampleofdynamicepistemiclogic(DEL)，describeshowagents’epistemicstateschangewhentrueinformatiomispubliclyannouncedSequentiallyepistemictemporallogicdescribeshowknowledgeevolvesovertimeinsomeinformationalprocessandcan

5、straightforwardlycapturerelativecommunicationconstraintsinvarioussituationsParttwo：Firstlywein仃oducehowcailgenerateETL—modelsfromPALandsupportafewexamplesSecondlywediscusstherelationbetweenPALandETLNotallETLmodelsCanbege

6、neratedbyaPALprotoc01Infact，suchgeneratedETLmodelshaveanumbleofspecialpropertiesPartthree：Temporalpubicannouncementlogicwhichmergesthesemanticframeworkofpubicannouncementlogicandepistemictemporallogicandassignstoeachstat

7、einagivenepistemicmodelasetofsequencesofpubicannouncementsBut，TPALCan’treducetoPALSo，theproofofcompletenessisavariantofthestandardHenkinconstructionTherelationbetweenTPALandPALisnotimmediatelyPartfour：IcommentontheTPAL，a