The Syntax-Semantics Interface Theory and Implemen

TheSyntax-SemanticsInterface:TheoryandImplementationAshAsudeh:˜asudeh/DickCrouch::’02,M-F1:30-2:30fication,quantification,andellipsis.ThetheoryintroducedisGlueSemantics(GLUE),whichuseslinearlogictoperformsemanticcompositionthroughdeductiononlogicalpremisesobtainedfromsyntacticanalysis.ThesyntactictheoryweassumeisLexicalFunctionalGrammar(LFG),althoughtherewillbesomediscussionofhowGLUEcanbeintegratedintoothersyntacticframeworks.NopriorknowledgeofGLUEorLFGisassumed:thefirstportionoftheclassintroducesGLUEandLFG,motivatesGLUEasatheoryofthesyntax-semanticsinterface,andcomparesthistheorytoothercurrenttheories.Prerequisites:Introductorysyntaxandsemantics1TimetableMonday,24JuneGeneralintroduction;introductiontolinearlogic/prooftheoryRecommendedreadings:Dalrympleetal.(1995),CrouchandvanGenabith(2000)Tuesday,25JuneIntroductiontoLFG,GLUE;somesimplesentences;modificationRecommendedreadings:Wescoat(1989),Dalrymple(2001,Chapters2,9,10)Wednesday,26JuneQuantification,ellipsisRecommendedreadings:Dalrymple(2001,Chapter9),AsudehandCrouch(2002a)Thursday,27JuneIssuesinresourcemanagementRecommendedreadings:portionsofAsudeh(inpreparation)Friday,28JuneGLUEinotherframeworksRecommendedreadings:AsudehandCrouch(2002c)2ReadingsBesidesthereadingslistedabove,werecommendthefollowingpapersforpeopleinterestedinlearningmoreaboutGLUE.Introductoryandoverviewmaterial:Dalrympleetal.(1993),Dalrympleetal.(1995),Dalrympleetal.(1999),Dalrymple(2001)Formalandcomputationalissues:Dalrympleetal.(1997a),GuptaandLamping(1998),CrouchandvanGen-abith(2000)Quantification:Dalrympleetal.(1997b)Ellipsis:Crouch(1999)Anaphora:Dalrympleetal.(1997b),CrouchandvanGenabith(1996),Dalrymple(2001,Chapter11)Resourcemanagement:Kehleretal.(1995),Asudeh(2000),Kuhn(2001),Asudeh(2002),Asudeh(inprepara-tion)GLUEinsyntacticframeworksotherthanLFG:AsudehandCrouch(2002c)(HPSG),FrankandvanGenabith(2001)(LexicalizedTreeAdjoiningGrammar),AsudehandCrouch(2001)(CategorialGrammar,context-freegrammars),Hepple(1999)(D-TreeGrammars)1Underspecification:CrouchandvanGenabith(1995),vanGenabithandCrouch(1996a),CrouchandvanGen-abith(1996),vanGenabithetal.(2001),CrouchandvanGenabith(1999),vanGenabithandCrouch(1999a)Coordination:Kehleretal.(1995),Dalrymple(2001,Chapter13),AsudehandCrouch(2002b)Phrasestructurediscontinuity:Kuhn(2001)Negativepolarity:Fry(1997),Fry(1999a)Translation:vanGenabithetal.(2001),Crouchetal.(2001)GLUEandsemantictheories:–Eventsemantics:Fry(1999b)–(Underspecified)DiscourseRepresentationTheory:vanGenabithandCrouch(1996b),vanGenabithandCrouch(1997b),CrouchandvanGenabith(1995),vanGenabithandCrouch(1999a)–Dynamicsemantics:vanGenabithandCrouch(1997a),CrouchandvanGenabith(1996),vanGenabithandCrouch(1999b),vanGenabithandCrouch(1999a)CrouchandvanGenabith(1999),Dalrymple(2001,Chapter11)ReferencesAsudeh,Ash.2000.Functionalidentityandresourcesensitivityincontrol.InMiriamButtandTracyHollowayKing(editors),On-lineProceedingsoftheLFG2000Conference.URL(editors),Theconstructionofmeaning.Stanford,CA:CSLIPublications.Asudeh,Ash.inpreparation.ResumptionasResourceManagement.Ph.D.thesis,StanfordUniversity.Asudeh,AshandRichardCrouch.2001.Gluesemantics:Ageneraltheoryofmeaningcomposition.TalkgivenatStanfordSemanticsFest2;handoutavailableat˜asudeh/.Asudeh,AshandRichardCrouch.2002a.Derivationalparallelismandellipsisparallelism.InProceedingsofthe21stWestCoastConferenceonFormalLinguistics.Medford,MA:CascadillaPress.Toappear.Asudeh,AshandRichardCrouch.2002b.Gluesemanticsforcoordination:ReconcilingdiscoursecohesionandtheElementConstraintthroughproofparallelism.PresentedattheThirdSemanticsFest,StanfordUniversity;handoutavailableat˜asudeh/.Asudeh,AshandRichardCrouch.2002c.GluesemanticsforHPSG.InFrankvanEynde,LarsHellan,andDorotheeBeermann(editors),On-lineProceedingsoftheHPSG’01Conference.URL(editors),Fragments:StudiesinEllipsisandGapping.Oxford:OxfordUniversityPress.Crouch,Richard,AnetteFrank,andJosefvanGenabith.2001.LinearLogicbasedtransferandstructuralmisalign-ment.InProceedingsoftheInternationalWorkshoponComputationalSemantics(IWCS-4).Tilburg.Crouch,RichardandJosefvanGenabith.1995.F-structure:AglueforQLFandUDRT?InFraCaSDeliverableD15,pp.217–254.FraCaS.Crouch,RichardandJosefvanGenabith.1996.Contextchangeandunderspecificationingluelanguageseman-tics.InMiriamButtandTracyHollowayKing(editors),On-lineProceedingsoftheLFG96Conference.URLhttp: