Грамматикаи Абстрактии Категориявӣ (Abstract Categorial Grammar, ACG) — чаҳорчӯбаи грамматикии тип-назариявиест, ки сохторҳои ҳосилавиро тавассути ҳисобкунии типбандишудаи лямбда ба намояндагиҳои дигари синтаксисӣ ё семантикӣ ба таври гомоморфӣ мувофиқ мекунад. Aleksandre Maskharashvili, Symon Jory Stevens-Guille ва Elena Vaikšnoraitė дар ин таҳқиқот ACG-ро барои сохтани интерфейси комилан композиционӣ байни синтаксиси бар пояи Грамматикаи Пайвасткунии Дарахт (Tree-Adjoining Grammar, TAG) ва семантикаи рӯйдодҳои манфии Neo-Davidsonian истифода мебаранд. Таҳқиқот маълумоти таҷрибавӣ ё маълумоти корбар тавлид намекунад; он бар рӯи грамматикаҳо, низомҳои тип, термҳои лямбда ва семантикаи мантиқии дараҷаи баланд сохтори формалӣ таҳия мекунад.

Масъалаи асосӣ таъсири мутақобилаи доираи инкор ва квантификатсия мебошад. Дар равишҳои стандартии event-semantics ҷумлаҳое чун “Everybody does not smile” ё “A boy does not smile” метавонанд якчанд тафсир дошта бошанд. Дар як хониш квантификатор нисбат ба инкор доираи васеътар мегирад, дар хониши дигар инкор тамоми квантификаторро фаро мегирад. Равишҳои пешини TAG ва услуби Montague дар тавлиди ҳамаи ин хонишҳо дар дохили як меъмории композиционӣ мушкил доранд.

Мақола аввал ACG месозад, ки ҳосилаҳои TAG-ро мустақиман ба семантикаи рӯйдодҳои манфӣ мувофиқ мекунад. Ин меъмории аввал хонишҳои дурусти доираи сатҳӣ, типҳои мувофиқи гурӯҳи исмӣ, тағйирёбандаҳои рӯйдод ва нақшҳои мавзӯӣ дар феълҳоро нигоҳ медорад; он инчунин сохторҳои argument-sharing-ро дар феълҳои control, raising ва report модел карда метавонад. Аммо хонишҳои доираи баръакс, ки дар онҳо инкори сатҳи гурӯҳи феълӣ бояд аз гурӯҳи исмии квантификатсияшуда дар мавқеи субъект доираи васеътар гирад, тавлид намешаванд.

Ҳалли муаллифон ин аст, ки ба ҷойи тағйир додани синтаксиси сатҳии TAG сохтори ҳосиларо васеъ кунанд. Ба дарахтҳои асосии TAG, ки бо феъл анкер шудаанд, майдони дуюми adjunction илова мешавад, ки аз майдони одии VP-adjunction ҷудо буда танҳо барои инкори феълӣ истифода мешавад. Ин майдони нав дар семантика на танҳо бар гурӯҳи феълӣ, балки бар тамоми ҷумлае, ки аз пайвастани субъект ва гурӯҳи феълӣ ҳосил мешавад, доира гирифта метавонад. Ҳамин тавр, хонишҳои доираи баръаксе, ки пештар дастнорас буданд, ҳосил мешаванд ва ҳангоми баргардондани сохтори васеъшуда ба TAG derived tree-и стандартӣ намояндагии маъмулии синтаксисӣ нигоҳ дошта мешавад.

Муаллифон ҳамчунин изҳор мекунанд, ки ин васеъсозӣ меъмории ACG-ро дар дараҷаи дуюм нигоҳ медорад ва бинобар ин татбиқшавии алгоритмҳои дахлдори parsing ва generation бо вақти полиномӣ ҳифз мешавад. Ин натиҷа ченаки таҷрибавии вақти кор нест, балки натиҷаи назариявиест, ки ба хосияти ҳисоббарории синфи грамматикаи формалии истифодашуда асос меёбад.

Масъалаи асосии таҳқиқот

Сохтани мувофиқати формалӣ байни синтаксис ва семантикаи забони табиӣ аз танҳо якҷо кардани маъноҳои калимаҳо мураккабтар аст. Квантификаторҳо, инкор, тағйирёбандаҳои рӯйдод, ҷумлаҳои тобеъ ва сохторҳое чун argument-sharing метавонанд боис шаванд, ки як силсилаи синтаксисӣ якчанд хониши мантиқӣ тавлид кунад.

