资源描述：
《a mathematical investigation of reasoning about actions》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、CopyrightbyG.NeelakantanKartha1995AMathematicalInvestigationofReasoningAboutActionsbyG.NeelakantanKartha,B.E.,M.S.DissertationPresentedtotheFacultyoftheGraduateSchoolofTheUniversityofTexasatAustininPartialFul®llmentoftheRequirementsfortheDegreeofDoctorofPhilos
2、ophyTheUniversityofTexasatAustinMay1995AMathematicalInvestigationofReasoningAboutActionsApprovedbyDissertationCommittee:TomyteachersAcknowledgmentsThisdissertationhasbeensigni®cantlyin¯uencedbymydoctoraladvisorVladimirLifs-chitz.Hisrareabilitytopatientlylisten
3、tohalf-bakedideasandaskkeyquestionshas,timeandagain,helpedmetobetterfocusmyresearchandmoveforwardwhenstuck.Hewasarichsourceofideasandpointerstorelevantliterature,andwasalwaysaccessible.Hepa-tientlyreadthroughseveraldraftsofeverythingIwroteandalwaysgavemesugges
4、tionsthatledtosigni®cantimprovementsinclarityandrigor.Iamdeeplygratefultohimforallthis.Iamthankfultotheothermembersofmydoctoralcommittee:WoodrowBledsoe,RobertBoyer,AllenEmersonandRaymondReiter.Eachoneofthemhasbeenverygener-ouswithhistimeandhastakenakeeninteres
5、tinmywork.IowespecialthankstoEdsgerDijkstraandtheAustinTuesdayAfternoonClubfromwhomIlearnedalotaboutwritingpapersandpresentingproofs.DuringmystayattheUniversityofTexas,thecolleguefromwhomIlearnedthemostviainnumerablediscussionsandargumentsisNormanMccain.Thanks
6、Norm!Ihavealsobene®tedfromdiscussionswithPaoloBouquet,EnricoGiunchigliaandHudsonTurner.Myof®ce-matesTimCollins,RichMallory,JeffRickelandSiddarthSubramanianwereextraordinarilypatientwithmyever-growingdeskandwerealwayswillingtoshareajoke.Ihavehaddiscussionsonalm
7、ostalltopicsunderthesunwithDineshDasandThomasWoo.MyotherfriendsinthecomputersciencedepartmentincludingGuohuiFeng,BertKay,SharadMehrotra,KedarNamjoshi,SowmyaRamachandran,RajeevRastogi,RobertSchragandJosephSiroshhavehelpedmeinmanydifferentways.Iamthankfultoallof
8、themforsharingthejoysandpainsofgraduateschool.MyauntanduncleinPennsylvania,ªLachiºandChittappan,werealwaysjustaphonecallawayduringthecourseofmystudies.Theymadetheirhomemyªhomeawayf
