ASPの第二言語習得への応用：入力処理理論の形式化

2.1. アンサーセットプログラミング (ASP)

ASPは、論理プログラミングの安定モデル（アンサーセット）意味論に基づく宣言型プログラミングパラダイムである。これは、人間の認知プロセスをモデル化する上で中心となるデフォルト推論、不完全情報、動的領域の表現に優れている。ASPにおけるルールは head :- body. の形式を持ち、本体が満たされるときに頭部が真となる。デフォルトは失敗としての否定 (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（デフォルト）： 行為者=CAT、動作=BITE、被行為者=DOG。（誤った能動解釈）。
• 正しい解釈の条件： モデルは、学習者プロファイルが受動態の形態論に関する処理済み知識 (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$を処理する認知的負荷である。デフォルト$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)} は、「その本がメアリーに何かを与えた（そしてジョンが関与した）」のような混乱した解釈につながる。これは、指導者が対象とできる学習者の特定の混乱領域を指し示す。