Нуқтаи оғози мақола таниши байни ду равиши пешина аст. Семантикаи рӯйдодҳои манфии Bernard ва Champollion метавонад инкорро муфассал баррасӣ кунад; аммо тартиби синтаксис–семантикаи онҳо ҷанбаҳое дорад, ки аз типҳои якхелаи гурӯҳи исмии услуби Montague ва аз формализми синтаксисие, ки аз ҷиҳати ҳисоббарорӣ хуб омӯхта шудааст, дур мешаванд. Равиши ACG/TAG-и Blanck ва Maskharashvili аз нигоҳи формализми стандартии синтаксис ва композиционалии Montagovian қавӣ аст, вале баъзе таъсирҳои доираи инкор ва квантификаторҳоро тавлид карда наметавонад.

Саволи таҳқиқотии муаллифон ин аст, ки оё ин ду бартариро метавон якҷо кард: оё семантикаи рӯйдодҳои манфиро метавон ба меъмории комилан композиционӣ интиқол дод, ки бар TAG асос ёфта, бо ACG модел мешавад ва гурӯҳҳои исмиро ба тарзи Montagovian зери як тип баррасӣ мекунад; ва оё ин меъморӣ метавонад хонишҳои зарурии доираи инкор ва квантификаторҳоро нигоҳ дорад?

Семантикаи Рӯйдодҳои Манфӣ Чист?

Семантикаи рӯйдодҳои манфӣ равиши Neo-Davidsonian event-semantics аст, ки инкори хосияти рӯйдодро на танҳо ҳамчун инкори классикии пешниҳодӣ, балки тавассути маҷмӯи “анти-рӯйдодҳо”, ки бо маҷмӯи рӯйдодҳои мусбат номувофиқанд, ифода мекунад; барои он ки гуфта шавад рӯйдоди манфӣ воқеан рух додааст, рӯйдодҳои воқеӣ аз рӯйдодҳои воқеанашуда бо предикати actual ҷудо карда мешаванд.

Намояндагии рӯйдодии Neo-Davidsonian

Дар семантикаи Neo-Davidsonian феълҳоро метавон ба ҷойи предикатҳои бисёрҷойӣ, ки ҳамаи иштирокчиёнро мустақиман мегиранд, ҳамчун предикатҳои якҷойӣ бар рӯйдодҳо баррасӣ кард. Иштирокчиён тавассути нақшҳои мавзӯӣ ба рӯйдод пайваст мешаванд. Масалан, дар таҳлили рӯйдодии ҷумлаи “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\) lexicon-и типбандишудаи гомоморфӣ байни ин ду vocabulary ва \(s\) distinguished type-и грамматикаро ифода мекунанд.

Бартарии муҳими ин меъморӣ ин аст, ки аз як забони абстрактии TAG derivation tree ба якчанд забони объект гузаштан мумкин аст. Як lexicon derivation tree-ро ба derived tree, lexicon-и дигар онро ба формулаи мантиқии семантикӣ табдил дода метавонад. Ҳамин тавр, як ҳосила манбаи умумии ҳам тафсири синтаксисӣ ва ҳам семантикӣ мешавад.

ACG-ҳои дараҷаи дуюм ва almost-linear

Мақола аз синфи ACG-и дараҷаи дуюм истифода мебарад, ки барои parsing ва generation аз ҷиҳати ҳисоббарорӣ муҳим аст. Азбаски дар намояндагиҳои семантикӣ як тағйирёбандаи рӯйдод бояд дар якчанд ҷой истифода шавад, манбаъ равиши ACG-и дараҷаи дуюмеро истифода мебарад, ки бо термҳои лямбдаи almost-linear-и Kanazawa васеъ шудааст.

Almost-linearity ба такроркунии худсаронаи тағйирёбандаҳои дараҷаи баланд иҷозат намедиҳад; аммо имкон медиҳад тағйирёбандаҳои типи атомӣ ҳангоми зарурат дар якчанд ҷой истифода шаванд. Азбаски тағйирёбандаи рӯйдод \(v\) типи атомӣ аст, дар семантикаи Neo-Davidsonian метавон ҳамон як рӯйдодро бо предикати феълӣ ва нақшҳои мавзӯӣ дар ҳамин чаҳорчӯба пайваст кард.

Принсипи гурӯҳи исмии Montagovian

Яке аз принсипҳои муҳими тарроҳӣ, ки муаллифон мехоҳанд нигоҳ доранд, ҷой додани номҳои хос ва гурӯҳҳои исмии квантификатсияшуда дар як оилаи умумии типҳо аз нигоҳи семантикӣ мебошад.

Мақола ихтисораи:

\[ \mho = v\rightarrow t \]

