Абстракттуу Категориялык Грамматика (Abstract Categorial Grammar, ACG) — туунду түзүмдөрдү типтештирилген лямбда-эсеп аркылуу башка синтаксистик же семантикалык өкүлчүлүктөргө гомоморфтук түрдө дал келтире алган тип-теориялык грамматикалык алкак. Aleksandre Maskharashvili, Symon Jory Stevens-Guille жана Elena Vaikšnoraitė бул изилдөөдө ACGни Дарак-Кошуу Грамматикасына (Tree-Adjoining Grammar, TAG) негизделген синтаксис менен Neo-Davidsonдук терс-окуя семантикасынын ортосунда толук композициялык интерфейс түзүү үчүн колдонушат. Изилдөө эксперименттик же колдонуучу маалыматтарын өндүрбөйт; грамматикалар, тип системалары, лямбда-термдер жана жогорку тартиптеги логикалык семантика боюнча формалдуу түзүм иштеп чыгат.

Негизги маселе — терсдөө менен квантификациянын камтуу чөйрөлөрүнүн өз ара аракеттенүүсү. Стандарттуу event-semantics ыкмаларында “Everybody does not smile” же “A boy does not smile” сыяктуу сүйлөмдөр бир нече чечмелөөгө ээ болушу мүмкүн. Бир окууда квантификатор терсөөдөн кеңири камтуу алса, башка окууда терсдөө квантификатордун баарын камтыйт. Мурунку TAG жана Montague-стилдеги ыкмалар бул окуулардын баарын бир эле композициялык архитектурада өндүрүүдө кыйналышат.

Макала адегенде TAG туундуларын терс-окуя семантикасына түздөн-түз дал келтирген ACG түзөт. Бул алгачкы архитектура туура үстүңкү-камтуу окууларын, ылайыктуу ат атоочтук топ типтерин, окуя өзгөрмөлөрүн жана этиштердеги тематикалык ролдорду сактайт; control, raising жана report этиштериндеги argument-sharing түзүмдөрүн да моделдей алат. Бирок этиштик топ деңгээлиндеги терсдөө субъект позициясындагы квантификацияланган ат атоочтук топтон жогору камтуу алышы керек болгон тескери-камтуу окуулары өндүрүлбөйт.

Авторлордун чечими — TAGдын үстүңкү синтаксисин өзгөртүүнүн ордуна туунду түзүмүн кеңейтүү. Этиш тарабынан анкерленген TAG негизги дарактарына кадимки VP-adjunction аймагынан өзүнчө, вербалдык терсдөө үчүн гана колдонулуучу экинчи adjunction аймагы кошулат. Бул жаңы аймак семантикада этиштик топтун үстүнөн гана эмес, субъект менен этиштик топ бириккен бүтүндөй сүйлөмдүн үстүнөн камтуу ала алат. Ошентип, мурда алынбаган тескери-камтуу окуулары туундалып, кеңейтилген түзүм стандарттуу TAG derived treeге кайра дал келтирилгенде кадимки синтаксистик өкүлчүлүк сакталат.

Авторлор мындан тышкары кеңейтүү ACG архитектурасын экинчи тартиптин ичинде сактай турганын жана ошондуктан тиешелүү полином-убакыттык parsing жана generation алгоритмдеринин колдонулушу сакталарын ырасташат. Бул жыйынтык эксперименттик иштөө убактысын өлчөө эмес, колдонулган формалдуу грамматика классынын эсептөө касиетине негизделген теориялык жыйынтык.

Изилдөөнүн негизги маселеси

Табигый тилдин синтаксиси менен семантикасынын ортосунда формалдуу дал келүүнү түзүү сөздөрдүн маанилерин гана бириктирүүдөн кыйла татаал. Квантификаторлор, терсдөө, окуя өзгөрмөлөрү, багыныңкы сүйлөмдөр жана argument-sharing сыяктуу түзүмдөр бир эле синтаксистик катардын бир нече логикалык окууну жаратышына алып келиши мүмкүн.

Макаланын баштапкы чекити — мурунку эки ыкманын ортосундагы чыңалуу. Bernard жана Champollionдун терс-окуя семантикасы терсдөөнү майда-чүйдөсүнө чейин карай алат; бирок алардын синтаксис–семантика уюштуруусунда Montague-стилдеги бир тектүү ат атоочтук топ типтеринен жана эсептөө жагынан жакшы изилденген синтаксистик формализмден алыстаган жактар бар. Blanck жана Maskharashviliнин ACG/TAG ыкмасы болсо стандарттуу синтаксистик формализм жана Montagovдук композициялуулук жагынан күчтүү, бирок терсдөө менен квантификаторлордун айрым камтуу аракеттенүүлөрүн өндүрө албайт.

Авторлордун изилдөө суроосу бул эки артыкчылыкты бириктирүүгө болобу дегенге багытталат: терс-окуя семантикасын TAG негизиндеги жана ACG менен моделденген, ат атоочтук топторду Montagovдук түрдө бир типтин астында караган толук композициялык архитектурага өткөрүүгө болобу жана бул архитектура терсдөө менен квантификаторлордун зарыл камтуу окууларын сактай алабы?

