ASP의 제2언어 습득 적용: 입력 처리 이론의 형식화

2.1. 답변 집합 프로그래밍 (ASP)

ASP는 논리 프로그래밍의 안정 모델(답변 집합) 의미론에 기반한 선언적 프로그래밍 패러다임입니다. 이는 인간 인지 과정을 모델링하는 데 핵심적인 기본 추론, 불완전 정보, 동적 영역을 표현하는 데 탁월합니다. ASP의 규칙은 head :- body. 형태를 가지며, 본문이 충족될 때 머리가 참이 됩니다. 기본값은 실패로서의 부정(not)을 사용하여 우아하게 표현될 수 있습니다.

2.2. 입력 처리 이론

VanPatten이 제안한 IP 이론은 제2언어 학습자, 특히 초보자들이 제한된 처리 자원(작업 기억)과 불완전한 문법 지식으로 인해 입력에서 의미를 추출하기 위해 일련의 기본 발견법을 사용한다고 주장합니다. 핵심 원칙 중 하나는 첫 번째 명사 원칙입니다: 학습자는 문장에서 처음 마주치는 명사나 대명사에 행위자/주어 역할을 부여하는 경향이 있습니다. 이는 "고양이가 개에게 물렸다"라는 수동태 문장을 "고양이가 개를 물었다"로 해석하는 것과 같은 체계적인 오해석을 초래합니다.

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. 실험적 예측 및 검증

본 논문은 고전적인 예시에 대한 시스템의 출력을 보여줍니다. 수동태 문장 "고양이가 개에게 물렸다"와 초보자 프로필에 대해:

• 예측된 해석 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$를 처리하는 인지 부하입니다. 기본값 $D$는 $g \notin \text{processed}(L, R, S)$일 때 적용됩니다.

5.2. 분석 프레임워크 예시

사례 분석: 다른 통사 구조에서의 첫 번째 명사 원칙.

입력: "그 책은 존에 의해 메리에게 주어졌다." (이중 목적어 동사를 가진 복잡한 수동태).
학습자 프로필: 초보자; '책', '주다', '메리', '존' 단어를 앎; 수동태 형태론이나 여격 구문을 처리하지 못함.
ASP 모델 실행:
1. 어휘 검색: 책, 주다, 메리, 존.
2. 수동태('주어졌다')와 간접 목적어('메리에게')에 대한 문법 처리 실패.
3. 기본 첫 번째 명사 원칙 작동: 책에 행위자 역할 부여.
4. 기본 선형 순서 전략: 순서가 행위자-행동-수혜자-?로 해석됨 (존의 역할은 모호함).
예측된 출력: 여러 답변 집합이 발생할 수 있음, 예: {agent(책), action(주다), recipient(메리), other_participant(존)}은 "책이 메리에게 무언가를 주었다 (그리고 존이 관련되었다)."와 같은 혼란스러운 해석으로 이어집니다. 이는 교사가 집중할 수 있는 학습자의 특정 혼란 영역을 정확히 지적합니다.