‘적용 조합 범주문법’을 이용한 프랑스어 발화문의 형태-통사분석 및 활용
Analyse morpho-syntaxique des énonciations du français appliquée à la Grammaire Catégorielle Combinatoire Applicative
0
조회
0
다운로드
1
인용
0
참고문헌
키워드
초록
형태, 통사 분석기술 중의 하나인 범주문법을 도입한 분석 결과가 이처럼 실제 발화문의 문장 구조와는 다른, 흔히 전산학의 구문 표현 방식으로 사용되는 적용 표현문(expression applicative)의 형태로 나타나게 된다면, 이후 의미 분석 작업에서 단어들 간의 의미의 상관관계에 대한 연구에 혼란을 빚게 된다. 따라서 본 연구를 통하여 통사 분석의 결과물이 곧장 의미 분석에 사용될 수 있게 하는 문장의 결합 분석 기술을 고찰해 볼 것이다. 이를 위한 기술적 분석 도구로서 조합논리이론이 범주문법에 응용된 형태인 적용 조합 범주문법을 사용할 것이다. 그 결과, 통사 분석 결과물에서 언어 단위들의 순서가 문법적 순서에 맞추어 열거되어 있으므로, 이후 단어들 사이의 의미를 구분하여 중의성을 해소시키는 작업, 단어들 간의 의미적 관계를 논리적으로 밝혀 문장의 전체적 의미를 파악하는 작업 등의 의미 분석 작업에 곧장 적용될 수 있다. 따라서 본 연구는 우선적으로 범주문법을 프랑스어 발화문에 적용시켜 분석하고, 조합논리이론을 활용한 의미 분석의 기초를 다지며, 마지막으로 범주문법과 조합논리이론이 접목된 응용기술인 적용 조합 범주문법을 도입하여 프랑스어 발화문에 적용된 분석을 할 것이다.
Abstract
La Grammaire Catégorielle propose le système formel pour vérifier la bonne connexion syntaxique des langues naturelles. Elle introduit les catégories de base et celles complexes qui sont récursivement produites à partir de ces catégories de base. La Logique Combinatoire une logique des opérateurs, fondée sur l'opération de base, appelée application. Elle fait partie de la famille des langages applicatifs, munis d'une opération de base, l'application, dont le premier argument est un opérateur, le second un opérande et le résultat est une expression qui peut, selon son occurrence dans une expression, fonctionner comme un opérateur ou comme un opérande. La Grammaire Catégorielle Combinatoire Applicative que nous utilisons dans ce travail est le modèle étendu de la Grammaire Catégorielle par une association canonique entre les règles et des combinateurs d'une part et l'utilisation de métarègles qui contrôlent les opérations de changement de type d'autre part. Nous l'utilisons, pour l'analyse théorique de cet article, comme formalisme logique et applicatif qui apparaît comme adéquat pour la descriptions des énoncés dans deux langues naturelles, en particulier le français et le coréen.
참고문헌 (30)
- Biskri Ismaïl, "La Grammaire Catégorielle Combinatoire Applicative dans le cadre des Grammaires Applicatives et Cognitives", doctor, pp.1995
- Biskri Ismaïl, "Revue BULAG, Numéro spécial sur le Génie Linguistique et le Génie Informatique", pp.39~59 (1999), PUFC
- Biskri Ismaïl, "Applicative and Combinatory Categorial Grammar and Subordinate Constructions in French", International Journal on Artificial Intelligence Tools, 14(1,2), pp.125~136 (2005)
- Church Alonzo, "The calculi of lambda-conversion" (1985), Princeton University Press
- Curry Haskell Brooks, "Studies in logic and the foundations of mathematics" (1958), North-Holland Publishing
- Curry Haskell Brooks, "Studies in logic and the foundations of mathematics" (1972), North-Holland Publishing
- Desclés Jean-Pierre, "Langages applicatifs, langues naturelles et cognition" (1990), Hermes
- Desclés Jean-Pierre, "Alternative Logics. Do Sciences Need them ?", pp.115~148 (2005), Springer-Verlag
- Desclés J. -P., "AMADIS: Le Modèle", pp.279~316 (2011), Université de Bretagne Occidentale
- Desclés Jean-Pierre, "Opérateurs aspecto-temporels et Logique Combinatoire", Mathématiques et Sciences Humaines, 49(194), pp.39~70 (2011)
- Desclés Jean-Pierre, "Aspecto-Temporal Representation for Discourse Analysis an Example of Formal Computation", The 24th Florida Artificial Intelligence Research Society Conference (FLAIRS-24), pp.156~161 (2011)
- Desclés Jean-Pierre, "Combinatory Logic with functional types is a general formalism for computing cognitive and semantic representations", The international Association for Computing and Philosophy (IACAP), pp.251~254 (2011)
- Desclés Jean-Pierre, "De la syntaxe àl'analyse aspecto-temporelle automatique d'un texte par la Grammaire Catégorielle et la Logique combinatoire", 79e Congrès de l'Association Francophone pour le Savoir(ACFAS) (2011)
- Fitch Frederic Brenton, "Elements of combinatory logic" (1974), Yale University Press
- Gentzen G. erhard, "Recherches sur la déduction naturelle", pp.1955~ (1955), Presses Universitaires de France
- Grize Jean-Blaise, "Logique moderne, Fascicule III", pp.61~76 (1971), Gauthier-Villars
- Ginisti Jean-Pierre, "Présentation de la logique combinatoire en vue de ses applications", Mathématiques et Sciences Humaines, Tome, 103, pp.45~66 (1988)
- Ginisti Jean-Pierre, "La logique combinatoire" (1997), Presses universitaires de France
- Kang Juyeon, "Problèmes morpho-syntaxiques analysés dans un modèle catégoriel étendu: application au coréen et au français avec une réalisation informatique", doctor, pp.2011
- Montague Richard, "Selected Papers of Richard Montague" (1974), Yale University Press
- Reichenbach Hans, "Elements of Symbolic Logic" (1947), Macmillan
- Ro Hee-Jin, "Inférences aspecto-temporelles analysées avec la Logique Combinatoire, programmée en HASKELL", Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RECITAL 2010) (2010)
- RO Hee-Jin, "Les référentiels et opérateurs aspecto-temporels : définitions, formalisation logique et informatique", doctor, pp.2012
- Scott Dana, "Some philosophical issues concerning theories of combinators", pp.57~82 (1975), Springer-Verlag
- Steedman Mark, "Work in progress: Combinators and grammars in natural language understanding", Summer institute of linguistic, Arizona: Tucson University, ~ (1989)
- Steedman Mark, "The Syntactic Process", pp.2001, MIT Press
- 노희진, "범주문법을 이용한 통사적 결합 구조의 표상 : 등위접속사 ‘et’ 병렬 구문을 중심으로", 불어불문학연구, (103), pp.205~234 (2015), 한국불어불문학회
- 노희진, "조합논리 분석기술에 기반한 프랑스어 시상 (時相) 자동추론기기 구축", 언어와언어학, (68), pp.53~78 (2015), 언어연구소
- 송도규, "인지언어학과 자연언어 자동처리" (1997), 홍릉과학 출판사
- 정계섭, "조합논리 소개", 논리연구, 6(2), pp.49~68 (2003), 한국논리학회