Терс-Окуя Семантикасы Деген Эмне?

Терс-окуя семантикасы окуя касиетинин терсдөөсүн классикалык пропозициялык терсдөө катары гана эмес, оң окуялар топтому менен шайкеш келбеген “анти-окуялар” топтому аркылуу көрсөтүүчү Neo-Davidsonдук event-semantics ыкмасы; терс окуя чындап болгонун айтуу үчүн actual предикаты менен болгон окуялар болбогон окуялардан кошумча ажыратылат.

Neo-Davidsonдук окуя өкүлчүлүгү

Neo-Davidsonдук семантикада этиштер бардык катышуучуларды түздөн-түз аргумент катары алган көп орундуу предикаттардын ордуна окуялардын үстүндөгү бир орундуу предикаттар катары каралышы мүмкүн. Катышуучулар окуяга тематикалык ролдор аркылуу байланышат. Мисалы, “Eva saw Adam” сүйлөмүнүн окуяга негизделген талдоосунда көрүү окуясы жана ошол окуянын агенти менен темасы өзүнчө мамилелер катары көрсөтүлүшү мүмкүн.

Бул түзүм тактоочторду, тематикалык ролдорду жана ар түрдүү окуя мамилелерин бир окуя өзгөрмөсүнүн айланасында бириктирүүнү жеңилдетет. Бирок терсдөө, айрыкча кабылдоо этиштери жана камтуу алган түзүмдөр менен айкалышканда, кадимки пропозициялык терсдөөнү жайгаштыра турган орун олуттуу көйгөй жаратышы мүмкүн.

“Eva saw Adam not smile” көйгөйү

Булак классикалык көйгөйдү “Eva saw Adam not smile” мисалы менен түшүндүрөт. Сүйлөм Eva Adamды жылмайып жатканда көргөн эмес дегенди гана билдирбейт; табигый окууда Eva Adam жылмайбаган абалды көргөн жана мындан Adam жылмайган эмес деген жыйынтык чыгат.

Жөн гана “Adam жылмайган окуяны Eva көргөнү туура эмес” деген өкүлчүлүк жетишсиз; анткени Adam чындап жылмайган, бирок Eva аны көргөн эмес болушу мүмкүн. Терсдөөнү окуя предикатынын алдына гана коюу да “жылмайуу эмес кандайдыр бир окуяны” тандап алышы мүмкүн болгондуктан туура чындык шарттарын кепилдей албайт.

Neg менен actual айырмасы

Терс-окуя ыкмасында окуялар боюнча аныкталган ар бир \(P\) касиети үчүн \(Neg\,P\) анти-топтому каралат. \(P\)-окуялары менен \(Neg\,P\)-окуялары ишке ашуу жагынан өз ара шайкеш эмес деп эсептелет.

Окуянын формалдуу доменде гана болушу анын ишке ашканын билдирбейт. Ошондуктан:

\[ actual(e) \]

предикаты \(e\) окуясы ишке ашканын билдирет.

Булакта колдонулган негизги терсдөө принциби схемалык түрдө мындай:

