کاربرد برنامه‌نویسی مجموعه پاسخ در فراگیری زبان دوم: صوری‌سازی نظریه پردازش ورودی

2.1. برنامه‌نویسی مجموعه پاسخ (ASP)

ASP یک پارادایم برنامه‌نویسی اعلانی مبتنی بر معناشناسی مدل پایدار (مجموعه پاسخ) در برنامه‌نویسی منطقی است. این پارادایم در بازنمایی استدلال پیش‌فرض، اطلاعات ناقص و حوزه‌های پویا — ویژگی‌های محوری در مدل‌سازی فرآیندهای شناختی انسان — برتری دارد. یک قاعده در ASP به این شکل است: head :- body.، که در آن head در صورت برآورده شدن body درست است. راهبردهای پیش‌فرض را می‌توان به زیبایی با استفاده از نفی به عنوان شکست (not) بازنمایی کرد.

2.2. نظریه پردازش ورودی

نظریه IP که توسط ون‌پتن ارائه شده، مدعی است که زبان‌آموزان دوم، به ویژه مبتدیان، به دلیل منابع پردازشی محدود (حافظه فعال) و دانش دستوری ناقص، از مجموعه‌ای از راهبردهای اکتشافی پیش‌فرض برای استخراج معنا از ورودی استفاده می‌کنند. یک اصل کلیدی، اصل اسم اول است: زبان‌آموزان تمایل دارند نقش فاعل/کننده را به اولین اسم یا ضمیری که در جمله با آن مواجه می‌شوند نسبت دهند. این امر منجر به سوءتفسیرهای نظام‌مند می‌شود، مانند تفسیر جمله مجهول "The cat was bitten by the dog" به صورت "The cat bit the dog" (گربه سگ را گاز گرفت).

3.1. مدل‌سازی راهبردهای پیش‌فرض

اصول IP به عنوان قواعد ASP کدگذاری می‌شوند. برای مثال، اصل اسم اول را می‌توان به عنوان یک قاعده پیش‌فرض نشان داد که زمانی اعمال می‌شود که نشانه‌های دستوری (مانند نشانگرهای صدای مجهول) به دلیل محدودیت منابع پردازش نشده‌اند:

% پیش‌فرض: نسبت دادن نقش کننده به اولین اسم
assign_agent(FirstNoun, Event) :-
    sentence_word(FirstNoun, Position1, Noun),
    sentence_word(Verb, Position2, VerbLex),
    Position1 < Position2,
    event(Event, VerbLex),
    not processed(grammatical_cue(passive, Verb)),
    not overridden_by_grammar(Event).

شرط not processed(...) محدودیت منابع را ثبت می‌کند و قاعده را غیریکنواخت می‌سازد.

3.2. بازنمایی دانش و منابع زبان‌آموز

این مدل، بازنمایی پویایی از وضعیت زبان‌آموز را دربرمی‌گیرد:

• دانش واژگانی: واقعیت‌هایی مانند knows_word(learner, 'dog', noun, animal).
• دانش دستوری: قواعد درونی‌شده (مثلاً برای صدای مجهول).
• منابع پردازشی: به عنوان محدودیت‌هایی مدل‌سازی می‌شوند که تعداد ویژگی‌های دستوری قابل پردازش همزمان در یک جمله معین را محدود می‌کنند.

تعامل بین راهبردهای پیش‌فرض و دانش دستوری اکتساب‌شده از طریق اولویت‌های قاعده یا قواعد لغو مدل‌سازی می‌شود.

4.1. معماری سیستم

PIas (پردازش ورودی به عنوان یک سیستم) یک نمونه اولیه است که یک جمله انگلیسی و یک پروفایل زبان‌آموز (سطح مهارت تقریبی، واژگان/دستور شناخته شده) را به عنوان ورودی می‌گیرد. این سیستم از مدل صوری‌شده ASP برای تولید یک یا چند تفسیر پیش‌بینی‌شده (مجموعه‌های پاسخ) استفاده می‌کند.

4.2. پیش‌بینی‌های تجربی و اعتبارسنجی

مقاله خروجی سیستم را برای مثال‌های کلاسیک نشان می‌دهد. برای جمله مجهول "The cat was bitten by the dog" و یک پروفایل مبتدی:

• تفسیر پیش‌بینی‌شده 1 (پیش‌فرض): کننده=گربه، عمل=گاز گرفتن، پذیرنده=سگ. (تفسیر نادرست معلوم).
• شرط تفسیر صحیح: مدل تنها در صورتی تفسیر صحیح مجهول را پیش‌بینی می‌کند که پروفایل زبان‌آموز شامل دانش پردازش‌شده از ریخت‌شناسی صدای مجهول باشد (processed(grammatical_cue(passive, 'bitten'))) و قاعده پیش‌فرض را لغو کند.

این پیش‌بینی‌های محاسباتی با مشاهدات تجربی از پژوهش‌های SLA همسو هستند و اعتبار ظاهری مدل را تأیید می‌کنند. صوری‌سازی همچنین ابهامات بالقوه در نظریه زبان طبیعی را آشکار کرد و اصلاحاتی را پیشنهاد داد.

5.1. صوری‌سازی منطقی هسته

هسته مدل را می‌توان با استفاده از محدودیت‌های منطقی انتزاع کرد. فرض کنید $L$ وضعیت دانش زبان‌آموز، $S$ جمله ورودی و $R$ منابع پردازشی در دسترس باشد. یک تفسیر $I$ مجموعه‌ای از نقش‌های معنایی و روابط است. نظریه IP، $T$ یک تابع نگاشت $F_T$ را تعریف می‌کند که توسط راهبردهای پیش‌فرض $D$ محدود شده است:

$I = F_T(S, L, R) \quad \text{subject to} \quad \sum_{g \in G(S)} \text{cost}(g) \leq R$

که در آن $G(S)$ مجموعه ویژگی‌های دستوری در $S$ است و $\text{cost}(g)$ بار شناختی پردازش $g$ است. راهبردهای پیش‌فرض $D$ اگر $g \notin \text{processed}(L, R, S)$ باشد اعمال می‌شوند.

5.2. مثال چارچوب تحلیل

تحلیل موردی: اصل اسم اول در ساختارهای نحوی مختلف.

ورودی: "The book was given to Mary by John." (مجهول پیچیده با فعل دو مفعولی).
پروفایل زبان‌آموز: مبتدی؛ کلمات 'book', 'give', 'Mary', 'John' را می‌شناسد؛ ریخت‌شناسی مجهول یا ساخت مفعول غیرمستقیم را پردازش نمی‌کند.
اجرای مدل ASP:
1. بازیابی واژگانی: BOOK, GIVE, MARY, JOHN.
2. پردازش دستوری برای مجهول ('was given') و مفعول غیرمستقیم ('to Mary') ناموفق است.
3. اصل پیش‌فرض اسم اول فعال می‌شود: نقش کننده به BOOK نسبت داده می‌شود.
4. راهبرد پیش‌فرض ترتیب خطی: توالی به صورت کننده-عمل-گیرنده-؟ تفسیر می‌شود (نقش JOHN مبهم است).
خروجی پیش‌بینی‌شده: ممکن است چندین مجموعه پاسخ ایجاد شود، مثلاً {agent(BOOK), action(GIVE), recipient(MARY), other_participant(JOHN)} که منجر به تفسیر سردرگم‌کننده‌ای مانند "کتاب چیزی به مری داد (و جان هم درگیر بود)" می‌شود. این امر ناحیه خاصی از سردرگمی را برای زبان‌آموزان مشخص می‌کند که مدرسان می‌توانند بر آن تمرکز کنند.