計(jì)算語言學(xué)特征結(jié)構(gòu)與合一運(yùn)算常寶寶

上下文無關(guān)文法為句法知識(shí)的形式化提供了一個(gè)有效然而，利用上下文無關(guān)文法描寫自然語言，不但可以generation)AdogbarkintheyardThosedogbarkintheyardHejustvanishedanapplethosedogs(√)thedog(√)thedogs(×)thosedogsbarkintheyard.(√)adogbarkintheyard.(×)adogbarksintheyard.(√)adogbarkintheyard.動(dòng)詞可以根據(jù)其所要求的搭配成分形成不同的框架，disappear==>servelunch==>VerbsentJamesaletter==>VerbNPNPsentalettertoJames==>VerbNPPPthinkthatyouwillcome==>VerbSfintelluswhereweare==>VerbNPSwh…不同的動(dòng)詞可能有不同的框架，一個(gè)動(dòng)詞也可以有不Hevanishedanapple.可以采用對(duì)句法范疇進(jìn)行分類的方式解決過度生成問S→NP_plVP_plNP_sg→Det_sgNoun_sgNP_pl→Det_plNoun_plS→NP_sg_3rdS→NP_sg_non3rd句法范疇的數(shù)量迅速增加，導(dǎo)致重寫規(guī)則的數(shù)量爆炸在上下文無關(guān)文法中，只使用了單一的語法范疇標(biāo)記，由于沒有細(xì)致的語言學(xué)特征，成分之間是否可以組合解決的辦法是引入更多的語言特征，并允許在成分和S→NPOnlyifthenumberoftheNPisequaltothenumberof語言中成分和成分組合形成一個(gè)更大成分時(shí)，如何確語言中的很多結(jié)構(gòu)屬于一種向心結(jié)構(gòu)，組成組合成分NP→DetNom(Nom是NP的中心成分，NP的特征繼承自Nom)VP→VerbNP(Verb是VP的中心成分，VP的特征繼承自Verb)VP→VP1PP(VP1是VP的中心成分，VP的特征繼承自VP1)servesSGserveslunchSGserveslunchinthe SG將上下文無關(guān)文法中的簡單句法范疇擴(kuò)展為帶若干特 特征結(jié)構(gòu)也稱復(fù)雜特征集(complexfeaturesset)或?qū)傩灾稻仃?attribute-valuematrix)為了描述成分的范疇屬性、人稱屬性以及單復(fù)數(shù)屬性， 特征路徑(featurepath)：特征結(jié)構(gòu)中，按照特征-值關(guān)系，形成的形如<Feature1Feature2…Featurem>的特征序列。<AGREEMENT<AGREEMENT特征結(jié)構(gòu)也可以表示特征結(jié)構(gòu)的圖形表示在一個(gè)特征結(jié)構(gòu)中，不同的特征可以共享同樣的特征在重入式特征結(jié)構(gòu)中，共享特征值用數(shù)字索引標(biāo)示。在下列特征結(jié)構(gòu)中，特征<HEADAGREEMENT>以及 1 1

1 1

NN3 BUEMR

3特征結(jié)構(gòu)的相容性(compatibility)(2)若f的值是簡單的原子值，則valueF1(f)=valueF2(f)合一運(yùn)算 SG

SG SG

SG SG

3 1 11 1

=

1 11 1

1111 =

11

1 1 1 1 1 1

任何句法成分均可被視作一個(gè)帶有特征結(jié)構(gòu)描述的語兩個(gè)較小的成分是否可以組合成較大的成分，取決于較大成分的特征結(jié)構(gòu)描述可通過其組成成分的特征結(jié)在擴(kuò)充的上下文無關(guān)文法中，重寫規(guī)則被擴(kuò)展成如下0→β1…<βifeaturepath>=atomic<βifeaturepath>=<βkfeaturepath<βifeaturepath表示成分βi若約束集中的約束未能滿足，則表示重寫規(guī)則左面的S→NP<NPAGREEMENT>=<VPS→AuxNP<AuxAGREEMENT>=<NPNP→Det<DetAGREEMENT>=<Nominal<NPAGREEMENT>=<NominalVP→Verb<VPAGREEMENT>=<VerbAux→<AuxAGREEMENTNUMBER>=<AuxAGREEMENTPERSON>=Aux→<AuxAGREEMENTNUMBER>=<AuxAGREEMENTPERSON>=Det→<DetAGREEMENTNUMBER>=Det→<DetAGREEMENTNUMBER>=Noun→<NounAGREEMENTNUMBER>=Noun→<NounAGREEMENTNUMBER>=Verb→<VerbAGREEMENTNUMBER>=Verb→<VerbAGREEMENTNUMBER>=<VerbAGREEMENTPERSON>=ThisflightservesDoesthisflightserveDotheseflightsserveThisflightservebreakfastDothisflightservebreakfastDoestheseflightsservebreakfastVP→Verb<VPAGREEMENT>=<VerbNP→Det<DetAGREEMENT>=<Nominal<NPAGREEMENT>=<NominalNominal→<NominalAGREEMENT>=<NounVP→Verb<VPHEAD>=<VerbNP→Det<DetHEADAGREEMENT>=<NominalHEAD<NPHEAD>=<NominalNominal→<NominalHEAD>=<NounNoun→<NounHEADAGREEMENTNUMBER>=引入次范疇化特征Verb→

disappearanapple(×)serveslunch(√)<VerbHEADAGREEMENTNUMBER>=<VerbHEADSUBCATFIRST>=Verb→<VerbHEADAGREEMENTNUMBER>=<VerbHEADSUBCATFIRSTCAT>=<VerbHEADSUBCATSECOND>=Verb→<VerbHEADAGREEMENTNUMBER>=<VerbHEADSUBCATFIRSTCAT>=<VerbHEADSUBCATSECONDCAT>=<VerbHEADSUBCATTHIRD>=VP→Verb<VPHEAD>=<Verb<VPHEADSUBCATFIRSTCAT>=<NP<VPHEADSUBCATSECOND>=合一實(shí)際上是遞歸的圖匹配算法ifpointernullthencontentifpointernullthenpo