\[ \left(\exists^{v} e.\,(Neg\,P\,e)\land actual(e)\right) \Longleftrightarrow \left(\forall^{v} e'.\,P(e')\Rightarrow\neg actual(e')\right) \]

Сол жак ишке ашкан anti-\(P\) окуясынын бар экенин; оң жак болсо эч бир \(P\) окуясы ишке ашпаганын билдирет. Бул түзүм оң окуя менен ага туура келген терс окуянын бир учурда ишке ашты деп эсептелишине жол бербейт.

Кош терсдөө

Bernard жана Champollion системасында ишке ашкан окуялар боюнча кош терсдөөнү жокко чыгаруу алынат: ишке ашкан \(P\)-окуясы менен ишке ашкан anti-anti-\(P\) окуясы эквиваленттүү жүрүм-турум көрсөтөт. Ошентсе да булак \(Neg(Neg P)\) менен \(P\) бүткүл семантикалык мейкиндикте бирдей топтомдор деген күчтүүрөөк жыйынтыкты койбойт.

Кабылдоо этиштеринде ишке ашкан кошумча окуя

Терс-окуя теориясы караган дагы бир көйгөй — кабылдоо этиштери. “Eva saw Adam smiling” сыяктуу сүйлөмдө көрүү окуясы ишке ашса, кабыл алынган Adamдын жылмайуу окуясы да ишке ашкан болушу күтүлөт. Bernard жана Champollion муну булакта “No Hallucination Axiom” деп аталган кошумча принцип менен моделдешет.

Бул аксиома макала иштеп чыккан жаңы ACG архитектурасынын өзгөчө салымы эмес; авторлор интеграциялоого аракет кылган терс-окуя семантикасынын фонунун бир бөлүгү.

Tree-Adjoining Grammar кантип иштейт?

Дарак-Кошуу Грамматикасы (Tree-Adjoining Grammar, TAG) — табигый тил синтаксисин баштапкы дарактар менен жардамчы дарактардын substitution жана adjunction операциялары аркылуу биригишинен өндүргөн, жеңил контекстке сезимтал грамматика формализми.

Баштапкы дарактар негизги жергиликтүү синтаксистик түзүмдөрдү алып жүрөт. Жардамчы дарактар болсо дарактын ылайыктуу түйүнүнө adjunction аркылуу кошулуп, рекурсивдүү кеңейтүүлөрдү түзө алат. TAGдын маанилүү өзгөчөлүгү — табигый тил үчүн контексттен эркин грамматикаларга караганда жогору туюнтуу күчүн сунуштап, ошол эле учурда полином-убакыттык parsing алгоритмдеринин болушу.

Derived tree менен derivation treeнин айырмасы

TAG derived tree — substitution жана adjunction операцияларынын аягында пайда болгон үстүңкү синтаксистик дарак. TAG derivation tree болсо бул үстүңкү дарак кайсы негизги дарактар кандай операциялар менен бириккенинин натыйжасында алынганын каттайт.

Булакта “Eva claims Adam really wants to smile” мисалы бул айырманы көрсөтүү үчүн колдонулат. 2-сүрөт негизги TAG дарактары кантип бириккенин; 3-сүрөт пайда болгон derived treeни; 4-сүрөт ошол эле түзүмдүн derivation treeсин көрсөтөт.

Бул айырма макаланын негизги идеясы үчүн өтө маанилүү. Авторлордун чечими окурман көргөн стандарттуу phrase-structure синтаксисин өзгөртүүнүн ордуна семантикага маалымат ташыган derivation tree деңгээлин байытат.

ACG TAG менен Семантиканын Ортосунда Кантип Көпүрө Курат?

Abstract Categorial Grammar TAG derivation treeлерин жалпы абстракттуу тил катары кармап, типтештирилген гомоморфтук lexiconдор аркылуу ошол эле туундуларды TAG derived treeлерине, үстүңкү саптарга же жогорку тартиптеги логикалык семантикалык өкүлчүлүктөргө дал келтирип, синтаксис менен семантиканын ортосунда толук композициялык көпүрө курат.

ACGнин эки деңгээлдүү архитектурасы

ACG негизинен абстракттуу тил менен объект тилинин ортосундагы дал келүүнү аныктайт. Абстракттуу тил parse/туунду түзүмдөрүн көрсөтөт. Объект тили болсо бул түзүмдөрдүн синтаксистик дарак, string же логикалык семантика сыяктуу башка өкүлчүлүгү.

Булакта ACG төмөнкү төрт компонент менен аныкталат:

\[ G=\langle\Sigma_A,\Sigma_O,L,s\rangle \]

Бул жерде \(\Sigma_A\) абстракттуу vocabularyни, \(\Sigma_O\) объект vocabularyсин, \(L\) эки vocabularyнин ортосундагы типтештирилген гомоморфтук lexiconду, ал эми \(s\) грамматиканын distinguished typeын көрсөтөт.

Бул архитектуранын маанилүү артыкчылыгы — бир эле абстракттуу TAG derivation tree тилинен бир нече объект тилине өтүүгө болот. Бир lexicon derivation treeни derived treeге, башка lexicon семантикалык логика формуласына айландыра алат. Ошентип, бир эле туунду синтаксистик да, семантикалык да чечмелөөнүн жалпы булагы болот.

Экинчи тартиптеги жана almost-linear ACGлер

Макала parsing жана generation жагынан эсептөө үчүн маанилүү болгон экинчи тартиптеги ACG классын колдонот. Семантикалык өкүлчүлүктөрдө бир эле окуя өзгөрмөсүн бир нече жерде колдонуу зарыл болгондуктан, булак Kanazawaнын almost-linear лямбда-термдери менен кеңейтилген экинчи тартиптеги ACG ыкмасын колдонот.

Almost-linearity каалагандай жогорку тартиптеги өзгөрмө көбөйтүүгө жол бербейт; бирок атомдук типтеги өзгөрмөлөрдү зарыл болгондо бир нече жерде колдонууга мүмкүнчүлүк берет. Окуя өзгөрмөсү \(v\) атомдук тип болгондуктан, Neo-Davidsonдук семантикада бир эле окуяны этиш предикаты жана тематикалык ролдор менен байланыштырууну ушул алкакта ишке ашырууга болот.

Montagovдук ат атоочтук топ принциби

Авторлор сактоону каалаган маанилүү долбоорлоо принциптеринин бири — энчилүү аттар менен квантификацияланган ат атоочтук топторду семантикалык жактан бир эле жалпы тип үй-бүлөсүнө жайгаштыруу.

Макала:

\[ \mho = v\rightarrow t \]

кыскартмасын колдонот. Бул жерде \(v\) окуя тиби, \(t\) чындык маанисинин тиби. Ошого ылайык этиштик топ чечмелөөсүнүн тиби:

\[ VP = e\rightarrow\mho \]

ал эми ат атоочтук топтун тиби:

\[ NP=(e\rightarrow\mho)\multimap\mho \]

түрүндө уюштурулат.

Бул түзүмдүн аркасында “Adam”, “a boy”, “every woman” сыяктуу ат атоочтук топтор ар башка лексикалык мазмунга ээ болсо да жалпы жогорку тартиптеги NP тибинде иштей алат. Бул макаланын Bernard жана Champollionдун айрым тип тандоолорунан айырмаланган маанилүү Montagovдук жагы.

Этиштердеги тематикалык ролдор

Авторлор этиштин семантикалык өкүлчүлүгүнө катышуучулар үчүн белгиленген тематикалык рол орундарын киргизишет. Мисалы, өтпөс этиш үчүн схемалык түзүм:

\[ \lambda x.\lambda h.\,(smile(h))\land(arg0(h,x)) \]

сыяктуу курулушу мүмкүн. \(x\) катышуучуну, \(h\) окуя өзгөрмөсүн көрсөтөт. Bernard жана Champollionдон айырмаланып, тематикалык ролдор этиш менен анкерленген elementary treeнин семантикалык чечмелөөсүндө лексикалык түрдө көрсөтүлөт.

Closure операторунун ролу

Этиш менен ат атоочтук топ бириккенде жыйынтык дагы эле окуя касиети болуп калат; толук пропозиция түзүү үчүн окуя өзгөрмөсүн ишке ашкан окуя катары жабуу керек. Булактын ACG чечмелөөсүндө closure функциясы:

\[ L_{eTAGtoNS}(Closure) = \lambda S.\exists^{v}w.\,(S\,w)\land actual(w) \]

түрүндө.

Бул оператор сүйлөмдүн семантикалык мазмунуна туура келген ишке ашкан окуя бар экенин билдирип, \(v\rightarrow t\) тибиндеги түзүмдү \(t\) тибине, башкача айтканда пропозиция/чындык мааниси тибине айландырат.

Этиштик топ жана сүйлөм деңгээлиндеги терсдөө

Алгачкы ACG архитектурасында терсдөөнүн эки башка орду моделденет. Этиштик топ деңгээлиндеги “does not” VP үстүндө иштеген өзгөрткүч катары; “it is not the case that” түрүндөгү сүйлөм терсдөөсү болсо бүтүндөй окуя касиетин терске чыгарган өзүнчө түзүм катары көрсөтүлөт.

Энчилүү аттуу жөнөкөй сүйлөмдөрдө эки жол тең ылайыктуу терс-окуя чечмелөөсүн өндүрө алат. Көйгөй субъект позициясына квантификацияланган ат атоочтук топ келгенде чыгат.

Үстүңкү камтуу жана тескери камтуу

“A boy does not smile” сүйлөмүн эки негизги логикалык түрдө кароого болот. Үстүңкү камтуу окуусунда бир бала бар жана ал бала жылмайбайт. Тескери камтуу окуусунда болсо “бир баланын жылмайышы” пропозициясынын баары терсдөөнүн камтуусуна кирет.

Ошондой эле “Every boy does not smile” бир окууда “ар бир бала жылмайбайт” дегенди билдирсе, башка окууда “бардык балдардын жылмайганы туура эмес” деген мааниге келиши мүмкүн.

Алгачкы ACG/TAG түзүмүндө субъект ат атоочтук топ өзгөртүлгөн этиштик топту operand катары алгандыктан, квантификатор системалуу түрдө этиштик топ терсдөөсүнөн жогору камтуу алат. Бул синтаксистик түзүм үстүңкү-камтуу окуусун өндүрөт, бирок керектүү тескери-камтуу окуусун өндүрбөйт.

Argument-sharing деген эмне?

Control, raising жана report этиштеринде жогорку этиштин синтаксистик субъекти төмөнкү сүйлөмдүн же этиштик топтун катышуучусу катары да чечмелениши мүмкүн. “Adam wants to smile” сүйлөмүндө Adam want окуясынын да, smile окуясынын да агенти.

Макала муну argument-sharing деп атайт. ACG типтери жана verb-tree чечмелөөлөрү бир эле инсандын ар башка окуяларда ылайыктуу тематикалык ролдор менен бөлүшүлүшүн камсыздай тургандай уюштурулат.

Бул түзүм жөнөкөй control этиштери үчүн гана эмес; report жана raising этиштери, finite жана non-finite сүйлөм толуктоочтору жана алардын квантификация менен терсдөөгө болгон өз ара аракеттенүүлөрү үчүн да кеңейтилет.

Кеңейтилген TAG Туундулары Эмне Үчүн Керек?

Кеңейтилген TAG туундулары стандарттуу TAG үстүңкү синтаксисин бузбастан этиштик топ терсдөөсүнө семантикада бүтүндөй сүйлөмдүн үстүнөн камтуу ала турган өзүнчө туунду позициясын берүү үчүн керек; муну менен стандарттуу ACG/TAG түзүмүндө өндүрүлбөгөн тескери-камтуу окуулары алынат жана экинчи тартиптеги ACGнин эсептөө касиеттери сакталат.

Жаңы терсдөө adjunction аймагы

Стандарттуу TAG elementary treeдеги кадимки VP-adjunction аймагы тактоочтор жана башка этиштик топ өзгөрткүчтөрү үчүн колдонулушу мүмкүн. Авторлор бир эле аймактын кадимки modifierлерди да, терсдөөнү да алып жүрүшү семантикалык камтуу жагынан жетишсиз экенин көрсөтүшөт.

Чечим — этиш менен анкерленген elementary treeге эки өзүнчө VP-adjunction аймагын берүү:

• кадимки VP-adjunction аймагы: тактоочтор жана кадимки VP modifierлер үчүн;
• атайын терс VP-adjunction аймагы: этиштик топ терсдөөсү үчүн.

Экинчи аймак синтаксистик жактан дагы эле verbal modifier сыяктуу иштейт; бирок семантикалык lexiconдо ал этиштик топту гана эмес, субъект менен этиштик топ бириккен бүтүндөй сүйлөм мазмунун камтый тургандай чечмеленет.

Эмне үчүн үчүнчү тартиптеги типке өтүлбөйт?

Жаңы терсдөө аймагын биринчи караганда:

\[ VP^A\multimap VP^A \]

сыяктуу функционалдык аргумент катары моделдөөгө болот. Бирок авторлор мындай тандоо abstract signatureды үчүнчү тартипке көтөрөрүн жана экинчи тартиптеги ACGлер үчүн белгилүү полином parsing/generation артыкчылыктары жалпы түрдө колдонулбай каларын өзгөчө белгилешет.

Ошондуктан жаңы атомдук тип аныкталат:

\[ VP^{A}_{neg} \]

жана, мисалы, finite өтпөс этиштин кеңейтилген түзүмү схемалык түрдө:

\[ b^{neg}_{int\_verb\_fin} : S^A \multimap VP^A_{neg} \multimap VP^A \multimap NP \multimap S \]

түрүндө сакталат.

Жаңы атомдук тип семантикалык жана синтаксистик lexiconдордо керектүүдөй чечмеленгенде abstract vocabulary экинчи тартипте калат.

Терсдөө жок сүйлөмдөр кантип сакталат?

Жаңы аймак бардык этиш дарактарында болгондуктан, терсдөө камтылбаган сүйлөмдөрдү да өндүрүү мүмкүн болушу керек. Бул үчүн авторлор атайын терс adjunction аймагында колдонулуучу бош adjunction константасын аныкташат.

Бул бош элемент иденттүүлүк функциясы сыяктуу иштейт. Натыйжада кеңейтилген грамматика мурунку грамматикада өндүрүлө алган бардык түзүмдөрдү кайра өндүрө алат. Бул мааниде жаңы ACG мурдагы архитектураны алмаштырган тар система эмес, аны өзүнө камтыган кеңейтүү.

Кеңейтилген туунду стандарттуу синтаксиске кантип кайра келет?

Жаңы терсдөө аймагы семантикалык туюнтуу күчү үчүн гана кошулган. Авторлор анын үстүңкү синтаксисте жаңы дарак түрүн жаратышын каалашпайт.

Ошондуктан кеңейтилген TAG derivation treeден стандарттуу TAG derivation treeге өзүнчө lexicon аныкталат. Атайын терс аймак менен кадимки VP modifier аймагы синтаксистик чечмелөөдө функциялык композиция аркылуу бириктирилет жана натыйжа кайрадан стандарттуу TAG derived tree болот.

Бул архитектура “семантикалык жактан байыраак, синтаксистик жактан стандарттуу” ыкманын өзөгү.

Spurious ambiguity көйгөйү

Алгачкы формада колдонулган modifier-композиция операторунун стандарттуу TAG signature ичинде эркин константа болушу бир эле derived tree үчүн чексиз көп ар кандай derivation term жаратуу коркунучун түзөт. Иденттүүлүк функциясын алып жүргөн бош adjunct кайра-кайра композицияга киргизилип, синтаксистик жактан ошол эле даракты берген чексиз көп parse түзүмдөрү түзүлүшү мүмкүн.

Бул абал spurious ambiguity катары каралат: ар башка көрүнгөн parse түзүмдөрү чыныгы синтаксистик же семантикалык айырма алып жүрбөйт.

Авторлор архитектураны кайра уюштуруп, бул композиция операциясын freely generated parse vocabulary сыртында кармаган альтернативдүү дал келүүнү колдонушат. Булактагы 9-сүрөт кеңейтилген TAG derivation treeден стандарттуу TAG derived treeге жана negative-event semanticsке түз барган, ушул керексиз белгисиздик көйгөйүн болтурбаган акыркы архитектураны көрсөтөт.

Кеңейтилген семантикада negation кантип камтуу алат?

Жаңы терс adjunction тибинин семантикалык чечмелөөсүндө атайын терсдөө бүтүндөй clause-level окуя касиетинин үстүндө иштейт. Булактагы 9-таблицанын негизги идеясы схемалык түрдө:

\[ b^{neg}_{doesnt} := \lambda S.\lambda h.\, h\in Neg(S) \]

түрүндө.

Бул жердеги маанилүү айырма — \(S\) жылаңач этиштик топ гана эмес, субъект квантификаторун да камтышы мүмкүн болгон кеңири семантикалык түзүм. Ошентип, терсдөө квантификатордун сыртына чыгып, тескери-камтуу окуусун өндүрө алат.

Жаңы архитектура өндүргөн мисалдар

Булак кеңейтилген ACG татаал мисал катары “Every woman claims every boy does not want to smile” сүйлөмүндө квантификаторлорду, report/control сыяктуу толуктоочу түзүмдөрдү, argument-sharingди жана терсдөөнү бир эле туунду ичинде бириктире аларын көрсөтөт.

“A boy does not smile” жана “A boy does not want to smile” мисалдарында болсо мурунку архитектура жете албаган, терсдөө экзистенциалдык квантификатордон жогору камтуу алган окуулар жаңы система менен өндүрүлө алары көрсөтүлөт.

Ошондой эле empty negation adjunction колдонулуп, эски системада алынган бардык окуулар жаңы системада да сактала турганы белгиленет.

Булак сүрөттөрүнүн илимий ролу

Булак таблицаларынын илимий ролу

Изилдөөнүн Ыкмасы жана Жыйынтыктары

Изилдөөнүн ыкмасы эксперименттик маалымат талдоосу эмес, формалдуу модель куруу жана каршы-мисал/мисал туундулары аркылуу текшерилген типтештирилген грамматика долбоору. Авторлор адегенде Bernard жана Champollionдун терс-окуя семантикасын жана Blanck–Maskharashvili TAG/ACG архитектурасын ажыратып талдашат; андан кийин типтерди, lexiconдорду жана лямбда-термдерди аныктап, эки ыкманы бириктирген алгачкы ACGни курушат. Биринчи системанын тескери-камтуу жетишсиздиги көрсөтүлгөндөн кийин abstract syntax кеңейтилет жана жаңы архитектура татаал сүйлөм туундулары менен сыналат.

Формалдуу ыкманын агымы

1. Neo-Davidsonдук event semantics жана терс-окуя семантикасынын керектүү аксиомалары аныкталат.
2. TAGдын initial/auxiliary tree, substitution, adjunction, derived tree жана derivation tree түзүмдөрү аныкталат.
3. TAG derivation treeлери экинчи тартиптеги ACGнин abstract languageи катары коддолот.
4. TAG derivation treeден derived treeге жана logical semanticsке өзүнчө lexiconдор түзүлөт.
5. Almost-linear lambda calculus колдонулуп, event variable бөлүшүү эсептөө классы сакталган шартта ишке ашырылат.
6. Этиштик топтор, ат атоочтук топтор, сүйлөмдөр, тематикалык ролдор жана closure үчүн negative-event-compatible semantic типтер аныкталат.
7. Proper name, existential NP жана universal NP камтыган оң жана терс мисалдар туундулат.
8. Control, raising жана report verb түзүмдөрү argument-sharing жагынан моделденет.
9. Алгачкы архитектуранын этиштик топ терсдөөсү менен квантификацияланган субъекттерде үстүңкү-камтуу окуусун гана өндүрөрү көрсөтүлөт.
10. Negation үчүн экинчи VP-adjunction аймагын камтыган extended TAG derivation signature аныкталат.
11. Жаңы аймак атомдук типте сакталат; ошентип abstract grammar экинчи тартиптен чыгарылбайт.
12. Extended derivation treeлердин стандарттуу TAG derivation/derived treeлерге кайра дал келиши камсыздалат.
13. Modifier compositionдан келип чыккан spurious ambiguity коркунучу ажыратылып, акыркы ACG architecture ошого жараша кайра уюштурулат.
14. Extended semantic lexicon атайын negation аймагынын бүт clause үстүнөн камтуу алышын камсыздай тургандай аныкталат.
15. Татаал квантификация, терсдөө жана argument-sharing мисалдары аркылуу мурда жеткиликсиз окууларды туунду кылууга болору көрсөтүлөт.

Изилдөөнүн негизги техникалык жетишкендиктери

Эсептөө натыйжалуулугу тууралуу доо кантип чечмелениши керек?

Макаладагы “efficient parsing and generation algorithms remain applicable” жана “no additional complexity cost” сөздөрү белгилүү бир компьютерде өлчөнгөн секунд, эс тутум колдонуу же benchmark жыйынтыгы эмес. Доо иштелип чыккан abstract signatureдын second-order ACG классында сакталышына жана бул класс үчүн адабиятта белгилүү полином parsing/generation алгоритмдеринин болушуна негизделет.

Ошондуктан изилдөөдөн “жаңы архитектура мурунку ыкмадан X пайыз тезирээк” же “чыныгы NLP системаларында мынчалык ылдамдатуу берет” деген жыйынтык чыгарууга болбойт.

ACGtk жана кайра өндүрүлүүчүлүк

Булактагы эскертүүлөргө ылайык, грамматикаларды жана макаладагы мисалдарды коддоо үчүн ACGtk, башкача айтканда Abstract Categorial Grammar иштеп чыгуу жана иштетүү үчүн куралдар топтому колдонулган. Макаланы колдогон маалымат жана код ACGnevent репозиторийинде бөлүшүлгөн.

Бул изилдөөнүн формалдуу мисалдары машина аткара ала турган грамматика аныктамалары менен колдоого алынганын көрсөтөт. Ошол эле учурда изилдөө чоң табигый тил корпусунда accuracy, recall, precision же parsing throughput салыштырууларын бербейт.

Изилдөө колдогон жыйынтыктар

• Терс-окуя семантикасын ACG аркылуу TAG негизиндеги жана толук композициялык синтаксис–семантика архитектурасына интеграциялоого болот.
• Montague-стилдеги жалпы noun-phrase typing менен Neo-Davidsonдук event semantics бир түзүмдө сакталат.
• Proper name, quantified NP, event quantification, verbal negation жана clausal complement түзүмдөрүн жалпы типтештирилген системада моделдөөгө болот.
• Алгачкы стандарттуу TAG туунду архитектурасы айрым inverse-scope окууларын өндүрө албайт.
• Negation үчүн өзүнчө VP-adjunction аймагын камтыган extended TAG derivations бул камтуу жетишсиздигин жоё алат.
• Extended derivation syntax деңгээлинде стандарттуу TAG derived treeлерге кайра түшүрүлүшү мүмкүн.
• Жаңы архитектурада мурда алынбаган existential жана universal quantifier–negation аракеттенүүлөрү туундалышы мүмкүн.
• Argument-sharing, negation жана quantified noun phrases бирге болгон татаал түзүмдөр бир semantic architecture ичинде көрсөтүлөт.
• Abstract grammar экинчи тартипте сакталгандыктан тиешелүү полином parsing жана generation алгоритмдери колдонулуп кала берет.

Изилдөө колдобогон жыйынтыктар

• Изилдөө жаңы архитектура чыныгы NLP системаларында жогорку тактык берерин эксперименттик түрдө көрсөтпөйт.
• Чоң corpus үстүндө parsing ылдамдыгын же semantic parsing ийгилигин өлчөбөйт.
• Табигый тилдеги терсдөөнүн бардык формалары чечилди деп ырастабайт.
• Терс-окуя семантикасы табигый тил терсдөөсүнүн жалгыз туура теориясы экенин далилдебейт.
• Полином татаалдык доосу конкреттүү колдонмолордо практикалык иштөө убактысы дайыма төмөн болорун кепилдебейт.
• Булак табигый тилдеги бардык scope ambiguity түрлөрүн чечүүгө арналган толук универсалдуу грамматиканы сунуштабайт.
• Bernard жана Champollionдун эки negative-event interface ыкмасын бир ACG ичинде толук бириктирбейт; бул бириктирүү келечектеги иш катары калтырылган.

Чектөөлөр жана келечектеги иш

Макаланын камтуусу тандалган табигый тил көрүнүштөрүнүн жыйындысы менен чектелет. Negation, event quantification, quantified noun phrases, argument-sharing жана clausal complements кеңири каралганы менен, табигый тил семантикасынын бардык көйгөйлөрү моделденбейт.

Bernard жана Champollionдун мурдагы толук compositional “semantic” ыкмасы менен кийинчерээк төмөн semantic typeтарды колдонгон “syntactic” ыкмасын ACG ичинде бирдиктүү жалпы негизде коддоо бүтө элек. Авторлор ACG жетишерлик жалпы деп эсептешет жана келечекте бул эки ыкма үчүн жалпы formal ground түзө алат деп ойлошот.

Изилдөөнүн дагы бир чектөөсү — эмпирикалык баалоо жүргүзүлбөгөнү. Formal derivations жана computational-class касиеттери көрсөтүлгөн; бирок кеңири corpus камтуусу, тил ар түрдүүлүгү, parser implementation масштабдуулугу же чыныгы колдонмо көрсөткүчү өзүнчө бааланган эмес.

Булак сүрөттөрүнөн Verianla үчүн кайра куруу сунушу

Verianla үчүн эң жогорку окутуучулук баага ээ кайра чийүү — булактагы 9-сүрөткө негизделген, бирок визуалдык жактан оригиналдуу үч катмарлуу архитектура:

1. Extended TAG Derivation: кадимки VP-adjunction + атайын negation adjunction.
2. Syntax жолу: extended derivation → стандарттуу TAG derivation/derived tree.
3. Semantics жолу: extended derivation → negative-event HOL representation.

Figcaption сунушу: “Булак изилдөөсүнүн архитектуралык байланыштарына таянып Verianla үчүн даярдалган түшүндүрмө схема; булактагы 9-сүрөттүн пикселдик көчүрмөсү эмес.”

Экинчи ылайыктуу визуал “surface scope” менен “inverse scope” ортосундагы айырманы ошол эле англисче мисал сүйлөмдө эки логикалык дарак аркылуу көрсөтө алат. Мындай схема эксперименттик маалымат эмес, булакта туундулган scope түзүмдөрүнүн түшүндүрмө кайра курулушу катары белгилениши керек.

Булак жана Ыкма Жөнүндө Эскертүү

Түпнуска изилдөө: Abstract Categorial Grammars for Modeling the Interface Between Syntax and Semantics Incorporating Negative Events

Авторлор: Aleksandre Maskharashvili; Symon Jory Stevens-Guille; Elena Vaikšnoraitė

Жооптуу автор: Aleksandre Maskharashvili

Мекемелер: Department of Linguistics, University of Illinois Urbana-Champaign, Urbana, Illinois, USA; Department of Linguistics, The Ohio State University, Columbus, Ohio, USA.

Журнал: Philosophies

Басмакана: MDPI

Жарыя маалыматы: 2026, Том 11, Сан 3, Макала 91

Тапшырылган: 30 Март 2026

Ревизия: 18 Май 2026

Кабыл алынган: 21 Май 2026

Жарыяланган күнү: 3 Июнь 2026

DOI: 10.3390/philosophies11030091

Булак түрү: Рецензияланган теориялык/формалдуу тил илими жана эсептөө семантикасы боюнча изилдөө макаласы.

Лицензия: Creative Commons Attribution (CC BY).

Изилдөө ыкмасы: Abstract Categorial Grammar, Tree-Adjoining Grammar, simply typed/almost-linear lambda calculus, жогорку тартиптеги логика жана Neo-Davidsonдук терс-окуя семантикасын бириктирген формалдуу грамматика жана syntax–semantics interface долбоору.

Негизги изилдөө суроосу: Negative-event semantics Montagovдук ат атоочтук топ чечмелөөлөрүн, стандарттуу TAG синтаксисин, толук композициялуулукту жана эсептөө үчүн ыңгайлуу экинчи тартиптеги ACG касиеттерин сактап, negation–quantification scope аракеттенүүлөрүн моделдей алабы.

Негизги техникалык жаңылык: TAG elementary treeлеринде кадимки VP modifier аймагынан бөлүнгөн, семантикада clause-level scope алган атайын verb-phrase negation adjunction аймагын туунду деңгээлде кошуу.

Татаалдык чеги: Жаңы negation аймагы атомдук тип катары аныкталып, abstract ACG экинчи тартипте сакталган. Макаланын полином parsing/generation жыйынтыгы ушул формалдуу класстын белгилүү эсептөө касиеттерине негизделет; бул жаңы иштөө убактысынын benchmarkы эмес.

Код жана маалымат: Макаланы колдогон грамматика/код материалдары авторлордун ACGnevent GitHub репозиторийинде берилет. Булакта репозиторийге жетүү күнү 18 Май 2026 деп көрсөтүлгөн.

Колдонулган курал: Грамматикаларды жана мисалдарды коддоодо ACGtk куралдар топтому колдонулганы айтылат.

Каржылоо: Тышкы каржылоо алынган эмес.

Этика комитети: Колдонулбайт.

Маалымдалган макулдук: Колдонулбайт.

Кызыкчылыктардын кагылышы: Авторлор кызыкчылыктардын кагылышы жок экенин билдиришкен.

Автордук салымдар: Концептуалдаштыруу жана методология — үч автор; код — Aleksandre Maskharashvili жана Symon Jory Stevens-Guille; мисалдар — Aleksandre Maskharashvili жана Elena Vaikšnoraitė; алгачкы кол жазма — үч автор; карап чыгуу жана редакциялоо — Aleksandre Maskharashvili менен Elena Vaikšnoraitė.

Негизги методологиялык чек: Изилдөө формалдуу туундулардын туюнтуу күчүн жана колдонулган ACG классынын эсептөө касиеттерин көрсөтөт; corpus негизиндеги эксперименттик semantic parsing тактыгын, практикалык runtime benchmarkты, көп тилдүү жалпылоону же колдонуучу баалоосун жүргүзбөйт.

Verianla Live ылайыктуулугу: Extended TAG derivation → standard syntax жана extended TAG derivation → negative-event semantics жолдору source-derived Live Architecture катары визуалдаштырылышы мүмкүн. Кыймыл чыныгы parsing убактысы же өлчөнгөн көрсөткүч катары белгиленбеши керек.

Verianla ыкма эскертүүсү: Бул түркчө мазмун түпнуска макаланын сүйлөммө-сүйлөм котормосу же абзацма-абзац жакын тексттик кайра чыгарылышы эмес. Булактын research questionы, negative-event axiomsы, TAG/ACG architectureы, lambda-calculus типтери, scope көйгөйү, extended TAG derivations чечими, spurious ambiguity талдоосу, complexity чеги, мисал туундулары, сүрөт жана таблицаларынын илимий ролу жана келечектеги иш чектери ажыратылып, өз алдынча илимий үйрөнүү катмары катары кайра уюштурулган. Булакта жок benchmark, corpus жыйынтыгы, ийгилик пайызы же эсептөө убактысы кошулган эмес.