القواعد النحوية الفئوية التوافقية

📅 آخر تحديث: ٢٣ يوليو ٢٠٢٦
✍️ نُشر في: ٢٣ يوليو ٢٠٢٦
📷 يحتوي على 19 صور
الموسوعة الحرة

في اللسانيات الرسمية ، تُعدّ قواعد النحو الفئوية التوافقية ( CCG ) شكلاً نحوياً قابلاً للتحليل بكفاءة ، ومع ذلك يتميز بقدرته التعبيرية اللغوية. فهي توفر واجهة شفافة بين التركيب النحوي السطحي والتمثيل الدلالي الكامن، بما في ذلك بنية المسند والمسند إليه ، والكمية ، وبنية المعلومات. يُنتج هذا الشكل النحوي بنىً قائمة على المكونات (بدلاً من البنى القائمة على التبعية)، ولذلك فهو نوع من قواعد بنية العبارة (بدلاً من قواعد التبعية ).

تعتمد قواعد اللغة المركبة (CCG) على المنطق التوافقي ، الذي يتمتع بنفس القدرة التعبيرية لحساب لامدا ، ولكنه يبني تعبيراته بطريقة مختلفة. وقد قدم ستيدمان وسزابولتشي أولى الحجج اللغوية والنفسية اللغوية لتأسيس قواعد اللغة على التوافقيات .

من أبرز المؤيدين المعاصرين لنظرية الربط النحوي المركب (CCG) بولين جاكوبسون وجيسون بالدريدج ، اللذان واصلا تطويرها. في هذه المناهج الجديدة، وُجد أن المُركِّب B (المُركِّب) مفيد في إنشاء علاقات ارتباط بعيدة المدى، كما في جملة "عن من تعتقد أن ماري تتحدث؟"، وأن المُركِّب W (المُكرِّر) مفيد في التفسير المعجمي للضمائر الانعكاسية، كما في جملة "ماري تتحدث عن نفسها". تشكل هذه المُركِّبات، إلى جانب I (مُطابقة الهوية) و C (المُبدِّل)، مجموعة من المُركِّبات الأولية غير القابلة للتعريف المتبادل. تُفسِّر جاكوبسون الضمائر الشخصية على أنها المُركِّب I ؛ ويتم ربطها بواسطة مُركِّب مُركَّب Z ، كما في جملة "ماري ضلت طريقها". يُمكن تعريف Z باستخدام W و B.

أجزاء من الشكلية

يُعرّف نموذج CCG عددًا من المُركِّبات (أكثرها شيوعًا التطبيق، والتركيب، ورفع النوع). تعمل هذه المُركِّبات على المفردات المُصنَّفة نحويًا، باستخدام براهين على غرار الاستدلال الطبيعي . يهدف البرهان إلى إيجاد طريقة لتطبيق المُركِّبات على سلسلة من المفردات، حتى لا تبقى أي مفردة غير مستخدمة في البرهان؛ بعد اكتمال البرهان ، يكون النوع الناتج هو نوع التعبير بأكمله. وبالتالي، فإن إثبات أن سلسلة من الكلمات تُشكِّل جملة في لغة ما يُعادل إثبات أن الكلمات تُختزل إلى النوع S.

الأنواع التركيبية

يمكن أن يكون النوع النحوي للوحدة المعجمية إما نوعًا أوليًا - مثل S أو N أو NP - أو نوعًا معقدًا، مثل ⁠S∖شمالP{\displaystyle S\backslash NP}أو​​شمالP/شمال{\displaystyle NP/N}⁠ .

الأنواع المعقدة، التي يمكن تمثيلها تخطيطيًا على النحو التالي :X/Y{\displaystyle X/Y}و​​X∖Y{\displaystyle X\backslash Y}تشير `X` إلى أنواع الدوال التي تأخذ وسيطًا من النوع Y وتُرجع كائنًا من النوع X. يشير الخط المائل الأمامي إلى أن الوسيط يجب أن يظهر على اليمين، بينما يشير الخط المائل العكسي إلى أن الوسيط يجب أن يظهر على اليسار. يمكن لأي نوع أن يحل محل X و Y هنا، مما يجعل الأنواع التركيبية في CCG نظام أنواع تكراري.

مُجمِّعات التطبيقات

تُطبّق مُركّبات التطبيق - والتي يُرمز لها غالبًا بـ > للتطبيق الأمامي، و < للتطبيق العكسي - عنصرًا معجميًا من نوع دالة على وسيط من نوع مناسب. ويمكن تعريف التطبيق على النحو التالي:

α:X/Yβ:Yαβ:X>{\displaystyle {\dfrac {\alpha :X/Y\qquad \beta :Y}{\alpha \beta :X}}>}
β:Yα:X∖Yβα:X<{\displaystyle {\dfrac {\beta :Y\qquad \alpha :X\backslash Y}{\beta \alpha :X}}<}

مُركِّبات التأليف

مُركِّبات التركيب - والتي يُشار إليها غالبًا بـب>{\displaystyle B_{>}}للتأليف الأمامي، وب<{\displaystyle B_{<}}بالنسبة للتركيب العكسي، فهي مشابهة لتركيب الدوال في الرياضيات، ويمكن تعريفها على النحو التالي:

α:X/Yβ:Y/Zαβ:X/Zب>{\displaystyle {\dfrac {\alpha :X/Y\qquad \beta :Y/Z}{\alpha \beta :X/Z}}B_{>}}
β:Y∖Zα:X∖Yβα:X∖Zب<{\displaystyle {\dfrac {\beta :Y\backslash Z\qquad \alpha :X\backslash Y}{\beta \alpha :X\backslash Z}}B_{<}}

