欢迎来到天天文库
浏览记录
ID:15698076
大小:1005.53 KB
页数:209页
时间:2018-08-04
《溯因逻辑科学哲学和人工智能》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、SeekingExplanations:AbductioninLogic,PhilosophyofScienceandArticalIntelligenceAtochaAliseda-LLeraSeekingExplanations:AbductioninLogic,PhilosophyofScienceandArticalIntelligenceILLCDissertationSeries1997-4instituteforlogic,languageandcomputationForfurtherinformationaboutILLC-
2、publications,pleasecontactInstituteforLogic,LanguageandComputationUniversiteitvanAmsterdamPlantageMuidergracht241018TVAmsterdamphone:+31-20-5256090fax:+31-20-5255101e-mail:illc@wins.uva.nlSEEKINGEXPLANATIONS:ABDUCTIONINLOGIC,PHILOSOPHYOFSCIENCEANDARTIFICIALINTELLIGENCEadisser
3、tationsubmittedtothedepartmentofphilosophyinterdepartmentalprograminphilosophyandsymbolicsystemsandthecommitteeongraduatestudiesofstanforduniversityinpartialfulfillmentoftherequirementsforthedegreeofdoctorofphilosophyByAtochaAliseda-LLeraAugust1997Promotor:Prof.dr.J.vanBenthe
4、mFaculteitWiskundeenInformaticaUniversiteitvanAmsterdamPlantageMuidergracht241018TVAmsterdamTheinvestigationsweresupportedbytheUniversidadNacionalAutonomadeMexico,InstitutodeInvestigacionesFilosocas.cCopyright1997byAtochaAliseda-LLeraISBN:90{74795{73{0ContentsAcknowledgem
5、entsix1WhatisAbduction?OverviewandProposalforInvestigation11.1WhatisAbduction?...........................11.2TheFoundingFather:C.S.Peirce....................101.3PhilosophyofScience...........................141.4ArticialIntelligence...........................181.5FurtherFie
6、ldsofApplication......................221.6ATaxonomyforAbduction.......................261.7ThesisAimandOverview........................322AbductionasLogicalInference352.1Introduction................................352.2DirectionsinReasoning:ForwardandBackward................
7、..........372.3FormatsofInference:PremisesandBackgroundTheory....................392.4InferentialStrength:AParameter....................422.5RequirementsforAbductiveInference..................452.6StylesofInferenceandStructuralRules.................502.7StructuralRulesForAbdu
8、ction.....................552.8FurtherLogicalIssues.................
此文档下载收益归作者所有