전산언어학과 인공지능에서의 격
격과 결합가 그리고 전산언어학 : Harold Somers 지음, 우형식.정유진 옮김, 한국문화사, 1998 (원서 : Valency and Case in Computational Linguistics, Edinburgh Univ. Press, 1987), Page 319~389
우선 전산언어학과 AI 에서 관심을 갖는 몇몇 기본 영역들을 개괄할 것이나, 세부적으로 논의하지는 않을 것이다. 그 다음에 몇 가지 개별 체계와 제기된 문제에 대한 특정한 관점을 고려할 것이다. 이 장은 그 영역에서의 격의 이용에 대해 더 일반적으로 논의하면서 마무리될 것이다. 더 협소하기는 하지만 유사한 관찰이 Bruce (1975) 에 의해 출판되었다. Bruce에 의해 기술된 대부분의 체계가 동료들의 것이고 그의 광범위한 언급이 주로 간행되지 않은 기술적 보고이기는 하나, Bruce 는 형식적인 언어 훈련이 부족한, 수많은 그 분야 연구자들의 관심을 격으로 돌리도록 기여했다.
우리는 먼저, 어떤 의미에서 격을 '이용하는' 전산언어처리 실행과 격을 언어학적 이론으로서 연구하는 데 직접 관심을 갖는 실행을 구분하고자 한다. Rosner & Somers (1980:2) 에서는 격이 다른 어떤 다른 목적의 한 부문으로서 이용되어 온 많은 전산영역 (computational domains) 을 목록화했다. 여기에는 일반적 목적의 언어 이해 체계 (general-purpose language understanding systems), 자연 언어로 운영되는 질의 - 응답기 (natural-language front-ends) 그리고 / 혹은 데이터베이스 개발, 추론 그리고 기억, 인지 혹은 신념 체계의 모형화, 자동 추상화와 요약, 자동 프로그래밍과 발화 이해 (speech under-standing)가 포함된다. 이 같은 격 - 이용 체계와의 대조적으로, 우리는 텍스트의 격 - 기반 표상 (Case-based representations) 의 생성을 유일한 목표로 하는 프로그램을 고려할 것이다. 이 표상이 위에 목록화된 것들과 같은 목적에 사용되든, 단지 언어학적 모형의 실행가능성의 증거이든, 심지어 격에 대한 경쟁 모형들을 시험하는 환경에 제공하든 간에. 이 범주에 들어가는 체계로는 Marcus (1980) 의 PARSIFAL, Celce-Murcia (1975) 의 UCLA / Air-Force 문법의 실행 (Stockwell 등, 1973) 과 우리 자신의 PTOSYS (Somers & johnson, 1979; Somers 1980a) 가 있다. 여기서 고려하지 않은 더 유사한 체계 셋은, Friedman (1970), Binot 등 (1980) 의 불어 분해기 (parser) SABA, 그리고 그들의 독일어의 통사 분해기 AMAZON 에 대한 확장인 van Bakel & Hoogeboom (1981) 의 KASUS 이다.
격을 이용하는 수많은 체계들은, 기본적으로 통사적 분해 (parser) 를 우선한다. 그것은 전형적으로 주동사와, 격 값 (case values) 이 할당되는 그 ' 논항들 (arguments)' (명사구와 부사류 ) 을 구분하는 것을 목표로 한다. 모두는 아니지만 많은 체계에서 이 통사적 국면은 확장 전이망 (an Augmented Transition Network; ATN) 분해기로 실현된다 (Woods, 1970; cf. Bates, 1978; Johnson, 1983; Winograd, 1983; 195-271). 특히 흥미로운 것 중에는 Nash-Webber (1975) 의 발화 이해 체계 SPEECHLIS 와 같은, 통사적이고 격과 평행한 의미적 기준이 나란히 사용된 것들이 있다. Taylor 등 (1977) 의 분해기에서 격할당 (case assignment) 은 다른 동사 의미들 (senses) 을 구별하기 위해 사용되는데, 예비적인 ATN- 운영 (ATN-drive) 분해를 따른다. 예를 들어 Wilks (1973a, b) 의 체계 같은 몇몇 체계들은 통사론을 모두 배제한다. 반면, Hendrix 등 (1973) 의 질의 - 응답 체계는 특별히 흥미로운데, 그 분해기가 격 - 운영되는 ATN 처럼 보이기 때문이다. 분해에서는 통사론과 의미론의 역할에 대한 일반적인 논의는 Ritchie (1983) 을 보라.
수 많은 언어처리 체계가 '표준적인 (standard)' 격 체계 - 전형적으로 Fillmore (1971b) 나 심지어 Fillmore (1968a) 의 것 - 을 채택해 왔다. 반면, 목적을 가지고 만들어진 격 집합 (purpose-built set of cases) 이 도입된 것도 있다. 이러한 입장은 Taylor & Rosenberg (1975) 의 분해기와 특히 30 개 이상의 격이 이용된 Martin (1973) 의 체계에서 예시된다. 그러나 흥미롭고 보다 더 논쟁 거리가 될 만한 것은, 격을 이용하는 것처럼 보이거나 이용한다고 주장하는 체계인데, 거기서 격들은 일반 영역과 관련하여 '특화된 (specialized)' 다. 이런 접근의 예로는 CHRONOS (Kulikowski & Weiss, 1971; Chokhani, 1973), 그리고 PLANES (Waltz, 1978) 가 있으며, PROLID (Harbusch & Rothkegel, 1984) 에서처럼 특화된 격과 일반 격이 흥미롭게 혼합되어 있다. 그렇지만 자세히 논의하게 될 Bobrow & Winograd (1977) 의 KRL 이 이것의 주요한 예이다.
근본적으로 언어 - 지향적인 (oriented) 체계와 좀 더 심층의 인지적 양상을 표상하거나 포착할 것을 주장하는 체계는 전 영역에 걸쳐 중요하게 대조된다. 고전적인 '심층' 체계에서는 Schank (1972, 1973a, b, 1975, 1977) 의 '개념적 의존성 (Conceptual Dependency)' (CD) 과 Rumelhart 등 (1972), Rumelhart & Norman (1973), Norman 등 (1975) 의 장기 기억 모형 (the long- term memory model) 이 있다. Schank 의 CD 만큼 심층적이지는 않지만, 이것은 여전히 언어적이라기보다는 분명히 인지적이다. 이미 언급된 많은 체계들은 이런 점에서 이 둘과 대조적이며, 일반적으로 심리학적인 모형으로 개발되지는 않았다. 이런 점에서 Simmons (1972, 1973) 과 Simmons & Slocum (1972) 의 연구는 흥미로운 비교를 하게 한다. Rosner & Somers (1980) 에서는 문장과 동사에 대한 격틀과 사건과 사건 유형에 대한 격틀을 대조하면서, 이 차이를 다소 깊이 있게 고려하였다. 우리는 적절한 때에 이 논의의 몇몇 요점을 재 요약할 것이다. 또 격이 실제로 이 두 층위 사이의 사상 (mapping) 을 제공하는 데 얼마나 적절한지를 고려할 것이다. 동시에 근본적으로 단어의 통사적 행동을 기술하고자 하는 언어학자에게나, 단어를 표현하는 데 사용된 언어와는 독립적인 개념과 개념과 (conceptualisations) 의 모형을 만들고자 하는 인지 심리학자에게, 격은 전혀 이상적이지 않다는 점을 주목할 것이다. 오히려, 격은 ( 쓰러질 듯하기는 하지만 ) 그 두 층위 사이의 교량을 제공한다.
이 절에서는 어떤 텍스트의 격 분석을 중심된 목표로 하는 많은 전산 체계를 살펴볼 것이다. 그러한 체계는 중요한데, 그것이 격문법의 다양한 요소들이 어떻게 전산 체계에 최상으로 작동될 수 있는지를 면밀히 고려하게 하기 때문이다. 나중에 고려하게 될 다른 결과물들은 목적지향적인 목표 (ends-goals) 와 더 관련되고, 그래서 더 이상 언어학적인 문제에는 관심을 두지 않는다. 그러나 이 절에서 잠시 동안 근본적인 것들을 숙고해 볼 수 있다.
대부분의 연구자들에게 (예를 들어 Tennant, 1081;91ff) PARSIPAL (Marcus, 1980)은 그 통사적 접근 때문에 중요하다. Tennant 는 PARSIPAL 이 주로 결정론적 분해기 (deterministic parser) 이며, 재 탐색 (backtracking) 능력은 가지지 않는다고 강조한다. 한편, Winograd (1983; 402) 역시 변형 문법과의 관련을 강조하면서 유사한 주장을 한다. 실제로 이러한 점들은 Marcus 의 머리말 (p.2) 에 반영되었고, 설명의 대부분이 결정론적 분해기제와 관련된다 (cf. Sampson (1983) 에서도 또한 그렇다 ). 그렇지만 Marcus 는 자신의 책 부록에서 '격틀 해석기 (interpreter)' 를 소개한다. 이 첨가된 모듈 (module) 에 대한 두 가지 중요한 사항이 있다. 첫 번째 그것은 분명히 결정론적이지 않다 (p.311). 두 번째 그것은 통사 분석 이후가 아니라, 적어도 부분적으로는 나란히 실행되는데, '... 주석이 붙은 표면 구조의 구성을 감지하고... 분해기의 출력으로부터 발화의 서술어 / 논항 표상을 구성한다' (Marcus, 1980:311). 격틀 표상은 아주 얕게 의도되어 '단어 - 의미의 모호성 해명 (disambiguation) 을 목표로 하지만, 더 심층의 의미적 일반화를 목표로 하지는 않는다' (p.312). Marcus는 통사론과 의미론 사이에서의 이 교량과 같은 격틀의 기능을 강조한다. '비록 자연 언어 체계에서의 격틀 구성기 (caseframe builder) 가 단어 의미 문제들을 해결해 줄 의미부와 상호 작용하기는 하지만, 격틀은 서술어 - 논항 관계들이 어떻게 그 문장에서 표현되는지를 의미부가 알지 못한 채 남겨지는 것이 허용한다. 한 문장으로부터 그 의미 표상으로의 사상에 있어 중간 단계 (an intermediate step) 로서 격틀을 표상하는 목적은, 기능 분해 (functional decomposition) 의 목적과 유사하다. 격틀 부문은 영어 문장에 나타나는 다른 행동들을 포착할 수 있을 만큼, 제한된 수의 격을 사용할 수 있다... 격이 의미적 역할 (role) 을 반영하는 것으로 생각되지는 않는다...'( 앞의 책 )[ 강조 필자 ]. '격틀 해석기' 는 Levin (1977) 로 부터 취해진 것인데, Marcus는 그를 장황하게 인용한다. 그 알고리듬은 다음처럼 요약된다. 격 - 틀 필러 (filler) 는 논항의 문법적 역할과 서술어의 격틀에 의해 주어지는, 격과 관련있는 문법적 역할을 비교함으로써 진행된다. 그 절차에는 격틀에 부가된 별도 부문 (extra component) 이 있어, 다른 격 - 문법적 역할 형상으로 이루어지는 가설을 목록화한다. 이 가설은 격이 논항에 할당될 때 수정된다. 가설적 격틀이 완전히 채워지거나 ( 성공 ) 나머지 논항에 대해 격이 남아 있지 않거나 그 반대인 한 점에 다다르게 되는데, 거기서 그 가설은 버려진다. 격 슬롯 (slots) 은 통사적이고 의미적인 기준에 따라 채워진다. 예를 들어 표면 주어의 Agent 나 Instrument 의 선택은 유정성에 의존한다. 사용된 격은 Stockwell 등 (1973) 의 것이다.
Marcus 의 나머지 설명은 격틀 구성기가 통사 분해기와 나란히 작동하고 그것 ( 통사 분해기 ) 의 결정을 '감지하면서' 어떻게 상화 작용하는지에 대해 기술한다. 흥미로운 것은 격틀이 동사에 뿐만 아니라 수식 받는 명사구에도 부가되며, 그리하여 형용사와 의존 전치사구가 핵 명사와 관련하여 '격 관계' 를 할당 받는다는 사실이다. Marcus는 이 점을 강조하지 않는다. 그렇지만 모든 층위에서의 의존에 대한 이러한 단선적인 처리는 이론적인 관점에서 볼 때 매우 매력적이다. Marcus 는 선택된 격 - 집합이 이 과제에 얼마나 적절한지에 대해서는 논의하지 않는다. 그러나 아마 적어도 동사의 명사화 (nominalisations) 에 대해서는 층위 사이의 차이가 거의 없을 것이다. 결국 가설 확증의 일부인 의미적 검증은, Katz & Fodor (1963) 의 관점에서 볼 때, 명사의 어휘부에 주어지고 격의 일반 규칙에 의해 주어지는 표지 (markers) 이다. Marcus 는 이런 접근이 다소 엄격하다는 점과 분해기가 비교에 의해 의미적 '우수함 (goodness)' 에 대한 판단을 할 수 있어야만 한다는 점을 주목한다 (p.320). 결과는 '강력' 하거나 '다소 선호되는' 것으로 표시된다. 분명히 가장 강력하게 선호되는 격 할당 결합이 옳은 것으로 간주될 것이다.
결론적으로 Marcus 의 격 - 틀 해석기는 고전적인 격 개념을 꽤나 직선적으로 실행한 것으로 보인다. 격 - 집합은 Fillmore (1968a) 의 제안을 실행하려는 초기의 시도에서 온 것이며, 관련 의미 이론은 TG 학파의 관점에서 볼 때 비교적 전통적이다.
Marcus 의 격틀 해석기처럼, Celce-Murcia (1975) 는 '의미적 해석을 허용할' 만큼 심층적인 표면 연쇄의 표상을 찾고자 한다 (p.2). 그리하여 통사구조에 있는 요소에 격 역할을 할당한다.
위에서처럼 순수하게 통사적인 분해 단계가 가정된다. 그것은 '… 단어의 표면 연쇄에서 명사구, 전치사구, 시제 동사나 동사구, 그리고 부사나 부사구와 같은 요소들을 인식할 수 있다' (Celce-Murcia, 1975;104f). 사용된 격들 ('기능적 관계들') 은 Theme (=Patient), Causal Actant (CA), Locus, Source 와 Goal 이다. 1절 1 격 (one-case-per-clause) 의 원리는 유지되지만 CA 는 직접 (direct) 과 간접 (indirect) 으로 하위 구분된다. 각각 Agent 와 Instrument 에 대응하며 그 차이는 그것들이 공기할 때에 확인될 뿐이다 (p.16). Goal (그리고 다른 역할들 ) 은 '가까운 (immediate)' 과 '먼 (remote)' 사이에서 구분된다 -대략 9 장에서 보았던 내적 (inner) 대 외적 (outer) 의 구분.
Celce-Murcia 의 접근에서 가장 흥미로운 특성은, 다른 동사 패러다임 (paradigms) 에 대한 그녀의 인식이다. '… 많은 부류 동사들의 기능 관계와 통사적이고 의미적인 특성들을 요약하거나 반복한다. 그 다음에 어휘부에서 요구되는 유일한 특성은 주어진 동사 의미가 어느 패러다임에 속하는지에 대해 명세화하는 것일 것이다.' ( 앞의 책, p.22)
이 접근은 그녀가 인용한 Chafe (1970) 을 기억나게 한다 (4 장 ). 그러나 사실 제안된 패러다임은 Chafe 에서와 마찬가지로, 동사들의 의미적 특성화로부터라기보다는 그 통사적 행동으로부터 유래한다. 그러한 몇몇 패러다임은 Celce-Murcia 에 의해 예시되고 그림 1 에 요약되어 있다. 그러나 분명히 이것은 완전한 목록이 아니다.
|
패러다임 |
관련 관계 |
예 |
|
자동 타동 능격 이-방향 변환 source-subject 변환 goal-subject 변환 일-방향 put/take 이-방향 put/take have 뒤바뀐 have |
Theme CA, Theme CA, Theme CA, Theme, Source, Goal CA, Theme, Goal Goal, Theme, Source CA, Theme, {Source, Goal} CA, Theme, Source, Goal Locus, Theme Theme, Locus |
walk kill open carry give buy put, take lead have occupy |
그림 1 : 동사 패러다임의 예
관련 관계 집합 (= 격틀 자질 ) 뿐만 아니라 설명될 수 있는 많은 기저 변형들이 각 패러다임과 관련된다. 이것은 적용된 변형이 아니라 오히려 적용하도록 상정될 수 있는 변형임을 주목하라. 그리하여, 예를 들어 두 개의 관계가 관련 있는 능격 패러다임 동사는, CA 를 삭제하는 변형이 표시된다. 이 자질은 표면 주어만을 갖는 능격 동사의 출현을 설명하는 데 사용될 수 있으며, Theme 관계를 그 논항에 적절하게 할당한다. 유사한 방식으로 '사실상 모든 이동동사 (motional verbs)' (p.30) 는 '재귀적 삭제 (reflexive deletion)' 를 경험한다고 언급될텐데, 이것은 표면 주어의 이중역 (CA 와 Theme) 을 설명할 것이다. 그것은 다른 변형은 '대격 삭제 (accusative deletion)' 인데, 이는 eat 와 같은 동사가 Theme 을 잃어버린 것 ( 보통 모든 동사에 의무적인 ) 을 설명할 것이다. 그 체계는 또한 '진정한 (real)' 변형 즉, 통사 구조를 재배열하는 변형을 포함하는데, 수동이 인식될 때 가짜 CA 를 삽입하는 '수동화 전도 (passivisation reversal)' 와 같은 것이 있다.
이 문법을 실행하는 실제 알고리듬에 대한 설명은 Celce-Murcia 에는 거의 없다. 의미론에 대한 언급도 없다. 예를 들어 명사구 ( 등등 ) 에 관계를 할당하는 것은, 본질적으로 통사적 역할과 동사 패러다임의 기능인 것으로 보인다. 관계와 관련된 '의미적' 자질이 없기 때문에, 이것은 Agent 와 Instrument 가 공기하지 않는다면 왜 그 둘을 구별할 필요가 없는지를 설명해 준다.
마지막으로 우리 자신의 PTOSYS (Somers & Johnson 1979; Somers 1980a, 1982c, b) 체계를 고려할 것이다. 이것은 '… 영어의 표면 연쇄를 "심층" 구조 층위를 표시하는 형식 ( 격틀 ) 에 '사상하는 것을 목표로 한다는 점에서 다른 두 체계와 유사하다 (Somers & Johnson 1979:85). 다른 두 체계처럼, PTOSYS 는 먼저 텍스트가 주 서술어와 그 '논항' - 명사구와 부사류 - 을 확인하는 직선적인 통사 분해를 받게 한다.
PTOSYS 의 격 - 틀 생성기 (generator) 는 서술어의 내재적 자질로부터 추론되는 잠재적인 격 - 틀의 격과 이 논항을 짝짓는 (matching) 것에 의존한다. 이것은 원래 본질적으로 의미적이라는 점을 제외한다면 Calce-Murcia 의 '패러다임'과 유사하며, 그 체계의 언어학적 토대를 형성하는 Chafe (1970) 과 Cook (1972b) 의 언어 모형과 유사하다. 알고리듬을 채우는 격 - 슬롯은, 그 체계에 유용한 네 개의 기본 정보 유형간의 상호작용에 기반을 두고 있다.
( ⅰ ) 주어, 목적어 같은 통사 기능이나 전치사구 논항의 전치사와 관련된 격 ;
( ⅱ ) 각 논항에 대해 가능한 격을 제한하는 명사 자질 (Chafe 의 것과 유사한 ), 예를 들어 유정적인 것 (animate) 은 Manner 가 될 수 없다 ;
( ⅲ ) (a) 의무적, 수의적, 기대되는 그리고 금지된 격 그리고 (b) 이러한 격이 가질 법한 통사적 기능을 결정하는 동사 자질 ;
( ⅳ ) 어떤 통사적 기능과 격 ( 예를 들어 두개의 비 - 전치사 목적어가 있을 때, 첫번째가 Beneficiary 일 것 같다 ) 그리고 다양한 동사 자질과 격 ( 예를 들어 Beneficiary 는 동작동사 또는 수혜동사와 만 공기할 수 있다 ) 의 공기 가능성에 근거한 다양한 귀납적 추리.
PTOSYS 의 일반적인 매력은, Marcus 의 체계나 Celce-Murcia 의 체계보다 분명히 더 의미적이라는 것이지만, 의미론이 여전히 아주 얕다. 표상은 '( 몇몇 ) 어휘 항목과 무관하지 않다' (somers, 1982c:238).
PTOSYS 는 다양한 목적을 위해 일반 목적의 자연 언어 질의 - 응답기 (natural-language front-ends) 로 또한 심지어 격 이론을 검증하는 모형으로 의도되었다. 또 흥미로운 것은 새로운 어휘 항목을 처리하는 방법이나 (특히 Somers, 1982d를 보라). 새로운 사전 내항 (entries) 은 체계, (인간 ) 운영자 (operator) 그리고 텍스트 사이의 삼 - 방향의 상호작용을 통해 만들어진다. 거기에서 체계는 질문을 하는데, 그 질문은 때때로 분석 중에 있는 문장의 다른 항목을 사용해서 만들어진다. 이로써 새로운 어휘 항목의 통사적이고 의미적인 속성에 대한 체계의 지식이 완성된다. 어떤 경우에는 텍스트 자체로부터, 요구하는 몇몇 정보를 체계가 추론할 수 있는데, 그 다음에는 운영자로부터 가설들을 확인한다.
그 체계의 가장 최근의 연구 (Gormley, 준비 중 ; Somers & Nomura, 1987) 에는 동사 자질과 격틀의 더 명료하고 직접적인 관계뿐만 아니라, 더 적절한 프로그래밍 언어의 완벽한 재 - 실행 (Lisp 는 Pascal 과 반대 ) 이 포함된다. 격을 상술하는 '무표 틀 (default frames)', 통상적 기능, 통사적 형태 그리고 의미적 자질들은, 예를 들어 (1) 처럼 표 (table) 에 저장된다.
(1) 감정 동사들의 무표 틀 (default frames)
(EMOTION-FRAME
((CASE EXP) (SYNTACTIC-FORM
(NP))
(SEMANTIC-FEATURES
(HUMAN))
(SYNTACTIC-FUNCTION
(SUBJ))
(OBLIG))
((CASE PAT) (SYNTACTIC-FORM (NP
S))
(SEMANTIC-FEATURES
(ANY))
(SYNTACTIC-FUNCTION (DIR-OBJ
SCOMP))
(S-TYPE (INFINITIVE
GERUNDIVE))
(OBLIG))
동사에 대한 사전 내항은 단순히 적절한 동사 부류를 나타내는데 (2), 동사 - 특정적인 정보가 수식 (modification) 의 형태로 슬롯이나 부가적인 슬롯에 덧붙여질 수 있다 (3).
(2) love의 사전 내항
(LOVE (SYNTACTIC-FORM
(V))
(CLASS (EMOTION))
(3) regard의 사전 내항
(REGARD (SYNTACTIC-FORM
(V))
(CLASS (EMOTION)
((CASE COMPL)
(SYNTACTIC-FORM (PP))
(SEMANTIC-FEATURES
(EMOTIVE))
(SYNTACTIC-FUNCTION
(POBJ))
(PREPOSITION (WITH))
(OBLIG))))
이런 식으로 알고리듬을 채우는 격 - 슬롯에 의해 요구되는 정보는 위에서 기술된 것처럼 원래 실행에서보다 더 정연한 절차를 허용하면서 더 집중된다.
우리는 다음에 선택한 체계에서, 격은 목표 역할을 한다기보다는 도구적인 역할을 한다. 특히 그것은 순수하게 통사적인 분해를 돕거나 대치하기 위해 사용되는데, 그 전체적인 기능은 격 - 틀 자체를 발견하는 것 이상이다. 이제 검토할 SPEECHLIS (Nash-Webber, 1975) 에서는, 통사론과 격이 함께 나란히 작용한다. 두 체계에서는 격을 옹호하여 통사론을 배제되어있다 (Wilks, 1976a; and Hendrix 등 1973).
SPEECHLIS (Nash-Webber, 1975) 는 Bolt, Beran 다 그리고 Newman 에서 개발된 '발화 이해 체계 (a speech understanding system)' 이며 실험적으로 두 영역에 적용되었다. 달의 지질학 데이터베이스 (LUNAR 체계 (Woods, 1977) 에 사용됨 ) 로부터의 정보 인출 (retrieval) 과 여행 예산 관리와 관련된 유사한 데이터베이스로부터의 정보 인출. SPEECHLIS 는 Bruce (1977) 의 보고서에 소개된 체계 중 하나이다. 그 체계는 질문에 대한 '의미 표상 (semantic representation)' 을 격 - 표찰이 붙은 통사 구조의 형태로 연산함으로써, 정보에 대한 구어적 (spoken) 질문을 '이해한다'. 그 체계에 의해 인지된 술어들 ( 명사이거나 동사일 수 있는 ) 은 '… 제안의 형태로 국부적 서술을 하는 데에 그리고 통사적 가설과 의미적 가설 사이의 일관성을 점검하는 데에도 모두 유용한' 격틀과 관련을 맺는다 (Nash-Webber, 1975:372f). 격틀 자체는 관련된 격틀의 명세화, (채워진 ) 격틀의 그럴듯한 실현 ( 예를 들어 절이나 명사구 ), '상호격 제약 (intercase restrictions)' 에 대한 정보 ( 있다면 ) 를 포함한다. 뿐만 아니라,
'… 틀에서 각 격에 대한 기술적 정보는,
a) 그 명칭, 예를 들어 NP-OBJ, S-HEAD (그 명칭의 첫번째 부분은 통사적 실현 … 에 대한 잉여적 정보를 제공한다. 두번째 부분은 축약된 Fillmore -유형 (Fillmore, 1968[a]) 의 격 명칭이다 …);
b) 그것이 채워질 수 있는 방법 - 개념을 명명하는 단어나 구에 의해서나 (EQU) 그것의 예시에 의해서 (MEM), …;
c) 격이 전치사구로 실현될 때 그 격을 나타낼 수 있는 전치사들의 목록 …;
d) 그 격이 명시적으로 명세화되어야 하는지 (OBL), 수 의절이고 불필요한지 (OPT), 없을 때 문맥으로부터 파생 가능한지 (ELLIP) 에 대한 표시 ….' ( 앞의 책, p.372)
동사 contain 과 명사 analysis 에 대한 격틀은 예 (1)-(2) 로 주어진다 (p.370). 술어 자체는 마치 그것이 '격' (HEAD) 인 것처럼 처리된다 - 최소한의 표기 규약 - 는 것을 주목하라.
(1) contain 에 대한 격틀
(((REALIZES.CLAUSE))
(ACTIVSUBJ S-LOC)
(PASSIVSUBJ S-PAT)
(S-HEAD (EQU.CONTAIN) NIL
OBL)
(S-LOC (MEM.SAMPLE) (IN)
OBL)
(S-LOC (MEM.COMPONENT) NIL
OBL))
(2) analysis 에 대한 격틀
(((REALIZES.NOUN-PHRASE))
(NP-HEAD (EQU.ANALYSIS) NIL
OBL)
(NP-OBJ (MEM.COMPONENT)(OF FOR)
ELLIP)
(NP-LOC (MEM.SAMPLE)(IN FOR OF ON)
ELLIP))
Nash-Webber 는 통사적 구조에 대한 국부적 서술을 하는 데 그리고 통사적 가설들을 확인하는 데 있어 격틀의 사용을 강조한다 (p.373). 특정한 전치사와 격의 관련이 그런 것처럼, 격을 의무적이거나 수의적이라고 표시하는 것은 분명히 여기에 역할을 한다. Contain 에서는 LOC 가 in 과 관련되지만, analysis 에서는 LOC 가 광범위한 전치사들과 관련되는 두 예에서 보는 것처럼, 전치사와 격의 관련은 Fillmore (1968a) 에서와는 달리, 술어 하나 하나 (predicate-by-predicate) 를 바탕으로 이루어진다는 점을 주목하라.
마지막으로 Nash-Webber 의 '격틀'이라는 용어를 살펴보자 (Rosner & Somers, 1980 참조. 그리고 아래의 6 절을 보라 ). Nash-Webber 의 '격틀'은 Fillmore 의 '격틀 자질' 과 같으며 주어진 술어에 대한 가능한 형상들을 정의한다는 것을 주목하라. 이것들은 주어진 사건이 어떻게 분석되는지에 대한 가설을 나타내는 소위 '격틀 토큰 (tokens)' 과 대조된다. 그것은 (3) 에 예시된다.
(2) analyses of ferrous oxide의 격틀 토큰
[CET #6
(((REALIZES.NOUN-PHRASE))
(NP-HEAD (ANALYSES.ANALYSIS)NIL
OBL)
(NP-GOAL (CET #5.COMPONENT)(OF FOR)
ELLIP)
(NP-LOC (MEM.SAMPLE)(IN FOR OF ON)
ELLIP))]
[CET #5
(((REALIZES.NOUN-PHRASE))
(CASEOF CET #6))
(NP-MOD (FERROUS.ELEMENT) NIL
OBL)
(NP-HEAD (OXIDE.RADICAL) NIL
OBL))]
'순수하게 의미적인' 처리를 옹호하여 통례적인 통사 분석을 근본적으로 피하는 분해에 대한 접근으로는 Wilks (1973a, b) 의 스탠포드 기계번역 프로젝트 (the Stanford Mchine Translation project) 가 있다. 그 체계의 번역양상이 분해기를 위한 검증의 기초로만 보여지기 때문에, 다음 장보다는 여기에서 이것을 살펴볼 것이다. '산문에 대한 불어 번역이 옳거나 그르며, 그렇게 보일 수 있기 때문에, 동시에 이해 프로그램에서의 주요한 어려움이 … 기계번역 환경 내에서 모두 표상될 수 있기 때문에, 이러한 환경은 언어 이해에 대해 아주 명확한 검증을 제공해 준다. …그런 면에서 불어 출력물은 그 프로그램이 번역하고 있는 것을 이해할 수 있도록 정확한 추론을 했는지 어떤지를 아주 명확하게 해 준다.' (Wilks, 1977:370). 이 체계에 대한 일반적인 기술과 '의미론 우선 (preference semantics)' 이라는 기저개념은 광범위하게 이용될 수 있다 ( 예를 들어 Wilks, 1975a, b; 1976b:58ff;1977:369ff; 1978). 그리하여 세부적으로 되풀이할 필요가 없는데, 그것은 격이 일반적인 도식 (schema) 과 어떻게 조화될 수 있는지에 만 주로 관심을 갖기 때문이다. Wilks 의 분해기는 '행위자 - 행위 - 대상 (agent- action-object' ) 의 기본형을 갖는 '형판 (templates)' 으로 이루어진 의미 표상을 만들려 한다고 말하는 것으로 충분하다. 그것 ( 형판 ) 은 '대응형판 (paraplates)' 과 '추론규칙'에 의해 함께 묶인다. 형판은 개별 단어 의미를 표상하는 '공식 (formulas)' 으로부터 만들어진다. 이 구조 각각은 궁극적으로 80 개의 '의미원소 (semantic primitive elements)' 의 목록으로부터, 그리고 그것들에 '영향을 미치는' 기능과 술어로부터 구성된다 (1976b:158; 1977:369f). 이 표상의 중요하고도 흥미로운 점은 '… 그 기본 표상이 텍스트에 직접 적용되고, 이해를 보여주는 아주 한정된 과제에 필요한 만큼 심층적일 수 있도록 다양한 추론 형태로 "다듬어질" 수 있다는 것이다.'(1977:369).
우리는 Wilks 가 사용한 격 개념과 (1976a) 에서만 집중한 체계의 특성에 관심이 있다. 위에서 언급한 80 개의 원시적 의미요소는 다른 유형들로 나뉜다. 그 중 하나가 (1976a:8f) 에서 열거된 '격 요소'인데, 다음과 같다.
DIREction (subdivided into TO,
FROM, UP, THRU)
INSTrument
FOR [= Reciepient]
IN [= Containment]
LOCAtion [spatial]
TLOCA [= Time LOCAtion]
GOAL [purpose]
SOURce [substance from whidh
something comes]
WAY [=Manner]
OBJEct
SUBJ [= Agent;
'a
semantic, rather than a surface
subject'
]
WITH [accompaniment]
POSSessive
이러한 격의 필터 (fillers) 에 대해 선호되는 의미 값은, 일반 규칙에 의해서가 아니라 개별 단어에 대한 공식에서 제공된다. Break 의 공식은 (4) 에 주어지는데, 그것은 '인간 행위자 (SUBJ) 가 물리적인 대상이 전체가 되지 않도록 할 목적으로 어떤 것을 사용하여 (INST) 물리적인 대상인 어떤 것 (OBJE) 을 친다'로 읽혀질 수 있다.

(4) break 의 공식 (Wilks, 1976a:11)
단어 break 를 텍스트에서 만나게 될 때, 이 공식은 슬롯과 필러를 명세화하면서 적절한 형판이 구성되게 하는 데 사용된다. 그 공식은 표면 동사에 대한 격틀 ( 자질 ) 로 간주될 수 있다. 그러나 필요하다면 그 동사의 특이한 ('관용어법의, 선호되지 않는) 용법을 추론하거나 해결하는 데 사용될 수 있는 다른 양상들을 명세화한다. 그리하여 (4) 에서 격 SUBJ, OBJE 그리고 INST 는 표면 격 - 틀에 속한다. 반면, GOAL 은 '의미'를 보다 정확하게 규정한다 (예를 들어 break 로부터 hit 를 구별한다). 그러나 '… 그 공식 표지는 오로지 해당하는 특정 단어의 의미적 선호를 명세화하는 것과 관련된다. 그것이 동사라면 그 같은 행위주성 (agenthood) 에 대해 암시적인 언급을 하지 않고, 그 행위의 선호되는 행위자를 의미론적으로 명세화할 것이다'라고 Wilks 는 강조한다 (1976a:23f) [강조 필자 ]. 그것이 어떤 것도 그 자체로는 행위자가 될 수 있다는 것을 의미하는지는 중요한 문제인데, 그에 대해서는 일반 논의에서 다룰 것이다.
Wilks 는 표면 형태와 기저 의미 사이의 접촉영역 (interface) 을 제공하는데 있어 공식의 역할을 강조한다. 그 공식에는 의무적인 격과 수의적인 격의 전통 개념에 대응하는 것이 없다. 그렇지만 이 개념은 생성 모형 (Fillmore, 1968a와 같은 ) 에서보다 분석 모형 ( 그의 것과 같은 ) 에서 덜 중요하다고 설명한다. 그 점은 아마도 Wilks 의 체계가 격이 채워지지 않는 채 남겨졌는지를 염두에 두지 않는다'는 것이며, 그리하여 그러한 수의성 개념은 잉여적이다. 게다가 그 체계는 입력의 적형성을 확인하려 애쓰지 않으므로 의무성 개념도 마찬가지로 불필요하다.
공식은 채워지게 될 슬롯을 갖는 텅 빈 격 - 틀이 아니라, '… 표상들이 어떻게 전체 공식으로부터 다른 것으로 번역되는지 (assemble) 에 대한 "청사진 "임'을 주목하라 (p.14) [강조 필자 ]. Wilks 는 자신의 체계에서 이 공식의 역할을 강조하기 위해 애를 쓴다. 그는 Fillmore 로 대표되는 격의 표면 - 지향적인 견해와 Schank 에 의해 사용된 심층격을 대비시킨다 (6 절을 보라 ). Wilks 의 체계에서 격은 두 역할에 더하여 그 둘을 연결하는 중간 역할을 한다. '공식은 표면의 단어 의미에 대한 의미 구조이다. 표면 동사에 대한 공식은 동사의 격틀로 해석될 수 있다. 그 동사 의미의 일부로서 공식 표지가 표현될 필요가 있는 … 격 하위부 (subparts) 를 공식이 포함한다는 면에서 그렇다. '(p.23) [강조 원저자 ]. '… 나는 공식에서 격 기술의 중간적인 역할을 정당화하고자 애썼다. 추론 과정에서 [ 원문 그대로 ] 텍스트에 대한 실제의 기저 구조를 제공할 수 있는 의미 구조를 공식이 제시한다고 주장함으로써, 입력된 표면 문장을 분석하는 데에 절차상의 힘이 제공할 만큼, (표현되는 동사 의미의 ) 표면 격 행위를 공식이 포함해야 한다고 주장함으로써 그렇게 했다.' (p.27) [강조 원저자 ].
이제 그 공식이 표상의 연산을 돕기 위해 어떻게 사용되는지 더 자세히 살펴보자. Wilks 는 공식이 완비될 수 있는 (completable) 틀이라기보다 어휘 내항과 더 유사하다는 것을 재차 강조한다. 실제 표상은 '형판'으로 구성된다. '… 행위자 공식, 행위 공식과 대상 공식에 기초한 망 (network) (이것들 중 어느 것은 견본 (dummies) 일 수 있지만 )' (p.28). Wilks 는 다음처럼 그 과정을 설명한다. '형판은 공식의 연쇄로 표현되는 문장과 절에 짝지어진다. 형판은 표면 주어가 행위자라는 것을 보장함으로써, 표면 주어를 뽑아 내고 가장 좋은 형판을 선택하기 위한 청사진으로 공식을 사용하려 한다. "The hammer broke the window" 의 처음 짝짓기에서는, 표면 대상인 "hammer " 공식이 그 형판의 첫번째 ( 혹은 행위자 ) 교점에 있을 것이기 때문에 이것은 가능하지 않을 것이다. 그러나 "break " 공식은 대응하는 행위 교점에 있을 것이다. 그러므로 표면 주어가, 동일 형판의 행위 교점에 있는 "break " 공식이 선호하는 기저 ( 유정적 ) 행위자가 아니라는 것을, 이후 처리의 어느 지점에서 그 체계가 알게 될 것이다. 이러한 충동 (clash) 은 … 나중에 능격 패러다임을 일률적으로 다루는 추론 (inferencing) 을 끌어낼 것이다' (p.29).
동사 요소와 명사 요소는 서로 관련된 공식을 갖는다. 반면, 전치사는 다 - 대 - 일을 기초로 하는, 그 체계의 격에 대응하는 '대응형판'에 의해 처리된다. 사실 대응형판은 한편으로는 표면 전치사와 주로 관련되고 다른 한편으로는 '형판 - 조직 (template-skeletons) 쌍' 과 관련된다. 이 '형판 - 조직'은 실제의 '형판'과 유사하다. 다만 공식과 관련된 교점을 갖는 대신, 그것이 ( 형판 - 조직 ) 거기에 부가할 수 있는 공식의 특징들을 한정한다는 점을 제외하면, 예를 들어 (5) 의 용법에 적용할 수 있는 전치사 by 에 대한 대응형판 중 하나는, 세 교점에서 (6) 격 (TO) 에 대응하는 의미적 요소와 동사 MOVE 에 대한 공식의 일부, 그리고 '대상'에 대한 공식을 가질 것이다. 그리하여 전치사가 동사와 유사한 방식으로 처리된다.
(5) He left Lugano by the autostrada.
(6) ((* ANI)(MOVE)(WHERE POINT) TO → □ □ (WHERE LINE)
전체 문장에 대한 표상은 (7) 에서와 같다. 그것은 (i) by-대응형판의 첫 번째 교점의 공식 (8a) 과 leave- 형판에서의 세 개의 모든 교점 (8b-d) 사이의 짝짓기와 (ii) by 형판의 세 번째 교점의 공식과 autostrada 에 대한 공식 (8e) 사이의 짝짓기에 의해 설정되는, left 와 by- 형판 사이에 연결되어 있다.
(7) 
(8a) (* ANI)(MOVE)(WHERE POINT)
(8b) he has head man included by * ANI
(8c) leave has head MOVE
(8d) Lugano has head containing subpart (WHERE POINT)
(8e) autostrada has head containing subpart (WHERE LINE)
by 와 연관된, 가능한 모든 용법을 포괄하는 몇 가지 대응형판이 (9) 에 있다.
(9a) He left Lugano by courtesy of the police.
(9b) He left Lugano by Comano.
(9c) He left Lugano by car.
(9d) He left Lugano by stealth.
(9e) He left Lugano by Monday night.
(9f) He left Lugano by following the arrows.
(9g) He left Lugano by stealing a boat.
(9h) This painting is by Titian.
다른 형판이 쌓이는데, 이 더미는 그 원소 행위 (the primitive action) 에 따라 배열되지만 (p.34), 반드시 직선적이지는 않다 (p.35). 그러나 이 배열은 주어진 행위와 함께 주어진 전치사에 대해 가장 그럴듯한 격을 먼저 선택할 것이며, 필요하다면 결합가 문법 개념인 '강하게 지배되는 격' 을 부분적으로 포착할 수 있다.
Wilks 는 '격 추출' 과정에 대해 상술한다. 그것은 입력된 단어와 관련 있는 공식의 격 내용으로부터 이끌어 낼 수 있는 추론들을 표상한다. 예를 들어 fire + at 공식은 (10) 과 같다. (10) 에 있는 각 격에 적절한 '격 전문가 (case specialists)' 는 입력된 문장 (11a) 로부터, 가능하지만 진술되지 않은 추론을 구성하는 형판을 생성한다. 예를 들어 INST 에 대한 격 전문가는 추론 (11b) 를 산출할 것이다.
|
(10) fire + at 의 공식 |
|
|
|
|
(11a) John fired at the stags.
(11b) John used a thin (= a shotgun).
여기서 이것이 이루어지는 기제에 관심을 가질 필요는 없다. 그렇지만 그 체계의 이러한 특성이 번역에 보통 요구되는 것 ((12) 에서와 같은 고전적인 문제의 문장은 제외되는데, (12)에서 대명사 them 의 지사체는 그 구문에서 성이 일치하는 불어로 번역되어야 한다 ) 이상의 상당한 힘을 그것 ( 그 체계 ) 에 제공한다는 점과, 심층의 지식 표상에 목표를 둔 다른 언어 이해 체계와 동등하게 그것 ( 그 체계 ) 을 다룬다는 점을 주목할 것이다.
(12a) The soldiers at the women and
of them fell.
Les soldats tirerent sur les femmes
et quelques unes tomberent.
(12b) The soldiers fired at the
women and some of them missed.
Les soldats tirerent sur les femmes
et quelques uns manquerent.
Hendrix 등 (1973) 의 체계는 작은 데이터베이스에 대한 질의 - 응답 체계이다. 그 작은 데이터 베이스는 질문과 새 정보의 입력을 위한 자연 - 언어 분석기와 반응을 위한 생성기를 갖는다. 이 모듈은 둘 다 (Woods, 1970) ATN 의 '변종 (variants)' 에 의해 운영되는 한편, 데이터베이스의 형태나 '체계를 모형화하는 것 (modeling system)' 은 격틀을 닮은 '규범 (canonical) 구조'에 의해 운영된다. 여기서는 그 체계를 단순하면서도 직선적인 격 이용의 모형으로 제시한다.
분해기는 '규범 구조로의 직접 번역을 허용한다'고 주장되는데 (Hendrix 등, 1973:262), 앞으로 볼 것처럼 이것이 부분적으로 사실이나 그럼에도 불구하고 그 같은 통사적 분석 국면은 없다. (표면 ) 동사의 어휘부의 내항 ( 예를 들어 by 의 내항 (13)) 은 그 동사와 관련된 규범 동사 / 사건과 그 다양한 표면 형태 ( 여기서는 보여주지 않은 ), 그리고 표면 명사구와 전치사구를 규범 동사와 연관된 심층격과 관련 짓는 'P-RULES' 의 목록을, 속성목록의 형태로 명세화한다. 이 P-RULES 속성은 (i) 표면 형태 ('OK' 는 '전치사가 아님'을 의미한다 ), (ii) 의미 자질과 (iii) 관련 심층격을 나타내는 세 쌍으로 형성된다. 예에서 볼 수 있듯이 격은 다소 '특화된다' (5 절을 보라 ).
(13) L-BUY
WORDCLASS VERB
CANON-VB EXCHANGE
[…
]
PRULES ((OK (HUMAN ORGANIZATION)
BUYER)
(OK (PHYSOBJ) THINGBT)
(FROM (HUMASN ORGANIZATION)
SELLER)
(FOR (MONEY) THINGGIVEN)
(AT (PLACE LOC)
(OK (DAYPART) TIME)
(IN (DAYPART) TIME))
분해기를 텍스트에 적용하면 두 개의 중간 구조가 제시된다 첫째는 '격 해석기'에의 입력으로 작용하고 단순히 그 텍스트를 주요 구성성분으로 나눈다 - 완전한 통사 분석이 아님을 주목하라. 이 구조는 동사 구성성분과 전치사구와 명사구의 목록으로 이루어진다. 동사 구성성분은 양상정보와 함께 그 규범 형태가 제시되며, 전치사구와 명사구의 목록은 (I) 통사적 형태, (II) 어휘부에서 복사된 의미 자질 그리고 (III) 몇 가지 형태 - 통사적 자질 정보를 나타내는 세 쌍으로 제시된다. 이것은 (14) 에 예시된다.
(14a) Who bought a cake at the new bakery from the baker?
(14b)
동사
구성성분
(CANON-VB EXCHANGE MODAL (TENSE
PAST MOD
INTERROG…
))
NP-PP
구성성분
((OK (PHYSOBJ)(TOK L-CAKE DET INDEF
NBR S))
(AT (PLACE)(TOK L-BAKERY DET DEF
NBR S MOD(AGE
L-NEW)))
(FROM (HUMAN)(TOK L-BAKERY DET DEF
NBR S)))
Q-
단어
구성성분
(OK (HUM)(TOK L-WHO))
격 할당 단계는 비교적 직선적이다. 각 성분에 대해 동사의 P-RULES 의 내항은 전치사와 어울리는 것을 찾게 된다. 만약 의미 자질들의 대응집합이 서로 만나고 주어진 심층격이 아직 할당되지 않았다면, 격은 그 요소와 관련된다. 이 과정은 (15) 에서와 같은 '규범 구조'를 제공한다.
(15) (CANON-VB EXCHANGE MODAL
(…)
SELLER (TOK
L-BAKER…
)
THINGBT (TOK
L-CAKE…
)
LOC (TOK
L-BAKERY…
)
Q (ARGS (BUYER) TOK L-WHO))
Q-단어에 대한 격할당 - 그 문장이 의문문이라면 - 은, Q-단어의 자질과 양립 가능한 상태로 남아 있는 모든 격들이 여기서 할당된다는 면에서 다른 요소들과 다르다.
지금까지 그 체계는 채워질 격 슬롯의 배열, 그것의 기대되는 표면 형태 그리고 관련 선택 제약을 폭넓은 의미 자질로 동사가 결정한다는 면에서, 고전적인 모형처럼 보인다. 이 지점에서 흥미로운 것은 분해를 수행하는 데 ATN 을 사용한다는 점이다. 그러나 불행히도 위에서 보고된 것 이상의 더 정확한 세부사항은 제시되지 않았다. 저자가 보고하였듯이 (P.269), 그 체계가 처리 시간 면에서 유리한 것은 부분적으로 이런 기제의 사용에 기인한다는 점은 의심의 여지가 없다.
데이터베이스를 위해 '체계를 모형화하는 것' 은 일반적인 데이터베이스와 같다. 그것은 분해된 진술이나 비교적 직선적인 질문으로부터 사상한다. 예를 들어 (16b) 처럼 표상될 수 있는 (16a) 와 같은 진술에서, 규범 동사 EXCHANGE 는 보여진 것처럼 데이터베이스에 삭제와 추가 집합을 야기할 것이다.
(16a) 
(16b) [Hendrix 등, 1973:265을 따라]
마지막으로 데이터베이스로부터의 반응의 일반화 역시 격 - 운영 ATN 으로 성취된다. 규범 동사의 어휘 내항은 표면 동사를 명세화한다. 그 표면 동사는 (17) 에서 예시되었듯이 - (13) 에서 본 것처럼 P-RULES 뿐만 아니라 - buy 에 대해 가능한 표면 형상을 제공하는 'G-RULE' 을 교대로 갖는다.
(17) GRULES ((BUYER ACTIVE THINGBT
(FROM SELLER)
(FOR THINGGIVEN))
(THINGBT PASSIVE (FROM SELLER) (FOR
THINGGIVEN)))
이 G-RULE 이 어떻게 적용될 것인가는 아주 명백하다. 심층 구조로부터 생성하고 있기 때문에 생성 문법의 한 부문으로서의 격의 원래 개념에 훨씬 가까워짐을 주목하라. 표면 구조가 목표로 하는 격틀이 '제공된다'. Fillmore (1968a) 격 - 틀 자질에서처럼 여기서 괄호는 수의성을 나타낸다. 생성기는 비 - 수의적인 격이 비 명세화된 것이 없는 경우에, 규범 동사에 의해 명세화된 동사의 어휘 내항을 찾아야만 한다. 예를 들어 만약 데이터베이스가 산 물건과 판매자 (seller) 만을 규정한다면, 분명히 buy 의 행위 형태는 선택될 수 없는데, 그것은 이 구조에서는 구매자 (buyer) 가 의무적이기 때문이다. 분해는 유용한 구조들 가운데서 '바람직한 방식으로 ( 아마도 임의의 선택에 의해 )' 선택할 것이다. (p.268). 아마도 수동에서는 buy 를 혹은 능동에서는 sell 을 선택할 것이다.
Bruce (1975:346) 는 표면의 표현과 이 체계에서 선택된 표상 사이의 연결의 직접성 (directness) 에 대해 비평한다. 우리가 보았듯이 이것은 아주 직접적인 분해 책략을 허용한다. Bruce가 말하듯이 '… 사용된 구조는 요구되는 모든 지식에 완전히 적합하지는 않다. 그럼에도 불구하고, 투명한 표상으로 행해질 수 있다는 것을 보여준다는 데 가치가 있다 …, 더 일반적이지만 불투명한 절차들을 관습적으로 사용하는 것과는 반대된다.' (Bruce, 1975:346).
격 - 운영 ATN 에 대해 마치기 전에, 격에 기반한 ATN 의 가능한 특성들을 더 자세히 논의할 수 없었다는 사실을 기억해야 한다. 그 체계에 대한 Hendrix 등의 기술에서 ATN 이 사용됨을 언급하였고 몇 가지 언어학적 세부사항을 보여주었지만, 분해기 자체가 무엇을 닮았는지는 알지 못한다.
나는 여기서 격 - 운영되는 ATN 분해기에 대한 제안을 대략 기술하고, 놀랍게도 격이나 ATN 에 대한 어떤 문헌에서도 보지 못했던 몇 가지 개념을 제안하고 싶다. 이것이 이론에 대한 유일한 기술이기 때문에, ATN 의 작동 (working) 에 대한 설명으로 빗나가지는 않을 것이다. 위에 인용된 세 견해 (Bates, 1978; Johnson, 1983; Winograd, 1983; 195-271) 는 이 분야를 훌륭하게 포괄한다.
ATN 이 종종 통사적 분해를 위해 사용된다는 것과, 그리고 하위 - 과정 (PUSH) 과 범주 검증 (CAT) 에 대한 요구가 전형적으로 통사 요소에 의한다는 것은 주목할 만한 가치가 있다. 적어도 내게는 전이 (transitions) 가 통사적 범주보다는 격에 대한 검증을 나타낸다는 면에서, ATN 이 고안될 수 있다는 것은 있을 법하다.
가장 간단한 시나리오는 (18) 과 같은 것인데, 거기에는 격마다 하나의 루프 (loop) 를, 단계마다 많은 루프를 갖는 두 단계가 있다 ( 실제로는 네 개 만을 보였다 ).
(18) 
이중 첫 번째에서 두 번째로의 전이는 동사를 소비한다. 이런 식으로 몇몇 격이 동사 앞에 나타날 수 있는 가능성을 인식한다. 이것은 표면 주어로서 작용하고 있는 격이 무엇이든지 간에 분명히 그렇다 ( 반드시 Agent 인 것은 아니라는 점을 주목하라 ). 그러나 (19a) 와 같은 문장에서는 동사 앞에 몇몇 '부가어' 격들이 있는 반면, (19b) 는 의미론에 기반하여 분해하는 어순 규정을 무시하고 있다는 것을 주목하라.
(19a) Yesterday at Lords' because of bad weather the umpires cancelled the game.
(19b) Over the wall jumped Fred.
각 격에 대한 PUSH 전이는 (20) 과 같은 것을 보일 것인데, 그것은 INST 에 대한 하위 - 망을 보여준다.
(20) 
동사 앞에 나타날 수 있는 격 집합이 뒤에 나타날 수 있는 것과 정확히 동일하지 않을 것이다. 그리하여 (18) 에서 S1 과 S2 로부터 초래되는 전이와 그것으로의 전이는 동일하지 않을 것이다.
등록 지연기 (hold registers) 를 사용한다면 (Bates, 1978:202) 동사 뒤에 나타날 때까지 동사 앞 요소의 분석을 지연시킴으로써, 아마도 다소 더 잘 수행할 수 있을 것이다. 이런 식으로 주어진 격 망의 어느 변종이 적절한지 그리고 실제로 어느 격을 찾는지를 나타내기 위해, 동사와 관련된 정보를 이용할 수 있다. 말하자면 Hendrix 등에서처럼, 주어진 동사로 기대할 수 있는 격 지식과 전형적인 격 표시 (signaling) 전치사 ( 있다면 ), 그리고 관련 의미 자질을 이용할 수 있다. (21) 에서 S2 에서 S3 로의 전이는 관련 하위 - 망이 존재하는 경우마다 ( 예를 들어 행위 동사에 대해서는 (21b)) Chafe 와 - 같은 (1970) 자질에 의해 결정된다. 여기서는 보충어 격이 먼저 찾아지고 그 다음에 부가어 격이 찾아진다. 격마다 입력과 등록 지연기 (HOLE register) (21c) 둘 다를 검토하는 것이 필요하다. 왜냐하면 보충어이든 부가어이든 어떤 격이라도 동사와 관련 있는 곳이면 어디에나 나타날 수 있기 때문이다. 각 격에 대한 PUSH 는 유사할 것이다 (20).
(21a) 
(21b) 
(21c) 
이 대략적인 기술을 마무리하기 위해 현재의 표준 장치를 이처럼 개정하는 것이 이상하지는 않다고 하자. 분명히, 연구되어야 할 세부사항이 많이 남아 있다. 만약 그 제안이 장치가 잘 작동하는지의 여부와 그 방법을 보여줄 수 있다면 훨씬 더 많은 비중을 가질 것이다. 이것은 가까운 미래에 시도해 볼 수 있는 소규모 길잡이 프로젝트 (small pilot project) 이다.
우리가 추정하는 격으로 운영되는 ATN 은 Ritchie (1983:205) 에 의해 예시된 Burton (1976) 과 Woods 등 (1976) 의 '의미적 ATN' 과 다르지 않다 (22). 보다 복잡하지만 유사한, 아마도 동일한 기원으로 보이는 예가 Bates (1978:238f)에 의해 제시된다.

(22) [Burton(1976)을 따라, Richie (1983:205)이 보여주었듯이
여기서 다시 우리는 명백히 통사 구조를 만들 필요성을 회피하고 있다. 그러나 (22) 에서의 망이 영역 - 특정적이라는 것과, 하위 - 망은 -망의 명칭이 무엇에 의거하든지 간에 - 의미 역할보다는 의미 범주를 정의한다는 것을 주목하라. 사실 (22) 에서 망은 우리 자신의 격 - 기반적 접근보다 유 의미하게 '더 심층적인' 것 같다. Ritchie 가 주목했듯이, '… 다른 의미 범주에 대한 다양한 하위 - 망이 어떻게 고안되는지는 명백하지 않다. "trip " 을 분해하는 하위 - 망이 "meeting " 을 분해하는 것과 근본적으로 다른가 ? 이러한 지시 항목을 표현하는 방법의 범위는 대략 동일하다 ( 사실 전통적인 명사구 )' (Ritchie, 1983:205). 이러한 비판은 아마도 위에서 제시된 격 -ATN 에 대해서는 타당할 것이다. 그러나 적어도 격 하위 - 망은 꽤 일반적이거나 혹은 통사적 ATN 에서의 통사적 범주와 비길 만큼 일반적이다. 한 가지 걱정은 실제로 그 접근은 다른 격들에 대해 동일하거나 유사한 하위 - 망의 반복을 필요로 할 것이라는 점이다. 그러나 이것을 최소화할 몇 가지 방법이 발견될 수 있기를 희망한다.
지금까지 살펴 본 대부분의 체계에서 특정한 접근이나 목적이 무엇이었든지 간에 사용된 격 체계는 본질적으로 꽤나 전통적인 경향을 띠고 있다. 한 가지 예외는 Hendrix 등 (1973) 인데, 거기서 우리는 buy 와 sell 같은 술어에 부가된 Buyer, Seller, Thinggiven 과 Thingbt 와 같은 격들을 보았다. 이 절에서는 '특화된' 체계라고 부르는 비 - 표준적인 격 체계를 더 살펴 볼 것이다.
격 체계가 특화된 것으로 간주될 수 있는 두 가지 방법이 있다. 그 첫 번째가 CHRONOS 에 의해 예시된다 (Kuligowski & Weiss, 1971; Chokhani, 1973). 거기서 술어와 논항 사이의 관계 집합은 격문법과 아주 유사하다. 이 관계가 보통의 Agent, Patient 등이 아니라 그 영역 (domain) 과 특별히 관련된다는 것을 제외한다면. 다른 예 - 비록 우리가 자세하게 살펴 볼 것은 아니지만 - 는 PROLID 체계인데 (Harbusch & Rothkegel, 1984), 이것은 EEC 가 결정한 ( 공인한 ) 독일어 언어 자료 (corpus) 로부터 텍스트를 분석한다. 여기에는 전통적이고 텍스트 - 유형상 특정한 격과 술어 부류들이 다소 고르게 혼재 되어 있다. 격을 특별하게 만드는 두 번째 유형은 PLANES 에 의해 예시된다 (Walts, 1978). Hendrix 등에서 이미 보였으며 무엇보다도 Bobrow & Winograd (1977) 의 KRL 에도 예시되어 있다. 여기에는 다시 논항에 의해 다소 엄격히 한정된 방식으로 채워진 슬롯을 갖는 술어가 있다. 그러나 그 '특수성 (specialization)' 은 슬롯의 명칭 ('격' ) 과 격의 특성 ( 자질을 한정하는 격 ) 이 술어에 따라 다르다는 사실에 있다. 7절에서는 이것이 여전히 '격 (Case)' 인지를 논의할 것이다. PLANES 는 특화된 격과 일반적인 격을 혼합한다는 점에서 흥미롭다.
CHRONOS 는 Rutgers 대학의 큰 연구팀에 의해 개발된 체계이다. 그것은 근본적으로 의료 전문 체계이며, 실험할 목적으로 녹내장 (glaucoma) 이라는 눈병에 집중하고 있다 (Kuligowski & Weiss, 1971). 우리의 관심은 '인과적 망 모형 (causal network model)' (Chokhani, 1973)에, 특히 체계에 입력된 문장의 표상에 집중되고 있다.
이 표상은 의존적인 논항을 갖는 술어들로 구성되어 있다는 면에서 격과 유사하다. 실제로 Chokhani 는 이것들을 '동사'와 '격'이라고 부른다. 그러나 CHRONOS 의 흥미로운 특성 중 하나는, '동사'로 간주되는 생리학적 원소 (physiological primitives) 가 반드시 표면 동사로 표현되는 것은 아니라는 점이다. 예를 들어 (1a) 문장에서 술어는 flow 로 간주되고, increase 는 그 논항 위치 중 하나를 채운다 (1b).
(1a) Flow of aqueous humor in the anterior chamber increases.
(1b) 
표준 격에서처럼, 각 생리학적 원소나 동사는 자신의 '패러다임', 즉 그 것에 의존하는 격의 수를 한정한다 (Chokhani, 1973:7). Kuligowski & Weiss (1971:8) 에 의해 제시된 '원소 디스크립터 (primitive descriptors)' 의 목록으로 우리는 CHRONOS 에서 제안된 격의 범위를 알 수 있다 (2).
(2) PRESSURE (Medium, Location,
Magnitude, Time)
TIME (Frequency, Local duration,
Global duration, Velocity)
FLOW (Medium, Location, Magnitude,
Time)
ATROPHY (Object, Magnitude,
Distribution, Time)
SIZE (Object, Magnitude,
Time)
등등
CHRONOS 의 중요한 특성은 격 - 틀과 유사한 구조들이 체계에 입력되는 표상으로 사용될 뿐만 아니라, 전문가 체계의 진단 모형의 명제 (proposition) 를 위해서도 사용된다는 점이다. 그 모형은 본질적으로 인과 관계 (causalities) 의 망이 고정된 것인데, 이 인과관계는 개연성 (probability), 함축 (implication) 등과 같은 특성에서 다르다. 예를 들어 우리는 (3b) 로 읽혀질 수 있는 상대적으로 약한 인과관계 규칙 (3a) (Kuligowski & Weiss, 1971:12)를 갖는다.
(3a) Pressure (blood,
cardiovascular system,
≤
low,
~)→²
Flow (blood, central retinal
vessels, ≤
low, ~)
(3b) Minimal or zero blood-pressure in the cardiovascular system any period of time ['~' means 'irrelevant'] sometimes results in minimal or zero flow of blood in the central retinal vessels.
이 규칙은 ( 언어 처리의 일부가 아니라 ) 그 체계의 일부라는 것을 주목하라. 그리고 그 체계가 (1a) 나 (3b) 의 처음 절반 부분과 같은 자연 언어로 진술함으로써, 그리고 함축과 원인에 대한 지식을 이용함으로써 기능하고, 진단 모형을 도출한다는 것을 주목하라. 그러나 핵심은 입력 문장의 표상과 문장이 표현하는 사실의 표상 사이의 사상 (mapping) 이 매우 직선적이라는 점이다.
PLANES (Waltz, 1978) 는 커다란 관계적 데이터베이스에 대해 질의 - 응답 기능을 하기 위해 자연 언어 질의 - 응답기이다. 그 데이터베이스는 군사용 비행기 유지와 비행 자료에 대한 정보로 이루어져 있다. 그것은 전통적인 ATN 분해를 이용하여 뜨내기 이용자들의 질문을 처리한다. 그리고 그 출력은 '개념 격틀 ( 의미적 문장 유형 )' 의 사용으로 데이터베이스와 짝짓기 위해 '의미적 성분' 집합으로 전환된다 (p.530) [강조 원저자 ]. 우리가 관심을 갖는 것은 이 개념 격틀 (CCFS)' 이다. 데이터베이스 자체는 '레코드 포맷 (record formats)' 으로 배열된다. '… 각각은 10 개와 20 개의 사이의 속성 ( 분야 ) 을 포함한다. 속성마다 행동의 자료, 비행기의 유형, 비행기의 순번, 기능이상 (malfunction) 의 유형과 같은 80 개의 기저 영역들 중 하나에서 그 값을 끌어낸다 …' (p.258). CCFS가 사상하는 것은 바로 이 소성 영역이며, 이것은 PLANES 의 '격'이 특화되었다는 것을 뜻한다. Waltz 가 설명하듯이, '우리의 개념 격틀은 보통의 격틀과는 다소 다르다. 각각의 개념 격틀은 하나의 행위 (act) (전형적으로 통사와 관계된 [ 분석된 질문에서 ]) 와, 행위와 함께 유 의미하게 나타날 수 있는 명사구의 목록 (… ) 으로 구성된다. 보통의 격틀과는 달리, 다양한 구에 의해 작용하는 역할 ( 예를 들어 agent, patient, instrument) 에 대한 정보를 저장하지 않는다 …' (p. 252) [강조 원저자 ]. '격이 특별히 특정한 동사와 연합하는 것과는 별도로, 보다 일반적인 몇 가지 격이 있는데 - '"time period" 같은 모든 격틀에서 나타나는 구' ( 같은 책 )-, 그것은 특별한 격틀에서는 명시되지 않는다.
Require 의 두 용법 (4) 와 fly 의 네 용법 (5) 에 대한 두 개의 개념 격틀을 제외하면, 실제로 제시된 예는 거의 없다. 이 CCFS 가 적절한지에 대한 질문이 (6) 과 같으리라고 생각할 수 있다.
(4a) *require (*planetype, *maintenancetype)
(4b) *require (*component, *maintenancetype)
(5a) *fiy (*panetype, *flighthours)
(5b) *fiy (*panetype, *shiptype)
(5c) *fiy (*panetype, *catapult-flights)
(5d) *fiy (*panetype, *flights)
(6a) What skyhawks have needed engine maintenance since May 1, 1973? [→ (4a)]
(6b) Find phantoms which had fewer than 15 flight hours in February 1974. [→ (5a)]
그리한 질문들이 그 CCF 표상으로부터 형식적 질문 표현 - 술어 연산의 유형 - 으로 어떻게 사상되는지, 혹은 관계적 데이터베이스에서 그것이 실행되는지 여기서 자세히 고려할 필요는 없다. 그 세부사항들은 Waltz 에 의해 제시되었다. 그러나 확인하기 위해 사용자 질문을 동어반복하는 데에 CCFS 가 또한 사용된다는 점은 흥미롭다. 불행하게도 이 기능에 대해 자세한 것은 제시되지 않았다.
Waltz 는 이러한 격틀의 사용이 전체로 쉽게 확장될 수 있는 체계를 만드는 데 도움이 된다고 주장한다. '새로운 유형의 문장을 통제할 능력을 추가하기 위해 그 문장을 표현하는 개념 격틀을 추가하고, 질의 생성기가 그 문장에 대한 적절한 질문을 생성하는지를 검증하기만 하면 된다' (p.533). 뿐만 아니라 격틀은 대명사 해결에도 도움을 준다. 주어진 술어에 기대되는 논항의 예언자로서 작용한다는 면에서. 그 체계의 일반적인 매력은 CHRONOS 에서처럼, 격틀이 술어 연산에 사상하는 것이 용이하다는 점과, 이 표상들과 지식이 데이터베이스에 저장되는 형태가 동질적이라는 점이다.
우리는 이제 Bobrow & Winograd (1977) 의 지식 표상 언어 KRL (Knowledge Representation Language) 의 한 측면과 KRL 의 설계 특성을 많이 공유하는 Bobrow 등 (1977) 의 실험적인 GUS (Genial Understander System) 를 논의하려 한다. AI 에서 KRL 은 여기서 논의할, 하나의 작은 ( 격과 - 유사한 ) 측면을 휠씬 능가하는 중요한 인공물이라는 점이 강조되어야 한다. KRL 은 단지 지식 표상 이론으로서 뿐만 아니라 고차원의 AI 프로그래밍 언어로 고안되었다. 심지어 전자만으로도 최근 논의 중인 범위를 능가하는 중요한 많은 문제들을 다룬다. 이 중 많은 것이 KRL 을 비판한 Lehnert & Wilks (1979) 에서 다루어졌고, Bobrow & Winograd (1979) 에서는 그것에 답하였다. 그러므로 이 절에서는 AI 에서 이 같은 격 논의 내에 들어오는 KRL 의 측면만을 고려할 것이다.
Bobrow & Winograd 에 의해 서술된 몇 가지 관련 전제를 다시 쓰면 이렇다. '지식은 관련 기술 그리고 절차와 함께 개념적 실체 (entities) 주변에 조직되어야 한다. … 기술의 중요한 방법은 원형 (prototype) 에 대해 기술된 예를 더 명세화면서, 알려진 실체와 비교하는 것이다. 추론은 인지과정에 의해 지배된다. 그 과정에서 새로운 대상과 사건을 저장되어 있는 기대된 원형 집합과 비교하고, 특화된 추론 책략을 그 원형에 맞춘다' (Bobrow & Winograd, 1977:5).
'기대되는 원형'과 '더 명세화하는 것' 이라는 이 개념은 KRL 과 격의 비교에 토대를 제공하는 것이다. 왜냐하면 앞으로 볼 것처럼, 원형과 실현 (realization) 의 표현 방식이 술어와 문장에 대한 언어학적 격틀을 꽤나 생각나게 하기 때문이다. 사건 TRAVEL 의 원형 혹은 '추상 단위' (7a) 와 Rusty 가 Danny 와 Terry 를 방문하려고 San Francisco 로 날아간 사건에 대해 명세화된 단위 (7b) 를 검토함으로써, 이것을 즉시 알 수 있다 ( 앞의 책, p10).
(7a) [Travel UNIT Abstract
<SELF (an Event)>
<mode (or Plane Auto Bus)
<destination (a
City)>]
(7b) [Event 137 UNIT
Individual
<SELF {(a Visit with
visitor = Rusty
visitees = (Items Danny
Terry))
(a Travel with
mode = Plane
destination = San
Francisco)}>]
(7a) 는 travel 에 대한 격 = 틀 자질 집합 (Fillmore(1968a) 의미에서 ) 에 비교할 수 있다. 그 자질 집합은 두 '격'과 이 격을 채울 수 있는 실체의 유형을 명세화한다. (7b) 는 특정 사건에 대한 격틀과 같은데, 이번에는 '격'이 실제 대상이나 실체로 채워진다.
이러한 유추를 인정한다면, 격과 흥미로운 비교를 하게 하는 KRL 의 몇 가지 측면이 있다. 먼저 '격 슬롯'을 채우는 대상은 단어가 아니다. 6절에서 이 구분을 다룰 것이다. 다음으로 격 이론의 일부를 형성하지는 않지만, 몇몇 격의 컴퓨터 실행과 명백히 양립 가능한 많은 자질들이 있다. 이 중 하나가 '무표 가정'이라는 개념인데, 격 - 슬롯은 더 명세화는 것 없이 자동으로 채워진다. Agent 슬롯을 채우는 것을 Wilks 의 것을 유사한 체계에서의 '어떤 알 수 없는 사람'과 비교해 보라 ( 위를 보라 ). 또 '전형적인' 속성과 '기대되는'속성 사이에는 차이가 있다. 그것은 언어적 격에서 보충어 격과 부가어 격 사이의 구분을 떠오르게 한다. 그러나 아마도 격과 유사한 이론의 실행으로 보이는 KRL 의 가장 흥미로운 특성은, 슬롯에 덧붙인 '절차상의 부가 (procedural attachment)' 개념이다. '… 단위 사용의 특정 조건하에서 활성화될 수 있는 절차 집합은 각 슬롯과 연관된다' (앞의 책, p.9). 사실 이 절차는 슬롯을 채우기 위해 혹은 일단 채워진 슬롯을 위해 활성화될 수 있다 (Rosner & Somers, 1980:12 참고 ). 이 절차들은 '… 몇 가지 작용을 수행하기 위해 방법을 제공하는 [] 하인 (servant[s]), [그리고 ] 몇 가지 사건의 부차적인 효과를 일으키는 [] 악마 (demon[s])' 로 하위 구분된다 (Bobrow & Winograd, 1977:33) [강조 원저자 ]. 사실 하인과 악마는 슬롯을 채우는 것과 관련된 것보다 광범위하게 적용되지만, 이것은 관심을 가질 필요는 없다.
KRL 이 격과 다른 가장 중요한 면은, 격과 유사한 요소들 -'슬롯'- 과 특히 그 명칭이 '단위 (units) 내에서 독특하여 그 단위에 대해서는 아주 유일하다는 것이다' ( 앞의 책, p.9) [강조 필자 ]. 이것은 극단적으로 KRL 을 특화된 격 - 체계로 만드는 KRL 의 특성이다. 그리고 슬롯과 슬롯이 부가되어 있는 단위 사이의 이러한 밀접한 연관은 TRAVELLER 단위와 PERSON 단위의 예 (p.16) 에서 강조된다. 전자의 경우 ( 슬롯 명칭 ) 에 그 둘은 Age 라 이름 붙여지고 Infant, Child, Adult 라는 관련 값을 갖는 슬롯을 갖지만, 후자의 경우 ( 단위 ) 에서는 그 자체로 완전한 것 (integer) 이다. 즉, '동일한' 슬롯 명칭이 그것이 부가되어 있는 단위에 따라 다른 의미를 갖는다. 다른 예는 GIVE 의 원형인데 (8a), 이것은 give 에 대한 Fillmore 의 격 - 틀 자질 (8b) 과 대조를 이룬다.
(8a) [Give unit Abstract
<SELF (an Event)>
<object (a physobj)>
<giver (a person)>
<recipient (a
person)>]
(8b) give [Agt Pat Ben]
[(8a)] 에서의 제약은 ( 예를 들어 [Giver] 슬롯의 필러는 사람이어야 한다는 것 ) 추상적인 GIVE 단위에 "속하지만 ", ["어떤 A… 구에서 어떤 N 이라도 [+ 유정성] 자질을 포함해야 한다" 는 Fillmore (1968A:26)의 인용은] 모든 동사의 모든 행위자에 적용하는 제약을 서술한 것이다. 동일한 진술이 KRL 에서는 직접 이루어질 수 없고, [(8a)] 의 그것과 같은 제약을 [이러한] 슬롯을 r 지는 모든 사건에 부여함으로써 표현되어야 할 것이다 (Rosner & Somers, 1980:15) [강조는 원문 그대로]. 말하자면 이것은 지각동사 (= 자극 ) 에 대한 Instrument 관계가 행위 동사 (= 도구 ) 의 그것과는 아주 다른 격 상황에 비길 만하다. 물론 이런 경우가 발행하지만, 이것은 일반 이론으로서의 격을 약화시키는 것 같다. 7절에서 Charniak (1975)의 논평을 논의할 때 이 점을 더 고려할 것이다.
이 점에서 Charniak (1981) 의 '격 - 슬롯 확인 이론' 또한 흥미롭다. 그는 KRL 이 전형적인 예인 '틀'과 유사한 표상을 통합하는 AI 표상 언어와, 특히 격 이론의 격과 '슬롯' 개념을 비교한다. 그는 먼저 READING 의 틀과 유사한 표상 (9a) 를 동사 'read'의 격 - 틀 표상 (9a) 와 대조한다.
(9a) [frame: reading
slots:
reader…
read…
]
(9b) read (agent, patient)
Charniak 은 '격 - 슬롯 확인 이론'의 두 수정판을 제시한다.'최소 가설은 이러한 [ 격과 슬롯사이의 ] 사상이 완전히 자의적이라고 말한다. 즉, 수동자 (patient) 격에 어떤 항목이 주어지면, 의미적 틀에서 그 항목이 채우게 될 슬롯이 어느 것인지 예측할 방법이 없다는 것이다. 그리하여 모든 동사는 격틀의 격과 의미적 틀의 슬롯 사이의 사상을 포함해야만 한다' (Charniak, 1981:287). 이 같은 사상이 (10) 에서 주어진다.
(10) read
frame = reading
agent = reader
patient = read
'다른 가능성인 최대 가설은, 단순히 격과 슬롯은 동일한 것이어서 어떠한 사상도 요구되지 않는다고 서술한다' ( 같은 책 ).
최대 가설에서 다른 이점들이 있는데, 특히 슬롯이 'isa 위계 (isa hierarchy) 를 통해 승계되는' 경우에 그렇다. 이것은 최근의 많은 틀 표상 (Hayes, 1977; Brachman, 1979) 에서 채택되고 있는 것이며, 격틀을 동사 자질로 알 수 있는 Chafe (1970) 의 언어 모형과 유사하다. 그리하여 read 가 타동적 행위 ( 틀 ). 행위 동사 ( 격 ) 이기 때문에 그것이 Agent 를 취한다는 것을 우리는 자동적으로 알게 된다. Charniak 은 그러한 승계된 슬롯 뿐만 아니라, 명세화가 요구되는 보다 특정적인 슬롯 또한 존재할 수 있다는 점을 주목한다. '예를 들어 위의 reading 틀 내에서 아주 중요한 하나의 사실은 ( 그러나 타동적 행위의 층위에서는 명백히 관계없는 ) 읽혀지고 있는 언어이다' ( 앞의 책, p.288). Charniak 에 따르면, 이것은 격에서 그러한 개별적인 문제들을 해결하려면 새로운 문제가 야기된다. 이에 대해 우리는 다음의 대안을 제시할 수 있는데, 그것은 설정된 소수 격의 특성을 점점 더 모호하게 함으로써 가능하다. 그러나 격 - 슬롯 확인 이론에서는 그러한 문제가 발생하지 않는다. 실제로 더 상위 순서의 추상적 틀의 속성으로 계승된 일반격 집합이 존재하지만, 이것은 개별 술어에 도입된 더 특화된 격 / 슬롯에 의해 보완된다. 그러나 이 이론에는 슬롯과 격 사이의 동형성이 없는 것과 관련된 문제가 존재한다. Charniak 은 Instrument 가 roller 와 같은 장치이거나 latex paint 와 같은 물질일 수 있는 paint 의 예를 제공한다. 이것들이 같은 격이라고 가정하면 - 그리고 등위 접속 검증 (11) 은 그것들이 그럴 수 있음을 나타낸다 - 우리는 두 개의 다른 슬롯에 단 하나의 격 사상을 갖게 되는 것이다.
(11) I painted the wall with a roller and some latex paint.
그 반대가 슬롯과 격 사이의 사상에 따라 구분되는 buy 와 sell 같은 동사에서 발견된다 (12).
(12a) to buy
frame = buy-sell
agent = buyer
source = seller
(12b) to sell
frame = buy-sell
agent = seller
destination = buyer
이번에는 동일한 슬롯이 다른 격에 사상된다. Charniak 은 두 문제에 대한 해결책을 제시한다. Paint의 예에 대해서는 슬롯이 더 상위의 틀로부터 계승된 슬롯을 '구별 짓도록' 하는 Brachman (1979) 의 제안이 있다 (13).
(13) [frame: deliberate-act
isa: transitive-act
slots:
instrument…
]
[frame: painting
isa: deliberate-act
slots: applier (differentiates
instrument)
applied (differentiates
instrument)]
두 번째 문제에 대한 해결책은, buy 와 sell 둘 다에 대해 동일한 Source 역할과 Destination 역할 사이와, 분리된 층위에서 Agent 와 non-Agent 사이를 구분하는 것이다. 이것은 위에서 논의했던 (8 장 ) 해결책이며 '격 - 격자 (case-grid)' 제안 (10 장) 의 주요한 이점이다. Charniak 은 그것을 Jackendoff (1972) 로 돌리나, 사실 몇몇 격문법가들에 의해서도 고려된 것이다.
'틀'의 일반 개념을 언급하지 않고 KRL 을 완전히 논의했다고 할 수는 없다. 우리는 격으로부터 거리를 너무 멀리 두려 하지 않을 것이다. Minsky (1975) 의 개념이 AI 에 대해 지대한 영향을 미친 것에 찬사를 보내면서, Lehnert & Wilks (1979:2b) 와 Rosner & Somers (1980:23) 이 언급한 것처럼 후기 저작인 Fillmore (1976, 1977c) 에 대해서도 명백하게 영향을 미쳤음을 주목할 것이다.
Minsky 는 처음에 자신의 컴퓨터 관 맥락에서 '틀' 개념을 생각했는데, 그 핵심 개념은 예측에 의해 주어진 자료를 해석한다는 것이었다. 그 생각은 재빨리 지식 처리의 더 일반적인 영역에 적용되었고 몇 가지 파생 개념, 놀랍게도 '스크립트 (scripts)'가 나타났다 (Schank & Abelson, 1977). KRL 에서 보았듯이 틀의 중요한 자질은, 슬롯과 슬롯에 부가하는 절차를 갖는 필러의 자질이다. 서술적인 지식 (declarative knowledge) 과 절차적인 지식 (procedural knowledge) 둘 다를 포착할 가능성을 갖는 이 결합은 매우 매력적이다. 다른 중요한 자질은, KRL 에서도 명백하지 않는데, 틀이 지식 표상 체계에 연결되어 있는 방식이다. 종종 틀의 슬롯은 다른 틀이나 혹은 오히려 다른 틀의 포인터 (pointers) 로 채워진다. 그렇지 않은 경우 슬롯을 채우는 기본 요소들은 종종 복사 기제 (copying mechanisms) 보다는 포인터에 의해 얻어지는데, 그것은 틀 체계에 관계적 데이터베이스나 망의 속성들을 제공한다. Tennant (1981:220) 은 틀을 포맷 (format) 된 데이터베이스의 자료 유형에 비유하는 반면, Bobrow & Winograd (1979:33) 은 틀의 선구자로서의 파스칼 (Pascal) 같은 프로그래밍 언어의 레코드 유형에 빗댄다. 물론 이 구성개념 (constructs) 중 어느 것도 틀 - 기반 체계에 공통적인 강력한 장치와는 관련이 없다.
틀은 Barr & Feigenbaum (181:216) 에 의해 예시된 CHAIR 틀 (14) 에서처럼 대상을 서술하는 데 사용된다. 혹은 RESTAURANT 틀 (15) 에서처럼 사건의 연속체를 포함할 수도 있다 ( 앞의 책, p.217). 스크립트는 사건 연속체의 표상이며, 그 자체로는 틀의 슬롯과 필러의 특성을 가지지 않는다.
(14) CHAIR Frame
|
Specialization of : |
Furniture |
| Number-of-logs : |
an Integer (DEFAULT=4) |
| Style-of-back : |
straight, cushioned… |
| Number-of-arms : |
0, 1 or 2 |
(15) Generic RESTAURANT Frame
Specialization of: Business-Establishment
Types:
range: (Cafeteria, Seat-Yourself,
Wait-To-Be-Seated, Fast-Food)
default: Wait-To-Be-Seated
if-needed: IF plastic-orange-counter
Then Fast-Food
IF stack-of-trays Then Cafeteria
IF wait-for-waitress-sign or
reservations-made
Then Wait-To-Be-Seated
Otherwise Seat-Yourself
Location:
range: an ADDRESS
if-needed: (Look at the Menu)
[… ]
Food-style:
range: (Burgers, Chinese, American,
Seafood, French)
default: American
Times-of-Operation:
range: a Time-of-Day
[… ]
Payment-Form:
range: (Cash, Credit Card, Check,
Washing-Dishes-Script)
Event sequence:
[etc.]
위에서 암시된 것처럼, 틀은 AI 집단의 상상력을 붙잡아 왔으며, 개념의 엄청난 실행과 발전이 나타났다. Charniak (1976:147-54), Winston (1977:179-203), Tennant (1981-216-26) 과 Barr & Feigenbaum (1981:216-22) 의 것들을 포함한 몇몇 견해와 논의가 유용하다. 틀과 격 사이의 관계는 이 논의 중 둘에서 나타난다. Winston 은 격 문법이 틀과 유사하다고 제안한다. '… 격 문법 문장 분석기는 문장을 동사와 관련 대상들로 표현한다. 우리는 오로지 격 - 슬롯의 틀과 유사한 자질에만 관심을 가지는데, 그것은 격 표상이 틀 개념에 잘 들어맞는지를 알아보기 위해서이다. 일반 동사에 대해서는 비어 있고 열린 틀이 존재한다 … 보다 특정한 동사들은 동사의 기본 의미 자체가 격 가정들을 흡수하기 때문에 엄격하게 결속된 무표에 의해 채워진 몇몇 슬롯을 갖는다 …' (Winston, 1977:189).
한편 Barr & Feigenbaum 은 근본적으로 협소한 격틀의 범위를 훨씬 더 넓은 (Minsky 의) 틀과 비교한다. '격 표상이 주로 단일문이나 행위를 다루는 곳에서, 틀은 전체 상황, 복잡한 대상이나 일련의 사건에 적용된다. 문장, 이야기 혹은 대화를 분석할 때, 틀 - 기반 언어 이해 체계는 입력을 데이터베이스에 저장되어 있는 영역의 대상이나 사건의 원형과 짝지으려 한다' (Barr & Feigenbaum, 1981:231)[강조 필자 ]. Barr & Feigebaum 은 여기서 우리가 간략하게 논의할 두 개의 주요한 문제를 다룬다. 첫째는 '문장이나 행위' 에 격틀을 적용하는 것, 격의 언어적이고 인지적인 개념과 격틀 사이의 중요한 차이를 조용히 언급하는 것이다. 두 번째 면이 무관하지 않다. 문장이나 단순 사건의 격 분석과 이야기와 사건 연속체의 더 심층적인 분석 사이의 불분명한 차이만을 끌어낼 수 있다. 전자에서는 직접적인 역할에만 관심을 가지는 반면, 후자에서는 다양한 추론 기제를 포함하는 더 추상적인 분석을 분명히 요구할 것이다 ( 단일문 / 사건 분석도 배제하지 않는다는 것을 주목하라 ). 이러한 대조는 6 절에서 볼 것이다. 그러기 전에 GUS 를 간략히 검토할 것이다.
GUS (Genial Understand System) 는 Bobrow 등 (1976) 이 개발한 대화 - 체계로, 고객과의 '주도권이 혼합된' 대화에 참여하는 여행 중개인의 역할을 한다. GUS 는 세 - 단계 과정에서 입력을 분석한다. 먼저, 엄격한 통사적 분해를 하기 위해 Kaplan (1973) 의 일반 통사 분해기 (General Syntactic Parser) 를 사용한다. 다음에 그것은 격 - 틀 분석기에 입력되고, 그 출력은 '틀 추론 (reasoning)' 부문으로 사상된다. 그것은 그 체계의 마지막 부분으로 특히 KRL 과 관련되며 GUS 논문의 주요부를 제공한다. 그러나 우리는 간략하게 격 분석과 틀 추론기 (reasoner) 로 입력될 때 이 국면의 결과를 사용하는 것에 집중할 것이다. 비평가들이 위에서 언급하였듯이, Bobrow 등은 추론 부문의 인지적 성질과 비교하여 격틀의 언어적 성질을 강조한다. '격 - 틀 분석은 규범 통사 구조에서의 어휘 항목의 출현을 의미적 환경에서의 그것의 사용과 결부시키기 위해, 개별 어휘 항목과 관련된 언어적 지식을 이용한다. 그것은 Fillmore [(1968a)] 에 의해 처음 시작된 격문법 개념을 토대로 한 격 - 틀 사전을 이용한다. … 이 부문은 선택 제약 같은 것에 대한 지식과 표면 격 ( 전치사를 포함하는 ) 과 의미 역 사이의 사상을 이용한다' (Bobrow 등, 1976:161).
진술 (16a) 에 대해 생성되는 격 - 틀 구조 (16b) 를 예로 보였다.
(16a) I want to go to San Diego on May 28.
(16b) [CLIENT DECLARE
(CASE FOR WANT/E (TENSE
PRESENT)
(AGENT (PATH DIALOG CLIENT
PERSON))
(EVENT (CASE FOR GO (TENSE
PRESENT)
(AGENT (PATH DIALOG CLIENT
PERSON)
(TO-PLACE (CASE FOR CITY (NAME
SAN-DIEGO)))
(DATE (CASE FOR DATE (MONTH MAY)
(DAY 28)
격틀의 해석은 KRL 과 유사한 틀에 의해 제공되는 영역 - 의존적 지식에 의해 주어진다. 따라서 want 격 - 틀은 CMD (command) 틀로 사상되고, go 격 - 틀은 TRIP 틀의 일부로 사상된다 (17).
(17) CMD: (CLIENT DECLARE
(
FRAME IS A
TRIP-LEG
(TRAVELLER (PATH DIALOG
CLIENT PERSON))
(TO-PLACE (FRAME ISA CITY
(NAME SAN-DIEGO)))
(TRAVEL-DATE (FRAME ISA
DATE (MONTH MAY) (DAY 28)
(17) 에는 예시된 틀이 많이 있다. 최상위 층위에는 CMD 에 대한 틀이 있고 다음에는 TRIP-LEG 틀 ( 언어적 격 - 틀을 가장 닮은 ) 그리고 CITY 와 DATE (18) 의 틀이 있다.
(18) [DATE
MONTH NAME
DAY (BOUNDED INTEGER 1 31)
YEAR INTEGER
WEEKDAY (MEMBER (SUNDAY MONDAY
TUESDAY
WEDNESDAY THURSDAY
FRIDAY SATURDAY]
그 논문은 계속해서 이 틀에 대한 절차부가를 논의하는데, 그 틀은 필요한 슬롯 혹은 특정 슬롯에 대한 값의 결과로 채우고 그리하여 대화를 이끌어 간다. 그러나 이것에 관심을 가질 필요는 없다. 다시 (16b) 와 (17) 을 보자. (16b) 에서는 단어로 채워진 격 슬롯을 갖는 격틀이 있는 반면, (17) 에는 개념 등으로 채워진 슬롯을 갖는 틀이 있다. 둘 다에서 몇몇 슬롯이 동일 명칭 (TO-Place, Date) 을 갖는다는 사실은 아주 우연적이어야 한다. 왜냐하면 예를 들어 (17) 에는 DATE 틀에 부가하는 절차가 존재하는 반면, (16b) 에는 적어도 'when-filled' 절차와 동일한 것을 거의 생각할 수 없기 때문이다. 그리고 격틀에서 슬롯을 부가하는 to-fill' 절차 ( 기대되는 통사 형태와 의미 자질 ) 와 틀 슬롯에 부가하는 것 ( 적절한 대화를 생성한다 ) 사이의 구분을 우리는 주목한다. 그래서 격틀에서 KRL 틀로의 몇 가지 사상 알고리듬이, AGENT 와 TRAVELLER 사이의 명칭 변화에 의해 더 명백해지는 사상이, 그리고 TRAVEL-DATE 에 대해 DATE 가 존재한다고 가정해야만 한다. 실험적인 GUS 에서 그것은 '매우 제한적이며', '… 더 실제적인 체계에서 고객의 목적이 보다 깊이 이해되어야 할 것이라는' 것을 제외한다면, 이런 '번역'에 대해서는 거의 언급되지 않았다 (Bobrow 등, 1976:162). GUS 에 대해 더 말할 필요는 없다. 우리는 틀의 두 유형 사이의 차이가 인식되고 그 둘 사이의 사상이 분명해졌다는 명백한 징후에 관심이 있다.
Simmons 의 이름은 일반적으로 인지 모형으로서의 '의미망 (semantic networks)' 의 개념과 관련된다. 이 절에서는 Simmons 가 어떻게 영어에서 문장 표상의 층위 (level) 를 제안했는지, 이 표상이 어떻게 의미 표상의 토대로서, 문장을 생성하기 위해 토대로서 혹은 질의 - 응답에서의 중간 표상으로서 사용될 수 있는지를 살펴볼 것이다. Simmons 의 생각은 많은 저작에서 설명된다. Simmons (1973) 은 가장 자세한 기술인 반면, 다른 논문들은 다른 이용에 초점을 두고 있다. 그의 (1972) 논문은 단어 의미 (sense) 를 구별하는데 자신의 의미 구조를 사용하는 것을 논의하고 Simmons & Slocum (1972) 는 문장 생성을 다루고 있으며 Simmons & Bruce (1971) 은 의미망 형식화 (semantic net formulation) 를 술어 연산과 비교한다. Simmons 의 지적에 대한 간략한 개관과 논의는 Scragg (1976) 과 Wilks (1977) 에서 발견된다.
Simmons 는 '… 의미망의 이론과 모형은 인간의 표면 동사 이해에 대한 전산 이론 [ 이다 ]' (1973:63). 여기서 핵심 요소는 전산적이고 표면적이라는 것이다. Simmons 는 ( 아직 ) 자신의 모형이 심리학적인 것이라는 심리언어학적인 증거가 충분치는 않으나, 강력한 전산 언어 이론임을 시인한다. 그 표면성은 단어와 문장의 표면형과 표상이 너무 동떨어질 수는 결코 없다는 사실에서 온다. 의미망은 의미적 관계에 의해 상호 연결된 원소 개념 (primitive concepts) 을 표상하는 교점들로 이루어진다. 그러나 '원소 개념이 … 단어 - 의미 (word-sense) 의 의미라는 것을 주목하라. 원소 의미관계는 문장의 동사가 그 주어, 목적어와 전치사구 논항을 갖는 관계이다' ( 앞의 책 )[ 강조 필자 ]. 의미망은 R 이 관계하고 a 와 b 가 망에서 교점들의 명칭인 세 쌍 aRb 로 이루어진다. 의미 표상을 위해 사용된 관계들 중에는 '심층격'이 있다. 접속사, 양상 관계, 속성 관계 등등이 있기는 하지만, Simmons는 3 절에서 보여진 것처럼 Celce-Murcia (1975) 의 것을 사용한다. Simmons 의 예인 문장 (1a) 의 격 관계는 (1b) 로 혹은 세 쌍 표기에서 그 등가물 (1c) 로 표상될 수 있다.
(1a) John broke the window with a hammer.
(1b) 
(1c) (C1 CA1 C2) (C1 CA2 C4) (C1 THEME C3)
(1b) 의 그림은 Scragg (1976:121) 과 Wilks (1977:362) 둘 다 제시한다. 두 저자가 모두 지적했듯이 교점이 단어를 가지는 것으로 오해될 수 있는데, 그것은 단어가 (2) 에서처럼 특별한 TOKEN 관계를 갖기 때문이다.
(2) (C1 TOK break) (C2 TOK John) (C3 TOK window) (C4 TOK hammer)
완전한 표상은 또한 명사구의 수와 한정, 그리고 동사의 양상을 명세화할 것이지만, 여기서는 그것에 대해 숙고할 필요는 없다. 각각의 세 번째 요소가 엄격히 단어가 아니지만 어휘부의 개별 단어 - 의미에 색인을 달아야 하기 때문에, (2) 에서 세 쌍은 여전히 다소 잘못 이끈다. Bread 의 이러한 의미는 L47 이나 혹은 어떤 것이든 될 것이다. 사실 이것은 중요한 사항인데, 그것은 망에서의 기본 요소들이 교점, 관계, 개념 ( 어휘소가 아님을 주목하라 ) 과 일 - 대 - 일 대응하는 범위의 단위라는 것을 의미하기 때문이다. 그러나 그것은 Schank (다음 절을 보라 ), Wilks (4절 ) 혹은 Hendrix 등 (1973) (4절) 이 가지는 류의 의미 원소라기보다는 명백히 단어 - 의미이다. 이것은 buy 와 sell 에 대한 Simmons (1973:81f)의 논의로 꽤나 명백하게 볼 수 있다. (3a-b) 와 같은 문장 쌍은 다른 망에 의해 표상된다 (3c-d 각각 ; Simmons 는 여기서 보여진 형식론을 사용하는데 그것은 이론적인 함축이 없는 간편한 속기라고 가정되어야 한다 ). 비록 그것의 준 - 동의어 ( 말바꾸기 관계 ) 가 한 역할을 다른 것으로 사상하는 (3e) 와 같은 '말바꾸기 (paraphrase) 규칙'을 사용하여 연산될 수 있기는 하다.
(3a) John bought the boat from Mary.
(3b) Mary sold the boat to John.
(3c) C1 TOK buy, SOURCE (Mary), GOAL (John), THEME (boat)
(3d) C2 TOK sell, SOURCE (Mary), GOAL (John), THEME (boat)
(3e) RO1 (BUY (S-S) (G-G) (T-T) SELL)
(3e) 에서 보여준 유형의 말바꾸기 규칙들이 항상 그렇게 직선적이지는 않다는 것은, (4b/c) 와 (4d/e) 사이의 바꾸어 쓰기 관계를 설명하는 lose 를 defeat 으로 사상하는 (4a) 에서 볼 수 있다 (1973:99f).
(4a) (LOSE (C-G) (T-S) (L-T) DEFEAT)
(4b) Napoleon lost the Battle of waterloo to Wellington.
(4c) lose, SOURCE (Napoleon), THEME (Battle of Waterloo) GOAL (Wellington)
(4d) Wellington defeated Napoleon at the battle of Waterloo.
(4e) defeat. CA1 (Wellington), THEME (Napoleon), LOC (Battle of Waterloo)
Simmons 는 (3a, b) 나 (4b,d) 가 동일한 표상을 갖는 더 심층적인 표상과 말 바꾸기 규칙으로 동일하게 되는 자신의 더 얕은 접근을 구분한다 (1973:81). '아마도 심층구조는 질문에 더 경제적으로 답변할 뿐만 아니라 개념 구조에 대해 더 만족스런 심리적 모형을 구성할 것이다. 더 얕은 구조에 대한 주장은, 그것이 어휘 선택의 층위에서 통사적 변형과 의미적 변형 사이의 구분을 깔끔하게 정의한다는 것이다 …'(1973:81) [강조 필자 ]. Simmons 는 위에서 본 의미적 말 바꾸기와 통사적 말 바꾸기를 구분한다. (1973:80f). 그 둘은 기저 의미 표상이나 같은 동사에 대해서는 동일하지만 양상 ( 능동 / 수동 ) 혹은 주제화 구조에 대해서는 다르다.
이러한 일반적인 입장은 Simmons (1972) 논문에서 몇 가지 언급으로 다소 양보된다. 예를 들어 그는 '내 견해로는 의미 표상은 아마도 그것의 자연 언어 표상과는 완전히 자유로워야 한다'고 서술한다 (1972:74) [강조 필자]. 이것은 우리가 간략하게 살펴 볼 류의 표상 (즉, Schank 의 CD) 에 대한 주장처럼 들리지만, 이어지는 언급은 그가 의미하는 바가 의미적 해석의 부담이 문법과 어휘부로 옮겨져야 한다는 것이라는 점을 암시하는 것 같다. 비록 어휘부가 단어 희미에 의해 배열되어 있기는 하지만, Simmons 는 더 심층의 의미 표상 ( 추론, 총칭 관계 등등을 포함하는 ) 을 배제하지 않는다. 그것은 의미 표상이 특정한 개별 단어 의미에 의해 촉발되기 때문이다. 문법 또한 의미적인 중요성을 가진다는 것은 정의된 관계가 추론을 가질 수 있다는 사실에 의한다. '예를 들어 Agent (a, b) 는 a 가 유정적이고 b 가 과정 (process) 이며 b 가 a 에 어떤 효과를 갖는다는 것을 의미한다' (1972:76).
Simmons 의미망의 다양한 실행을 검토하는 데 너무 많은 시간을 할애할 필요는 없다. 위에서 언급되었듯이 세 가지 주요한 목적은 일반적인 분해기로서, 문장을 생성하는 토대로서 ( 이런 측면을 Simmons & Slocum, 1972 에서 자세히 논의되었다 ), 그리고 질의 - 응답 체계로서 이다. 꽤 표준적인 기술이 사용되었고 ( 통사 - 우선 ATN), 이미 몇몇 체계에서 보였던 것과 동일한 류의 통사적이고 의미적인 자질 사상 알고리듬이 나온다. Simmons (1973)에 세부사항이 상당량 제시된다 - 특히 격할당에 대해서는 p.90 을 보라. 그러나 마지막으로 언급해야 할 곤혹스런 특성이 하나 있다. Simmons 는 과정에 대한 자신의 주요 기술에서, 격할당이 동사의 어휘 내항에 기인하는 정보에 의해 인도된다고 암시한다 ( 이것은 아주 정상적이다 ). 그러나 결론에서는 (p.106) 격 역할을 정확하게 할당하는 것이 동사의 다른 단어 의미들을 구분하는 데 도움을 준다고 제안한다 (Marcus (1980) 의 격틀 해석기 (interpreter) -3절 참고 ). 여기에 모순이 있는 것 같다. 동사 패러다임 정보는 일단 정확한 동사 - 의미가 발견되는 경우에만 유용하다. 정확한 동사 - 의미를 찾기 위해 이러한 정보를 이용하는 것은, 당신 자신의 구두 끈으로 자신을 밀어내지 못하는 것과 마찬가지로 불가능한 것 같다. 그것이 작용하는 것을 볼 수 있는 유일한 방법은, 몇 가지 단어 - 의미 사이에 존재하는 모호성이 그 문장의 역할 구조와 평행한 가설들을 세우게 유도한다는 것이다. 그리하여 자료에 적절하면 어느 것이나 옳은 것으로 확인된다.
이제 우리는 위의 몇몇 경우에 이미 암시되었던 Schank 의 개념 의존 (the Conceptual Dependency) (CD) 이론을 살펴 볼 것이다. CD 는 아주 많은 논문 (Schank, 1972, 1973a, b, 1975, 1977; Schank & Abelson, 1977; Schank & Riesbeck, 1981) 과 몇몇 비평 (예를 들어 Wilks, 1977:365-9; Barr & Feigenbaum, 1981:211-5) 에 의해 기술되었다. 그 기술 가운데서 (1975) 책은 가장 완전하며, Schank & Abelson (1977) 과 Schank (1977)은 가장 간결하게 요약되어 있다. CD 가 아주 잘 알려져 있고 충분히 입증되었기 때문에 세부사항을 요약하는 데 시간을 허비하지는 않을 것이다. 그러나 AI 에서의 격에 대한 고찰과 관련된 주요 특성을 살펴볼 것이다.
CD 를 다른 격 - 유사 체계들과 구별해 주는 중요한 측면은 표상의 깊이이다. 이것은 모호하지 않도록 개념화 (conceptualization) 에 대해 '언어 - 독립적' 표상을 하고자 하는, 동의적이라고 말할 수 있는 발화라면 어느 것이든 그 기저 의미를 독특하게 포착하고자 하는 Schank 의 열망으로 비롯된다. 이것은 모든 발화를 원소 '술어들'과 7 개의 역할 관계 혹은 '개념적 격' 의 조합으로 축소함으로써 성취된다. 이 때 그 원소 술어들은 12 개의 '행위' 집합에 상태와 상태의 변화를 더한 것으로부터 채택되고, 원소 '인과관계 (causation)' 를 갖는다. 또 이러한 개념 격은 그 그래픽 표상과 함께 여기에 제시되었다.

Schank 는 행위, 행위자 그리고 대상물이 실제 세계의 개념에 대응한다고 강조하는데, 이것이 asg 은 언어적 동사들이 복잡한 개념화로 분석되어야만 하는 이유이다. Hurt 라는 것이 종종 예로 제시된다. 이것은 '실제 세계' 행위가 아니라 어떤 실제 행위로부터 결과된 물리적이거나 정신적인 상태이다.
CD 격과 Fillmore 의 개념 사이의 주요한 차이는 본질적으로 수의적인 격이 존재하지 않는다는 것이다. '… 개념적인 격은 행위의 일부이고 그러므로 그 행위가 나타날 Eoas 언제나 항상 나타난다' (Schank, 1977:577). 종종 - 서술된 이러한 제약은 실제 실행에서는 다소 양보되었다. 모든 행위 (ACT) 는 의무적인 Instrument 를 가지며 그것은 아주 흔히 행위 자체라는 사실을 언급하였다. Schank 는 '… 그러므로 여하튼 주어진 문장을 개념적으로 도해하는 것이 실제로 불가능함에 틀림없음을 알 수 있다. 즉 모든 행위는 도구 등등을 갖는다 … 이런 류의 분석이 특별히 유용하지 않고 써내는 것이 아주 골치 아프기 때문에, 그렇게 하지는 않는다. 오히려 개념화를 표상할 때면 언제나, 우리가 하고 있는 주장이 무엇인가를 설명하기 위해 주요 개념화와 필수적일 수 있는 도구 개념화를 단지 도해할 뿐이다'라고 언급한다 (Schank, 1977:578f) [강조 필자 ]. 이것이 도해 약정 (the diagramming convention) 이거나 혹은 실제 모형에서의 실행이라면 꽤나 분명치가 않다. 후자라면 이것은 분명히 의무적인 격이라는 개념과 ( 가능한 추론에 대해 ) 표상에서 그 출연에 대한 요구를 심각하게 양보한 것이다. 게다가 개념화에서 몇몇 도구를 포함시킬 필요성을 선험적으로 (a priori) 결정하는 데, 어떤 기준이 사용될 수 있는지 물어볼 수 있다.
이 지점에서 우리는 친숙한 예인 buy 와 sell 로 CD 와 우리가 살펴보았던 다른 표상 사이의 차이를 간략하게 설명해야 한다. Schank 에서 두 동사는 개념적 층위에서는 동의적이고 그래서 (5a, b) 와 같은 문장 쌍은 둘 다 (5c) 처럼 표상될 것이다.
(5a) Mary sold the car to Beth.
(5b) Beth bought the car from Mary.
(5c)

영어 문장이 CD 표상으로 변형되는 수단은 Riesbeck (1975) 에 의해 기술되어 있지만, Ritchie는 '… 표면형과 개념적 의미 사이의 관계에 대한 명백한 이론이 없음'에 대해 불평한다 (Ritchie, 1980:109).
CD 는 단순한 이야기 이해를 위한 모형으로 사용되어 왔는데 (MARGIE 체계에서 -Schank, 1975), 이러한 이해는 영어 문장의 CD 표상으로부터 생성된 것에 의해 예시된다. 그 CD 표상은 입력의 분석으로부터 이끌어낸 추론을 서술한다. 보다 최근의 CD -기반 스크립트의 사용은, 기계번역에서 제안되었다 (Carbonell 등, 1978; 다음 장을 보라 ).
CD 는 의심할 여지없이 격과 유사하다. 그리나 CD 표상을 연산하기 위한 책략들과 관련된 정보가 없기 때문에 격의 다른 형식화와 그것을 비교하는 것은 어렵다. 텍스트와 표상 사이의 사상의 복잡성은 CD 가 결코 심도 있는 언어 모형으로 간주될 수 없다는 것을 의미하는데, 실제로 Schank 는 언어 과학보다는 인지 과학과 관련된 모형이라고 주장하면서 결코 CD 를 그렇게 의도하지는 않았다. 통사론과 의미론 사이의 유용한 교량으로서 격을 때때로 언급하는 것과 관련 지어 볼 때, CD 가 이 범주밖에 있는 것은 명백하다. 그러나 그것은 Schank 가 제안한 격의 본질 때문이 아니라, 어휘 술어를 작은 원소 집합으로 축소시킨 그의 주장 때문이라는 것을 주목하라. Schank 가 사용한 역할은 훨씬 더 표면 - 지향적인 많은 체계에서처럼 원소적이지 않는데, 이것의 함의를 깊이 생각하는 것은 흥미롭다. 주어진 격의 성질이 그것이 부가되는 술어의 지위에 어느 정도 의존하는가 ? 7절에서 우리는 무언가를 'Agent' 로 부르는 것이 의미하는 바가 무엇인지 하는 것과 같은 질문들을 논의할 것인데, 예를 들어 dance 의 Agent 와 hit 의 Agent 사이의 차이에 관심을 가질 것이다. 그러나 여기에는 다른 갈등이 있다. 만약 모든 술어가 원소 행위에 대응된다면 관련 격이 동일한 순서의 원소라고 생각할 수 있다. 다른 (그리고 완전히 반대되는) 견해는, 각 격이 각 원소와 관련하여 달리 해석될지라도 소수의 원소 행위와 소수의 격을 가진다면, 여전히 소수의 (37) 원소 관계를 합리적으로 가질 것이며, 그 중 몇몇은 결국 개념적으로 동일하다고 판명될 것이라는 것이다. 이것은 CD 의 격에 대한 혹은 격 중 몇몇에 대한 보다 그럴듯한 접근으로 보인다. 예를 들어 세 개의 '정신적 행위' (MTRANS, MBUILD, PLAN) 중 하나의 행위자와 PTRANS 나 INGEST 의 행위자 사이의 차이를 생각해 보라. Schank 가 원소 술어의 본질에 대한 설명과 특성에 많은 주의를 기울인 반면, 격의 문제는 거의 제기하지 않았다는 것은 흥미롭다.
이 장 도처에서 다양한 방식으로 격을 이용하는 많은 체계들을 보았다. 이 절에서는 특히 표면 - 지향적인 혹은 '언어학적인' 격의 견해와 훨씬 더 심층적인 '인지적인' 견해 사이를 구분하는 데 집중한다. 논의의 완성을 위해 Rosner & somers (1980) 가 이 구분의 중요성에 대해 원래 했던 몇 가지 주장을 여기서 반복하고자 한다.
방금 인용했던 논문은 사실 용어 '격틀' 의 사용에 대한 우리의 관심에서 발전한 것이다. 그것 (격틀) 은 때로 채워진 슬롯을 갖는 틀로 지시되고, 때로는 몇몇 술어에 의해 암시되는 '가상의 (virtual)' 틀로 지시된다는 것을 우리는 주목했다. 실제 (actual) 격틀과 가상의 격틀의 이러한 구분에 영향을 주는 것은, 문장과 동사에 대한 격틀 사이의 그리고 사건과 사건 유형에 대한 격틀 사이의 차이이다. 우리는 이 격틀의 네 개의 다른 유형들을 CF1 에서 CF4 라 부르는데, 그림 2 에서처럼 (6) 의 전형적인 관련 진술을 갖는다.
|
|
실제의 (actual) |
가상의 (virtual) |
|
언어학적 (linguistic) 인지적 (cognitive) |
CF1 CF3 |
CF2 CF4 |
그림 2 : 네 가지 유형의 '격틀'
(6a) The case frame for sentence s is (some CF1).
(6b) The case frame for verb v is (some CF2).
(6c) The case frame for event e is (some CF3).
(6d) The case frame for event type E is (some CF4).
이제 우리는 검토해왔던 체계의 예들을 이 분류 (Rosner & Somers, 1980:3) 에 덧붙일 수 있다. 예를 들어 3 절에서 보았던 격 분해기 -PARSIPAL (Marcus, 1980); Celce-Murcia (1975) 의 문장 인식기 (recognizer); PTOSYS (Smoers & Johnson, 1979; Somers, 1980a) -가 CF2s 를 사전에 저장하였지만, 다른 두 체계에서는 '비어 있는' CF1s 이 통사적 혹은 의미적 동사 자질로부터 추론된다. 대조적으로 더 심층의 표상을 사용하는 체계에서는 '동의적인' 동사와 문장이 전형적으로 동일한 분석을 얻어, 추상적인 CF3s 를 생성한다. Bobrow & Winograd 의 KRL 에서 원형 틀 (Abstract UNITS)은 CF3s 이다. 동일한 토큰에 의해 Schank 의 CD 표상은 CF3s 로 간주될 수 있다 ( 비록, 모든 격이 의무적이라는 사실 때문에 CF4s 에 대해 어떠한 요구도 없지만 ), 표면형과 밀접하게 관련되기는 하지만 Simmons 는 Celce-Murcia 의 '패러다임' 개념을 따르기 때문에 그의 체계에는 CF4s 가 없다.
이제 이러한 CFns 의 분리에 의해 포착될 수 있는 몇 가지 중요한 구분을 상기해 보자. 첫째로 실제적 / 가상의 구분. 동일한 CF1 을 가지는 두 문장이 동의적이라고 말할 수 있으며 동일한 CF3 을 가진 두 사건이 동일한 사건이라고 말할 수 있다는 것을 주목하라. 그 동일함은 동일한 CF2 (예를 들어 rotate 와 bend) 혹은 CF4 를 갖는 동사에 대해서는 언급될 수 없다. KRL 의 경우 CF4s 에서의 이러한 구분은, 다른 사건 유형이 달리 이름 붙은 역할 그것들과 연관된다는 사실에 의해 강조된다. 7절에서 앞으로 볼 것처럼, 이러한 구분은 다른 동사 / 사건 유형에 대해 Agent 와 같은 일반 개념을 갖는 체계에서는 모호하다. 게다가, 실제 격틀과 가상의 격틀에서 수의성의 개념이 달리 해석된다는 것을 주목하라. 후자에서 수의적이라고 표시된 역할은 대응하는 예시나 실제 격틀이 그것 ( 역할 ) 없이도 완전한 것으로 간주될 수 있음을 의미한다. CF2 와 함께 이것은 분명히 주어진 동사가 그 일부가 되는 용인 가능한 문장들 (CF1) 의 범위를 기술한다. 하지만 Rosner & Somers (p. 14) 에서는 Agent 없는 GIVE 가 아마도 RECEIVE 일 것이기 때문에, 사건의 대응 개념이 덜 분명하다는 점을 주목했다. CF4 의 수의성에 대해 가능한 해석 중 하나는, '수의적' 역할이 비 명세화된 상황에서 CF3 이 구성될 수 있음을 의미한다는 것이다.
드러난 바와 같이, 다른 축에 따라 명백한 차이가 존재한다. 언어적 / 인지적. 우리가 주목했던 (pp. 5ff) 한 가지 특별한 차이는, CF1s 와 ( 아마도 덜 자주 ) CF3 을 표상하는 데 종종 사용된 수형도의 지위가 다르다는 것이다. 언어적 수형에서의 위치는 보통 중요한데, 표면 어순을 반영한다. 이것은 가지가 변형에 의해 이동되는 Fillmore (1968a) 의 경우에 특히 그렇다. 그러나 CF3 에서 주변으로 이동하는 가지는 전형적으로 무의미한 작용인데, 그것은 다르지만 동등한 표기가 CF3 에 대해 제안될 수 있다는 사실로 확인된다 ( 예를 들어 Charniak, 1975:3 에서 온 (7) 의 표기 ).

더 중요한 것은 슬롯을 채우는 대상의 지위이다. CF1s 에서 그것은 일반적으로 단어이거나 적어도 명사구와 같은 통사적 구성물이다. 그러나 CF3s 에서 그것은 일반적으로 개념 (Simmons 에서처럼 ) 에 대한 혹은 실제 실체에 대한 포인터이다. 이것은 문장 (8a) 을 위한 CF1 (8b) 에서 Patient 교점은 언어적 요소 himself 에 의해 채워진다. 이 교점이 Agent 슬롯의 필러 [ 포인터를 갖는 것이라면 어느 표상이든지 더 인지적인 표상 (8c) 이다.

단어 / 개념 구분이 또한 가상의 격틀에 적용된다는 것을 주목하라. CF2 는 일반적으로 단어 층위의 일반 제약뿐만 아니라 몇 가지 통사적 제약 - 전면적으로 적용하는 일반 제약으로 표현되든 (Fillmore (1968a) 의 주어 선택 규칙 ), 동사 하나 하나를 토대로 표현되든 - 을 내포할 것이다. CF4s 에 대해서는 분명히 의미적 제약이 존재할 것이지만 통사적 제약과 동등한 어떤 것을 생각하기는 어렵다. 그러나 우리가 지적한 것처럼, 그 구분은 흐려질 수 있다. '… 특정한 자연 연어 체계들 ( 예를 들어 Simmons, 1973; Norman 등, 1975) 은 아주 모호한 방식으로 격 표찰을 채택한다. 따라서 [Simmons 의 격틀 ] 의 "지엽 (leaves)" 이 단어 또한 대상을 표상하는지 어떤지는 결코 명백하지 않다. [그것을 ] 구성하는 분해기에서 그것들은 분명히 단어이지만 말 바꾸기 규칙에서 그것들은 아마도 대상일텐데, 우리가 CF3 이라 불러온 것이 분해기의 엄격한 눈으로 보면 CF1 처럼 보이는 카멜레온의 성질을 갖는다는 것을 암시한다 (Rosner & Sommers, 1980:16). 바로 그 성질이 사실상 내가 생각컨대, AI 에서 격을 그렇게 매력적이게 하는 것이다. 격이 통사론과 의미론 사이의 교량으로 작용하는 몇몇 경우에 대한 언급이 있었는데, 여기서 그 이유에 대해 정밀하게 살펴본다. 바라는 표상이 몇몇 단어에 독립적이지 않으면, 그리고 이러한 단어가 몇 가지 유용한 방식으로 더 인지적인 개념들과 관련될 수 있다면, 격은 이 기능을 수행할 수 있다. 다른 동물 은유를 사용하면, 격은 물고기처럼 보이지만 실제로는 포유동물이며 두 세계의 가장 많은 부분을 공유하는 돌고래와 같다. 동일한 방식으로 격은 때로는 통사적이고 때로는 의미적인 것처럼 보이며, 두 '거주지'에서 모두 기능한다. 문제는 돌고래가 아가미를 가진다거나 사막에서 살 수 있다고 속일 때에만 일어난다. 즉, 두 영역 중 어느 하나에 격의 능력을 뻗치려고 애쓸 때 일어난다.
Charniak 은 자신의 (1975) 논문에서 언어를 분석하는 Al 체계의 격 개념 이용이 실제로는 격을 전혀 사용하지 않는다고 주장한다. 그의 주장은 Wilks (1976a) 에서 다소 장황하게 논의되었다. 여기서는 앞선 절에서 검토했던 체계들을 유념하면서, 또 몇 가지 결론을 내리면서 그 논의를 다시 다루고자 한다.
Charniak 은 (p.4) 먼저 '격 표기'라 부르는 것과 '위치 표기 (positional notation)' 를 대조하면서, (1a) 문장을 (1b) 로 표상할 때 격 명칭은 전적으로 (1c) 와 동등한, 서술어의 논항에 대해 기억을 돕는 표시일 수 있음을 주목한다.
(1a) jack opened the door with a key.
(1b) ((PREDICATE OPEN)
(AGENT JACK)
(PATIENT DOOR)
(INSTRUMENT KEY))
(1c) OPEN (JACK, DOOR, KEY)
Charniak 은 (1b) 의 격 명칭이 독립적인 의미를 갖지 않는다면, '격 이용' 없이 '격 표기'를 가질 수 없음을 주목한다. 거꾸로 (1c) 의 논항 위치가 몇몇 기제에 의해 그런 의미와 관련되지 않는다면 그 역도 가능하다. '격 표기' 없는'격 이용'. Wilks 는 '한 사람이 첫째 논항이 행위자 등등이라는 것을 알고 있다'는 조건을 강조하면서 이 주장을 확신한다 (p.59). 우리는 (2) 에서와 같은 몇몇 동사와 사건에 대한 '가상의 (virtual)' 격 - 틀이, (1c) 와 같은 몇몇 '실제 (actual)' 격 - 틀 위치로의 사상을 정의하는 표기를 생각할 수 있다.
(2) OPEN (AGENT, PATIENT, INSTRUMENT)
Charniak 은 계속해서 명백한 '격 이점들' 중 하나 즉, 관련 술어의 의미들을 비교하고 대조하는 것을 논의한다. 예를 들어 look 은 Agent 를, 'see' 는 Experience 를 취하면서 이 두 동사는 '동일한 기본 의미를 갖지만 다른 격틀' (p.5) 을 갖는다고 제안한다. 그는 이렇게 함으로써 '우리는 분리된 두 개의 의미 표상에 대한 요구를 회피한다고 제안한다 ( 앞의 책 ). 어쨌든 격틀이 의미 표상을 설정하는 데 작용하는 것이 어느 부분인지 궁금하다. 예를 들어 몇몇 체계에서는 격틀 자체가 어떤 의미에서 의미 표상이라고 생각할 수 있다. 그리고 동일한 의미 (Charniak 의 의미에서 ) 와 동일한 격틀을 갖는 두 개의 구별된 동사를 갖는다는 것이 가능할까 ? Charniak 은 look 과 see 가 공통의 어떤 것 ( 말하자면, 개념 OBSERVE) 을 가지며, 그 차이는 AGENT / EXPERIENCER 개념에 기인한다고 제안함으로써 자신의 입장을 요약한다. 이것은 (3) 처럼 요약된다 (Patient 역은 무시한다 ).
(3a) 의미 (look) = 의미 (OBSERVE) + 의미 (AGENT)
(3a) 의미 (see) = 의미 (OBSERVE) + 의미 (EXPERIENCE)
언뜻 보기에 이것은 아주 충분한 것 같다. 간단한 뺄셈으로 그 차이가 (4) 에서와 같은 두 격 사이의 차이에서 기인한다는 Charniak 의 견해를 포착할 수 있다.
(4) 의미 (look) - 의미 (see) = 의미 (AGENT) ? 의미 (EXPERIENCE)
지금까지 Charniak 은 방정식이 '선형적'이라고 말한다. 그러나 실제로 AI 체계에서는 방정식이 비 - 선형적이어야 (5) 한다.
(5) 의미 (look) = 의미 (OBSERVE) + 의미 (AGENT) + 의미 (OBSERVE, AGENT)
즉 AI 체계에서 기본 의미와 관련 격 사이의 연결을 설정하는 것은 중요하다. 그러나 Charniak 은 만약 OBSERVE 가 Agent 를 갖는지 아니면 Experience 를 갖는지 검토하지 않는 채 즉, 선형적인 방법으로 그 체계가 능할 수 없다면, 우리가 선형성이 전혀 없는 (6) 을 갖는 것이 당연하다는 점을 주목한다.
(6) 의미 (look) = 의미 (OBSERVE, AGENT)
그러나 이 시나리오에서 격은, 그것이 나타나는 술어에 대해 독자적인 의미를 갖지 않으며 그러므로 격이 아니라 단순한 논항 명칭이다. Charniak 은 의미 정의에서 선형성은 진정한 격 - 이용 체계에서 필수적인 자질이라고 결론짓는다. Wilks 는 '… 만약 AGENT 에 대해 추론하는 모든 경우에, 그것이 어느 동사의 행위자인지 혹은 그 동사에 어떤 원소 행위를 부호화하고 있는지를 체계가 검토하고 알아야 한다면, 그것은 분명히 체계에서의 결함이 될 것이라는 것에 동의한다' (Wilks, 1976a:60). 이런 측면에서 자신의 ( 술어 ) 격 집합을 정의하는 술어 각각을 갖는 KRL (Bobrow & Winograd, 1977; 5절을 보라 ) 은 결코 진정한 '격' 체계가 아니라고 결론 내려야 한다.
격은 그것이 나타나는 술어와는 독립적인 어떤 '의미'를 지녀야 한다는 이러한 개념은, 꽤 합리적인 듯하며 몇몇 일반적인 논의에서 되풀이된다 ( 예를 들어 Welin, 1975:33; Ritchie, 1980:114). 그러나 격을 구분하는 Bruce (1975) 의 다섯 가지 가능한 기준 중 어느 것도 이 제약을 반드시 포함하는 것은 아니라는 점을 주목하는 것은 흥미롭다.
1. '격은 한 단어의 다른 의미들 (senses) 을 구분하는 데 사용되어야만 하는 속성이다.' (p.333)
2. '격은 사건의 독특한 명세화를 위해 사용되어야만 하는 속성이다.' (p.334)
3. '격은 그것이 표현되지 않을지라도 그 값이 알려질 필요가 있는 속성이다.' ( 앞의 책 )
4. '격은 일반적으로 주어진 사건 유형에 대해 그 값이 명세화되는 속성이다.' (p.335)
5. '격은 특히 담화 영역 (domain) 과 관련된 속성이다.' ( 앞의 책 )
선형성의 이러한 문제를 잠시 동안 숙고해 보자. 왜냐하면 Charniak 의 특화성에는 그 논쟁을 흐리게 하는 문제의 과잉단순화가 존재하기 때문에. 주요 문제는 준 - 형식론의 사용이며 특히 '술어' 의미의 사용이다. 처음에는 이것을 모호하게 얼버무릴 분이나 나중에는 다소 더 정확하다. '의미 (CASE) =오로지 X 가 CASE 의 경우라는 것을 알고 있으면서, X 에 대해 할 수 있는 추론 집합' (Charniak, 1975:19). 그것은 아주 적절하지만 어떻게 그 정의가 '의미 (OBSERVE)' 혹은 '의미 (OBSERVE, AGENT) 와 같은 표현에 적용되는가 ?'
다소 더 엄격한 형식론으로 문제들을 명료화할 것이다. 격 - 틀 해석과 관련하여 우리의 직관을 포착해 보자. 우리는 정의 (7) 로 시작할텐데, 그것은 의미 (M) 가 응용 혹은 추상 (A) 을 제공하는, 개념 (C) 에 대한 기능이라고 서술한다.
(7) M : C → A
우리는 A 는 고의적으로 모호한데, 이는 그 정확한 본질이 체계의 본질에 의존할 것이기 때문이다. A 를 '당신이 그것으로 함께 처리하고자 하는 것이면 무엇이나'로 주석을 달자. 참고로 우리의 개념들은 n (명사들이나 그것들의 '실제 - 세계' 등가물 ), v (동사들 혹은 사건들 ) 그리고 격 (k) 이다. 이것은 우리에게 (8) 과 세부적인 정의 (9) 를 제공할 것인데, 그것은 주어진 명제에서 바라는 추상이 n, v, k 의 의미 M 에 대한 조합 ( ○ ) 이라는 것을 말해 줄 뿐이다.
(8) C = {N, V, K}
(9) A = M(N) ○ M(V) ○ M(K) ○
(10a) 예문을 채택해 보면, (9) 가 우리가 말하고자 하는 모든 것을 포착하지 않음을 알 수 있다. (10b) 에는 n Willy 나 v run 에 대한 k Agent 의 관계에 대해서는 아무런 표현이 없다.
(10a) Willy runs.
(10b) a = M (Willy) ○ M (run) ○ M (Agent)
문제는 K 가 N 과 V 와 같은 단순 개념이 아니라, 그 자체가 기능이라는 것이다. 우리는 'run 의 Agent' 나 'Willy 가 Agent 로 행동하는'과 같은 개념을 표현할 수 있기를 원한다. 그리하여 분명히 (11) 을 찬성하는 (8) 을 포기하면서 C 를 재정의해야 한다.
(11) C = {N, V}
우리가 K 를 필요로 한다는 것을 주목하라. (12) 와 같은 정의는 v 에 대한 n 의 관계에 대한 개념은 결여되어 있어, 예를 들어 (13a-b) 를 구분할 수 없다.
(12) A = M (V) ○ M (N)
(13a) Harry loves Jane.
(13b) Jane loves Harry
이 점에서 Charniak 의 형식화가 용인될 수 없는 이유를 주목하는 것은 적절하다. 그는 look 과 같은 단어, OBSERVE 와 같은 원자 그리고 AGENT 와 같은 격에 대해 다양하게 작용하는 술어 의미를 갖는다. 뿐만 아니라, (5) 처럼 다양한 수의 변항들을 가질 수 있는 것처럼 보인다. K 가 N 이나 V 와 같은 개념이 아니라는 것을 주목하면서, 그것을 이제 n 을 제공하기 위한 v 에 작용하는 기능으로 정의해 보자 (14). 이것은 (15) 처럼 Willly 를 run 의 Agent 로서 정의할 수 있게 할 것이다.
(14) K : V → N
(15a) n = k (v)
(15b) Willy = Agent (run)
이제 우리는 (10a) 를 run 의 의미와 run 의 Agent 의미의 결합인 (16) 처럼 표상할 수 있다.
(16a) A = M (V) ○ M (K(V))
(16b) a = M (run) ○ M (Agent (run))
그러나 K (V) 가 n 을 평가하여 결국 (16a) 의 단지 (12) 와 동일함을 주목하라. 우리가 필요로 하는 것은 k 를 n, v 와 관련 짓는 즉, 그것이 (k) Agent 임을 의미한다는 것과 몇몇 동사의 Agent 임을 의미한다는 것을 정의하는 몇몇 기능이다. 이것이 (17) 에 주어진다. 이것은 Charniak 과 Wilks 에 의해 대비되는 두 개념에 대응한다는 것을 주목하라. (17a) 는 K 와의 독립적인 의미이다. (17b) 는 술어 - 지향적인 의미이다.
(17a) M' : K × N → A
(17b) M" : K × V → A
이제 우리는 (18) 을 말할 수 있는데, 그것은 run 의 의미와 Willy 의 의미의 결합이며 Agent 가 있고 Willy 가 그 Agent 라는 것이다.
(18a) A = M(V) ○ M(N) ○ M'(K, N) ○ M"(K, V)
(18b) a = M(run) ○ M(Willy) ○ M'(Agent, Willy) ○ M"(Agent, run)
M' 가 Charniak 이 제시한 비 - 선형성의 예임을 주목하라. (18) 이 흥미로운 것은 그것이 Tesniere 의 가장 기본 개념인 '연계 (connexation)' 의 개념을 표현한다는 것이다. '내가 Alfred speaks 라고 말할 때… 한편으로는 "Alfred 라 불리는 사람이 있다 " 그리고 다른 한편으로는 "누군가와 이야기하고 있다 " 를 말한다는 의미가 아니다. "Alfred 가 말하는 행위를 수행한다 " 와 "말하고 있는 사람이 Alfred 이다 " 를 동시에 말한다는 의미이다. 이 결과는 Alfred speaks 와 같은 문장이 Alfred 와 speaks 의 두 요소로 구성되는 것이 아니라, 실제로는 세 요소 Alfred, speaks 와 그것들을 묶어 주는 "연계 " 로 이루어지며, 그것 없이는 이러한 문장도 존재할 수 없을 것이다 … "연계 " 는 생각의 표현에 필수 불가결하다. "연계 " 가 없다면 우리는 단 하나의 연속적인 사고를 전혀 표현할 수 없을 것이며, 독립된 이미지와 개념의 연속을 그 사이의 아무런 연결 없이 하나 뒤에 다른 하나를 발화할 수 있을 뿐이다' (Tesniere, 1959:11f) [강조 원저자 ]. (7) 에서 정의된 기능 M 을 요구하는지 어떤지를 질문하는 것은 당연하다. 연계 없이도 우리는 그것이 Agent 임을 ( 어떤 술어와는 독립적인 ) 의미한다는 것과 run 의 Agent 임을 의미한다는 것과의 단순한 결합으로서 그 추상을 표현할 수 있다 (19).
(19a) A = M'(K, N) ○ M"(K, V)
(19b) a = M'(Agent, Willy) ○ M"(Agent, run)
아마도 이것은 더 계속될 것이다. 기능 M (N) 은 포기할 수 있다. 한편, 논항으로서의 n 과 비교하여 명제의 '서술자 (predicator)' 로서의 v 의 특별한 성질을 새겨볼 때, M (N) 의 중요성은 우리에게 그것 (M) 을 (20) 처럼 가질 것을 요구하는 것 같다.
(20) A = M(V) ○ M'(K, N) ○ M"(K, V)
M (N) 이 그렇게 중요하지 않다면, 아마도 (21) 처럼 우리의 초기 정의 (7) 과 (11) 을 수정할 수 있을 것이다.
(20a) M : C → A
(20b) C = {V}
아마도 결국 v 의 M 기능을 n 의 전혀 유사하지 않은 것으로부터 구별해야만 하기 때문에, 이것은 적절하게 설정된 것으로 보인다.
(22) M''' : N → A
그 그림은 완성하기 위해 다양한 논항들을 일반화하는 방법을 살펴보자. 우리는 (23) 처럼 격 - 논항 짝짓기를 위해 일반적 기능 G 를 도입할 수 있으며, 그리하여 (24a) 문장에 의해 표현된 보다 복잡한 명제는 (24c) 로 확장되는 (24b) 로 표상될 수 있다.
(23a) G : K × V × N → A'
(23b) G(K, V, N) = M'(K, N) ○ M"(K, V)
(24a) Jack opened the door.
(24d) a = M (open) ○ G (Agent, open, Jack) ○ G (Patient, open, door)
(24c) a = M(open) ○ M'(Agent, Jack) ○ M"(Agent, open) ○ M'(Patient, door) ○ M"(Patient, open)
우리가 돌아가야 할 중요한 면은, 그것이 부가되는 술어로 격의 의미를 정의하지 않고자 하는 바람이다. Charniak 의 주장은 만약 격이 그 자신의 의미를 갖지 않는다면, 그것들은 단지 위치 표기의 위치에 대해 명칭일 뿐이라는 것을 기억하라. 그러나 Charniak 은 AI 체계들이 '격 의미를 결여하는 경향이 있음을 지적한다. '이러한 체계를 기술하는 모든 논문이 격의 직관적인 의미를 제시하는 반면, 그 직관적인 의미가 어떻게 체계로 부호화되는지 혹은 정확한 정의가 무엇인지에 대해서는 어떠한 암시도 결코 없다' (Charniak, 1975:12) [강조 필자 ]. 그러나 Wilks 가 지적하였듯이, 이것은 공통의 문제이다. '이러한 비평은 격을 넘어서서 사실이다. 그것은 실체성 (thinghood), 인과관계 그리고 이동 등의 개념에 동일하게 적용된다. 단지 기본 의미 개념이 모호하다는 것은 사실이며 아마도 반드시 그럴 것이다 … 그러므로 프로그램화된 체계가 이런 모호한 개념의 이용을 정확하게 할 수 있다면, 더 발라 나위가 없다. 생각, 발화 그리고 쓰기에 사용된 모호한 개념 아래에 그 사용에 대한 정확한 기준이 있어야 한다고 생각하는 것이 잘못이다' (Wilks, 1976a:66f) [강조 원저자 ]. 그는 계속해서 특정한 행위의 Agent 에 대한 명세화를 제시하고, 행위성 (Agency) 의 일반적인 개념이 '… 그 개념의 의도적인 정의를 산출하지도 할 수도 없는 모든 행위자들의 연합이라는' 점을 주장한다 (같은 책, p. 61).
언어학에서의 격의 사용과 AI 에서의 그것 사이에 Charniak 이 제안하는 차이 중 하나는, 후자에서는 그 표상의 깊이 때문에 통사적인 층위와 의미적인 층위를 관련 짓는 것으로 특정한 '격 이점들'이 상실된다는 것이다. 그러나 이러한 견해는 여기서 고려했던 훨씬 '더 얕은' 체계 중 많은 것을 무시하고, 그가 Schank 와 Norman 그리고 Rumelhart 의 체계에 집중한 데서 기인한다는 것은 명백하다.
Charniak 은 만약 어떤 체계가 실제로 격을 '사용한다'고 말하고자 한다면, 충족되어야만 하는 네 가지 조건을 규정함으로써 결론을 맺는다. 그 첫째는 격의 의미가 격이 부가되는 술어의 의미와는 독립적 이여야 한다는 것이다. 이미 이것에 대해 장황하게 논의했다. 두 번째는 각 격이 단 하나 이상의 술어에 적용되어야 한다는 것이다. 이 약정은 특히, 제한적이고 적은 수의 술어가 존재하는 Schank 의 CD 에 적용된다. 그러나 어떤 견해에서든 이 두 번째 조건은 첫 번째 것과 조화를 이루어야 할 것 같다. 왜냐하면 만약 어떤 격이 단 하나의 술어 ( 혹은 심지어 단 하나의 술어 부류 ) 에 만 사용된다면, 그것이 그 술어와는 독립적인 어떤 의미를 가지지 않을 것이라는 것은 명백하기 때문이다. 그 반대는 명백히 사실이 아니며 그러므로 잉여적인 것은 조건 1 이 아니라 조건 2 일뿐이다. 세 번째 조건은 격이 가능하게 하는 추론이 '유익하게' 한다는 것이다. 이것은 거의 논쟁의 여지가 없는 것으로 보이며, 특정한 격의 도입은 적절하게 동기화되어야 한다는 약정일 뿐이다. 이것은 어떤 체계가 어떤 이론을 채택하는 명백한 척도로 보이며, 격을 이용하는 체계에 대한 아주 특별한 요구는 아닌 것 같다. Charniak 의 네 번째 조건은 증명하기에도 이해하기에도 어려운 것이다. '주건 1 에서 3 까지를 쓸모 없게 하는 더 좋은 방법이 존재해서는 안 된다' (Charniak, 1975:22). 이 조건에 대한 너그러운 견해는, 그것이 좋은 해결책을 제공한다면 첫 번째 조건을 거스르는 것은 용인할 수 있다고 말하는 것일 테지만, Charniak 이 그것을 '격'이라 부르지는 않을 것이다. 그러나 이것은 취하기 어려운 입장이어서 요약에서는 보다 유연한 입장을 택할 것이다. 또 무엇이 이 장에서 논의되어온 체계들의 공통 특성인지를 간단히 말할 것이다.
먼저 격이 술어와는 독립적인 몇몇 해석을 갖는다는 조건은 타당한 것 같다. 우리는 Wilks (1976a) 를 따라, 주어진 격 의미의 일부가 그것이 부가되는 술어에 의존하지만, 모든 Agent 의 의미에 몇 가지 양상이 존재할 것이라는 점을 제안한다. 이러한 접근은 놀랍게도 Fillmore 에서 발견된다. '때때로 우리는 세부사항에서 부분적으로 흡사하고 부분적으로는 다른 의미 기능을 다른 문장에서 발견하는데, 그 차이는 문장을 구성하는 어휘 재료의 의미 속성의 차이와 체계적으로 관련된다 ( 나는 동일한 "원소격 (caseme)" 의 "변의 - 격 (allo-case)" 라고 말하는 용어의 혐오스러움을 언급하는 것조차 거부한다 )' (Fillmore, 1971b:41). 그는 이러한 '용어의 혐오스러움' 으로 부터는 피했지만 적어도 개념은 잘 포착하고 있다 !
다음 조건은 격 집합이 직관적으로 '적절한 (comfort)' 은 그 체계의 궁극적인 목적으로 정의된다. 다소 다른 역할들을 함께 묶는 것은, 그것들이 일부가 되는 체계에 대해 행동의 유사성을 토대로 행해져야 한다. 격 구분은 고유한 (inherent) 자질을 기초로 행해져서는 안되는데, 격이 함께 나타나는 술어의 기능으로 서술될 수 있기 때문이다. 이것을 '계승된 (inherited)' 자질이라 부르자. 예를 들어 모든 Agent 는 본래 유정적이지는 않지만, 이 자질은 주어진 Agent 가 예를 들어 dance 의 Agent 로 나타날 때 추론될 수 있을 것이다.
마지막 조건은, 격이 단순히 하나의 기호법이어서는 안 된다는 것인데, 그것은 격이 단지 어떤 것에 대한 명칭이어서는 안 된다는 것이며, 격을 다른 식으로 제시하기 위해서는 표상에 무언가를 덧붙여야 한다는 것이다. 이것은 다시 필연적으로 모호한데, 왜냐하면 격이 표상에 보태는 것이 무엇인지가 그 체계의 궁극적인 목적에 달려 있을 것이기 때문이다. 그러나 이 조건의 한 가지 결과는 격을 주변에 있는 다른 것들에, 예를 들어 표면 격 혹은 어휘 자질 ( 언어적 측면에서 ) 혹은 심층 개념 그리고 결과적인 추론 ( 인지적 측면에서 ) 에 평범하게 사상한다고 기대할 수 없다는 것이다. -이 중 어떠한 것도 특정한 체계에서는 중요한 개념이라는 것을 언제나 가정한다. 사상이 평범하다면, 격 표찰은 단지 그것에 사상하는 것들에 대한 다른 명칭일 뿐이다.
전체적인 기술은 다음처럼 요약될 수 있다. 격 이용자들은 격의 다양한 견해가 제공하는 가능성을 인식해야만 하며, 몇 가지 문제에 해결책을 제공한다면 그것을 사용해야 한다. 격 자체는 순수하게 화용적인 이유만으로 즉, 그러 - 그러한 구분으로부터 몇 가지 이점이 생겨나는지 어떤지에 따라 구분되고 정의되어야 한다 - 필요하다면 이론적인 유익을 무시하고서라도. 우리가 검토했던 거의 모든 체계에서 격은 많은 역할을 한다. 몇몇 문제들은 이러한 화용론의 제약을 무시함으로써 생기는데, 몇몇 격 이용자들은 제시된 몇 가지 격 체계를, 결코 고안된 적이 없는 사용에 마음을 쏟는다.