مُركِّبات رفع النوع

مُركِّبات رفع النوع - والتي يُشار إليها غالبًا بـتي>{\displaystyle T_{>}}لرفع الأحرف للأمام وتي<{\displaystyle T_{<}}بالنسبة لرفع النوع العكسي - قم بتحويل نوع وسيط (عادةً ما يكون نوعًا بدائيًا) إلى نوع دالة، والذي يأخذ كوسيط دالة تأخذ نوع الوسيط الأصلي (أي قبل الرفع):

α:Xα:تي/(تي∖X)تي>{\displaystyle {\dfrac {\alpha :X}{\alpha :T/(T\backslash X)}}T_{>}}
α:Xα:تي∖(تي/X)تي<{\displaystyle {\dfrac {\alpha :X}{\alpha :T\backslash (T/X)}}T_{<}}

مثال

للجملة "عض الكلب جون" عدة براهين محتملة. فيما يلي بعضها. يُظهر تنوع البراهين أن الجمل في نظرية القواعد النحوية الكلاسيكية لا تملك بنية واحدة، كما هو الحال في نماذج القواعد الأخرى.

لنفترض أن أنواع هذه المفردات هي

ال:شمالP/شمالكلب:شمالجون:شمالPقليل:(S∖شمالP)/شمالP{\displaystyle {\text{the}}:NP/N\qquad {\text{dog}}:N\qquad {\text{John}}:NP\qquad {\text{bit}}:(S\backslash NP)/NP}

يمكننا إجراء أبسط برهان (مع تغيير طفيف في الترميز للاختصار) على النحو التالي:

الشمالP/شمالكلبشمالشمالP>قليل(S∖شمالP)/شمالPجونشمالPS∖شمالP>S<{\displaystyle {\dfrac {{\dfrac {{\dfrac {\text{the}}{NP/N}}\qquad {\dfrac {\text{dog}}{N}}}{NP}}>\qquad {\dfrac {{\dfrac {\text{bit}}{(S\backslash NP)/NP}}\qquad {\dfrac {\text{John}}{NP}}}{S\backslash NP}}>}{S}}<}

باختيارنا رفع مستوى الكتابة وتكوين بعض الجمل، يمكننا الحصول على برهان تدريجي كامل من اليسار إلى اليمين. إن القدرة على بناء مثل هذا البرهان دليل على المعقولية النفسية اللغوية لنظرية CCG، لأن المستمعين في الواقع يبنون تفسيرات جزئية (نحوية ودلالية) للعبارات قبل اكتمالها.

الشمالP/شمالكلبشمالشمالP>S/(S∖شمالP)تي>قليل(S∖شمالP)/شمالPS/شمالPب>جونشمالPS>{\displaystyle {\dfrac {{\dfrac {{\dfrac {{\dfrac {{\dfrac {\text{the}}{NP/N}}{\dfrac {\text{dog}}{N}}\qquad }{NP}}>}{S/(S\backslash NP)}}T_{>}\qquad {\dfrac {\text{bit}}{(S\backslash NP)/NP}}}{S/NP}}B_{>}\qquad {\dfrac {\text{John}}{NP}}}{S}}>}

الخصائص الرسمية

من حيث التسلسل الهرمي لتشومسكي-شوتزنبرغر ، يمكن لمجموعات اللغات ذات السياق المعقد (CCGs) توليد لغات خالية من السياق ، وبعض اللغات الحساسة للسياق ولكن ليس كلها.

ومن الأمثلة على اللغات غير الخالية من السياق التي يمكن أن تولدها مجموعات اللغات المعتمدة على السياق (CCGs) هي اللغةأنبنجندن:ن≥0{\displaystyle {a^{n}b^{n}c^{n}d^{n}:n\geq 0}}(وهي لغة مفهرسة ). يمكن إيجاد قواعد هذه اللغة في كتاب فيجاي شانكر ووير (1994). [ 1 ]

يُبيّن فيجاي شانكر ووير (1994) [ 1 ] أن القواعد النحوية الخطية المفهرسة ، والقواعد النحوية الفئوية التوافقية، وقواعد تجاور الأشجار ، وقواعد الرأس ، هي صيغ متكافئة بشكل ضعيف ، إذ تُعرّف جميعها لغات السلاسل النصية نفسها. ويُظهر كولمان وآخرون (2015) [ 2 ] أن هذا التكافؤ، وقدرة القواعد النحوية الفئوية التوافقية على وصفأنبنجندن{\displaystyle {a^{n}b^{n}c^{n}d^{n}}}، وتعتمد بشكل حاسم على القدرة على تقييد استخدام قواعد التجميع لفئات معينة، بطرق لم يتم شرحها أعلاه.

انظر أيضاً

مراجع

  1. 1 2 فيجاي شانكر، ك. ووير، ديفيد ج. 1994. تكافؤ أربعة امتدادات لقواعد اللغة الخالية من السياق. مؤرشف في 17-12-2018 على موقع Wayback Machine . نظرية الأنظمة الرياضية 27(6): 511-546.
  2. ↑ كولمان، م.، كولر، أ.، وساتا، ج. 2015. المفردات والقدرة التوليدية في CCG مؤرشفة في 2019-12-20 على Wayback Machine . اللغويات الحاسوبية 41(2): 215-247.

للمزيد من القراءة