ASP應用於第二語言習得：形式化輸入處理理論

2.1. 答案集編程（ASP）

ASP係一種基於邏輯編程穩定模型（答案集）語義嘅聲明式編程範式。佢擅長表示默認推理、不完整資訊同動態領域——呢啲都係模擬人類認知過程嘅核心特徵。ASP中嘅規則形式為：head :- body.，當主體（body）滿足時，頭部（head）為真。默認情況可以優雅地使用失敗即否定（not）來表示。

2.2. 輸入處理理論

由VanPatten提出嘅IP理論認為，第二語言學習者，特別係初學者，由於處理資源（工作記憶）有限同語法知識不完整，會使用一套默認啟發式方法從輸入中提取意義。一個關鍵原則是首名詞原則：學習者傾向於將施事者/主語角色分配畀佢哋喺句子中遇到嘅第一個名詞或代詞。呢個會導致系統性嘅誤解，例如將被動句「The cat was bitten by 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（Processing Input as a System）係一個原型系統，以一個英文句子同一個學習者檔案（近似嘅熟練程度、已知詞彙/語法）作為輸入。佢使用形式化嘅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$定義咗一個受默認$D$約束嘅映射函數$F_T$：

$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$嘅認知負荷。如果$g \notin \text{processed}(L, R, S)$，則應用默認$D$。

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)}，導致一個混亂嘅理解，例如「本書畀咗啲嘢Mary（而John有份參與）」。呢個精確指出咗學習者會感到困惑嘅特定領域，教師可以針對呢點進行教學。