ро истифода мебарад. Дар ин ҷо \(v\) типи рӯйдод ва \(t\) типи арзиши ҳақиқат аст. Аз ин рӯ, типи тафсири гурӯҳи феълӣ:

\[ VP = e\rightarrow\mho \]

ва типи гурӯҳи исмӣ:

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

тартиб дода мешавад.

Ба шарофати ин сохтор гурӯҳҳои исмӣ мисли “Adam”, “a boy”, “every woman” бо вуҷуди доштани мундариҷаи луғавии гуногун метавонанд дар типи умумии NP-и дараҷаи баланд кор кунанд. Ин ҷанбаи муҳими Montagovian аст, ки мақола дар он аз баъзе интихоби типҳои Bernard ва Champollion фарқ мекунад.

Нақшҳои мавзӯӣ дар феълҳо

Муаллифон дар намояндагии семантикии феъл ҷойҳои муайяни нақшҳои мавзӯиро барои иштирокчиён ворид мекунанд. Масалан, барои феъли гузарнопазир сохтори схемавӣ:

\[ \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” дар сатҳи гурӯҳи феълӣ ҳамчун modifier-и коркунанда бар 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 барои инкор

Майдони одии VP-adjunction дар elementary tree-и стандартии TAG метавонад барои зарфҳо ва дигар тағйирдиҳандаҳои гурӯҳи феълӣ истифода шавад. Муаллифон нишон медиҳанд, ки истифодаи ҳамон майдон ҳам барои modifier-ҳои одӣ ва ҳам барои инкор аз ҷиҳати доираи семантикӣ нокифоя аст.

Ҳалли масъала додани ду майдони ҷудогонаи VP-adjunction ба elementary tree-и бо феъл анкершуда мебошад:

• майдони одии VP-adjunction: барои зарфҳо ва modifier-ҳои муқаррарии VP;
• майдони махсуси манфии VP-adjunction: барои инкори гурӯҳи феълӣ.

Майдони дуюм аз ҷиҳати синтаксисӣ ҳамоно мисли verbal modifier рафтор мекунад; аммо дар semantic lexicon тавре тафсир мешавад, ки на танҳо гурӯҳи феълӣ, балки тамоми мундариҷаи ҷумлаеро, ки аз пайвастани субъект ва гурӯҳи феълӣ ҳосил шудааст, фаро гирад.

Чаро ба типи дараҷаи сеюм гузар намекунанд?

Майдони нави инкор дар назари аввал метавонад ҳамчун аргументи функсионалии:

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

модел шавад. Аммо муаллифон махсус таъкид мекунанд, ки чунин интихоб abstract signature-ро ба дараҷаи сеюм мебардорад ва бартариҳои маълуми parsing/generation-и полиномӣ барои ACG-ҳои дараҷаи дуюм дигар ба таври умум татбиқ намешаванд.

Аз ин рӯ типи нави атомӣ муайян мешавад:

\[ 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-и нав низоми танге нест, ки меъмории пешинаро иваз кунад, балки васеъсозиест, ки онро дар бар мегирад.

Ҳосилаи васеъшуда чӣ гуна ба синтаксиси стандартӣ бармегардад?

Майдони нави инкор танҳо барои қудрати ифодаи семантикӣ илова шудааст. Муаллифон намехоҳанд, ки он дар синтаксиси сатҳӣ навъи нави дарахт эҷод кунад.

Аз ин рӯ lexicon-и ҷудогонае аз TAG derivation tree-и васеъшуда ба TAG derivation tree-и стандартӣ муайян мешавад. Майдони махсуси манфӣ ва майдони одии VP modifier дар тафсири синтаксисӣ бо композицияи функсионалӣ якҷо мешаванд ва натиҷа боз ҳам TAG derived tree-и стандартӣ аст.

Ин меъморӣ меҳвари равиши “аз ҷиҳати семантикӣ ғанитар, аз ҷиҳати синтаксисӣ стандартӣ” мебошад.

Масъалаи spurious ambiguity

Озод будани оператори modifier-composition, ки дар шакли аввал истифода шудааст, ҳамчун константа дар дохили TAG signature-и стандартӣ хавфи тавлиди шумораи беохири derivation term-ҳои гуногунро барои ҳамон як derived tree ба вуҷуд меорад. Бо такроран ворид кардани 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 ва меъмории TAG/ACG-и Blanck–Maskharashvili-ро ҷудо мекунанд; сипас бо муайян кардани типҳо, lexicon-ҳо ва термҳои лямбда ACG-и аввалеро месозанд, ки ин ду равишро якҷо мекунад. Пас аз нишон додани норасоии доираи баръакси низоми аввал, abstract syntax васеъ карда мешавад ва меъмории нав бо ҳосилаҳои ҷумлаҳои мураккаб санҷида мешавад.

Ҷараёни усули формалӣ

1. Аксиомаҳои зарурии Neo-Davidsonian event semantics ва семантикаи рӯйдодҳои манфӣ муайян мешаванд.
2. Сохторҳои initial/auxiliary tree, substitution, adjunction, derived tree ва derivation tree-и TAG муайян мешаванд.
3. TAG derivation tree-ҳо ҳамчун abstract language-и ACG-и дараҷаи дуюм код мешаванд.
4. Lexicon-ҳои ҷудогона аз TAG derivation tree ба derived tree ва logical semantics сохта мешаванд.
5. Бо истифода аз almost-linear lambda calculus event variable sharing бо ҳифзи синфи ҳисоббарорӣ амалӣ мешавад.
6. Барои гурӯҳҳои феълӣ, гурӯҳҳои исмӣ, ҷумлаҳо, нақшҳои мавзӯӣ ва closure типҳои negative-event-compatible semantic муайян мешаванд.
7. Мисолҳои мусбат ва манфӣ бо Proper name, existential NP ва universal NP ҳосил мешаванд.
8. Сохторҳои control, raising ва report verb аз ҷиҳати argument-sharing модел мешаванд.
9. Нишон дода мешавад, ки меъмории аввал бо инкори гурӯҳи феълӣ ва субъектҳои квантификатсияшуда танҳо хониши доираи сатҳиро медиҳад.
10. Extended TAG derivation signature бо майдони дуюми VP-adjunction барои Negation муайян мешавад.
11. Майдони нав ҳамчун типи атомӣ нигоҳ дошта мешавад; ҳамин тавр abstract grammar аз дараҷаи дуюм берун намеравад.
12. Мувофиқати бозгашти Extended derivation tree-ҳо ба TAG derivation/derived tree-ҳои стандартӣ таъмин мешавад.
13. Хавфи spurious ambiguity аз modifier composition ҷудо карда шуда, меъмории ниҳоии ACG мутобиқи он аз нав тартиб дода мешавад.
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-асоси комилан композиционии синтаксис–семантика ҳамгиро кардан мумкин аст.
• Common noun-phrase typing-и услуби Montague ва Neo-Davidsonian event semantics метавонанд дар як сохтор ҳифз шаванд.
• Proper name, quantified NP, event quantification, verbal negation ва clausal complement метавонанд дар як низоми умумии типбандишуда модел шаванд.
• Меъмории аввалини стандартии ҳосилаи TAG баъзе хонишҳои inverse-scope-ро тавлид карда наметавонад.
• Extended TAG derivations бо майдони ҷудогонаи VP-adjunction барои Negation ин норасоии доираро бартараф мекунанд.
• Extended derivation дар сатҳи syntax метавонад ба TAG derived tree-ҳои стандартӣ боз поён оварда шавад.
• Дар меъмории нав таъсирҳои existential ва universal quantifier–negation, ки пештар дастнорас буданд, ҳосил мешаванд.
• Сохторҳои мураккабтар бо argument-sharing, negation ва quantified noun phrases дар як semantic architecture ифода мешаванд.
• Азбаски abstract grammar дар дараҷаи дуюм нигоҳ дошта шудааст, алгоритмҳои полиномии parsing ва generation татбиқшаванда мемонанд.

Натиҷаҳое, ки таҳқиқот дастгирӣ намекунад

• Таҳқиқот ба таври таҷрибавӣ нишон намедиҳад, ки меъмории нав дар низомҳои воқеии NLP дақиқии баландтар медиҳад.
• Суръати parsing ё муваффақияти semantic parsing-ро дар corpus-и калон чен намекунад.
• Даъво намекунад, ки ҳамаи шаклҳои инкори забони табиӣ ҳал шудаанд.
• Исбот намекунад, ки семантикаи рӯйдодҳои манфӣ ягона назарияи дурусти инкори забони табиӣ аст.
• Даъвои мураккабии полиномӣ кафолат намедиҳад, ки вақти амалии кор дар барномаҳои мушаххас ҳамеша кам хоҳад буд.
• Манбаъ грамматикаи универсалии анҷомёфтаро барои ҳалли ҳамаи навъҳои scope ambiguity-и забони табиӣ пешниҳод намекунад.
• Ҳар ду negative-event interface-и Bernard ва Champollion-ро дар як ACG пурра муттаҳид намекунад; ин муттаҳидсозӣ барои кори оянда гузошта шудааст.

Маҳдудиятҳо ва кори оянда

Доираи мақола бо маҷмӯи интихобшудаи падидаҳои забони табиӣ маҳдуд аст. Гарчанде Negation, event quantification, quantified noun phrases, argument-sharing ва clausal complements муфассал баррасӣ мешаванд, ҳамаи масъалаҳои семантикаи забони табиӣ модел намешаванд.

Код кардани равиши пештари комилан compositional “semantic”-и Bernard ва Champollion бо равиши баъдии “syntactic”, ки semantic type-ҳои пасттарро истифода мебарад, дар дохили ACG зери як заминаи ягона анҷом наёфтааст. Муаллифон ACG-ро ба қадри кофӣ умумӣ медонанд ва фикр мекунанд, ки он дар оянда барои ин ду равиш formal ground-и муштарак фароҳам карда метавонад.

Маҳдудияти дигари таҳқиқот набудани арзёбии эмпирикӣ аст. Formal derivations ва computational-class properties нишон дода мешаванд; аммо фарогирии васеи corpus, гуногунзабонӣ, миқёспазирии parser implementation ё кори воқеии барнома алоҳида арзёбӣ нашудаанд.

Пешниҳоди бозсозии Verianla аз шаклҳои манбаъ

Барои Verianla бозрасмкунии дорои арзиши баландтари омӯзишӣ меъмории сеқабатаест, ки бар Шакли 9-и манбаъ асос ёфтааст, вале аз ҷиҳати визуалӣ аслӣ мебошад:

1. Extended TAG Derivation: VP-adjunction-и одӣ + negation adjunction-и махсус.
2. Роҳи Syntax: extended derivation → standard 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).

Равиши таҳқиқот: Тарроҳии грамматикаи формалӣ ва syntax–semantics interface, ки Abstract Categorial Grammar, Tree-Adjoining Grammar, simply typed/almost-linear lambda calculus, мантиқи дараҷаи баланд ва семантикаи рӯйдодҳои манфии Neo-Davidsonian-ро якҷо мекунад.

Саволи асосии таҳқиқот: Оё Negative-event semantics метавонад таъсири negation–quantification scope-ро бо нигоҳ доштани тафсирҳои Montagovian-и гурӯҳи исмӣ, синтаксиси стандартии TAG, композиционалии пурра ва хусусиятҳои ҳисоббарории қулайи ACG-и дараҷаи дуюм модел кунад?

Навоварии асосии техникӣ: Дар сатҳи ҳосила илова кардани майдони махсуси verb-phrase negation adjunction дар TAG elementary tree-ҳо, ки аз майдони одии VP modifier ҷудо аст ва дар семантика clause-level scope мегирад.

Ҳадди мураккабӣ: Майдони нави negation ҳамчун типи атомӣ муайян шуда, abstract ACG дар дараҷаи дуюм нигоҳ дошта шудааст. Натиҷаи полиномии parsing/generation-и мақола ба хосиятҳои маълуми ҳисоббарории ҳамин синфи формалӣ асос меёбад; ин runtime benchmark-и нав нест.

Код ва маълумот: Маводи грамматика/коде, ки мақоларо дастгирӣ мекунад, дар репозиторияи ACGnevent GitHub-и муаллифон дастрас аст. Дар манбаъ санаи дастрасӣ ба репозиторий 18 Май 2026 нишон дода шудааст.

Абзори истифодашуда: Гуфта мешавад, ки барои код кардани грамматикаҳо ва мисолҳо маҷмӯаи абзори ACGtk истифода шудааст.

Маблағгузорӣ: Маблағгузории беруна гирифта нашудааст.

Кумитаи ахлоқ: Татбиқ намешавад.

Розигии огоҳона: Татбиқ намешавад.

Бархӯрди манфиатҳо: Муаллифон гузориш медиҳанд, ки бархӯрди манфиатҳо вуҷуд надорад.

Саҳми муаллифон: Консептуализатсия ва методология — ҳар се муаллиф; код — Aleksandre Maskharashvili ва Symon Jory Stevens-Guille; мисолҳо — Aleksandre Maskharashvili ва Elena Vaikšnoraitė; тарҳи аввал — ҳар се муаллиф; бозбинӣ ва таҳрир — Aleksandre Maskharashvili ва Elena Vaikšnoraitė.

Маҳдудияти асосии усулӣ: Таҳқиқот қудрати ифодаи ҳосилаҳои формалӣ ва хусусиятҳои ҳисоббарории синфи ACG-и истифодашударо нишон медиҳад; аммо дақиқии таҷрибавии corpus-based semantic parsing, practical 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, фоизи муваффақият ё вақти ҳисоббарории дар манбаъ набуда илова нашудааст.