Cognitive Representations of Natural Languages by using Topology and Combinatory Logic
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
The semantic analysis of natural languages faces a major difficulty for linguists: how to represent the meanings of linguistic units (verbal and prepositional units in particular) and how to compose them? This article briefly presents the formal and cognitive linguistic model, called GRammar Applicative Cognitive and Enunciative (GRACE), by using the tools of the Curry’s Combinatory Logic and topological operators in order to define semantic-cognitive schemes and representations formalized by applicative expressions (operators applied to operands) which compose semantic-cognitive primitives; these interpretative representations are related to their linguistic expressions by means of introduction and eliminations rules of abstract operators (combinators) in natural deductions (in the Gentzen’s style).
Abstract
The semantic analysis of natural languages faces a major difficulty for linguists: how to represent the meanings of linguistic units (verbal and prepositional units in particular) and how to compose them? This article briefly presents the formal and cognitive linguistic model, called GRammar Applicative Cognitive and Enunciative (GRACE), by using the tools of the Curry’s Combinatory Logic and topological operators in order to define semantic-cognitive schemes and representations formalized by applicative expressions (operators applied to operands) which compose semantic-cognitive primitives; these interpretative representations are related to their linguistic expressions by means of introduction and eliminations rules of abstract operators (combinators) in natural deductions (in the Gentzen’s style).
참고문헌 (84)
- Adjukiewicz, K., "Polish Logic 1920-1939", pp.207~231 (1935), Oxford University Press
- Allen, J. F., "Towards a general theory of action and time", Artificial Intelligence, 23, pp.123~154 (1984)
- Arnaud, "La logique ou l’art de penser, Notes et postface de C. Jourdain" (1992), Gallimard
- Bach, E., "Categorial Grammars as theories of language", pp.17~34 (1988)
- Bally, C., "Linguistique générale et linguistique française" (1965), Francke Verlag
- Bar-Hillel, Y., "A quasi-arithmetical notation for syntactic description", Language, 29, pp.47~58 (1953)
- Benveniste, E., "Problèmes de linguistique générale, Tome I and II" (1966), Gallimard
- van Benthem, J., "Categorial grammars and natural language structures", pp.35~68 (1988), Springer Netherlands
- Biskri, I., "Recent Advances in Natural Languages Processing", pp.71~84 (1997), John Benjamins Publishing Company
- Biskri, I., "Coordination, subordination et logique typée", Faits De Langue, 28, pp.57~66 (2006)
- Casadio, C., "Categorial grammars and natural language structures", pp.95~123 (1988), Springer Netherlands
- Church, A., "A Formulation of the Simple Theory of Types", Journal of Symbolic Logic, 5, pp.56~68 (1940)
- Culioli, A., "Sur quelques contradictions en linguistique", Communications, 20(1), pp.83~91 (1973)
- Culioli, A., "Rôle des représentations métalinguistique en syntaxe", Session plénière du XIII° Congrès International des Linguistes (1982)
- Culioli, A., "Traitement formel des langues naturelles. Dérivations d’exemples", Mathématiques et Sciences Humaines, 78, pp.5~31 (1982)
- Culioli, A., "Pour une linguistique de l’énonciation, Tome 1, 2, 3" (1990), Ophrys
- Curry, H., "Grundlagen Der Kombinatorischen Logik", Amer J. Math., 52, pp.509~536 (1930)
- Curry, H., "Functionality in Combinatory Logic", Proceedings of the National Academy of Science of the USA, 20, pp.584~590 (1934)
- Curry, H., "Some logical aspects of grammatical structures", Proceedings of Symposia in Applied Mathematics, XII, pp.56~68 (1961), America Mathematical Society
- Curry, H., "Combinatory Logic. Volume I" (1958), North-Holland
- Curry, H., "Combinatory Logic. Volume II" (1972), North-Holland
- Desclés, J. -P., "Categorization : a logical approach of a cognitive problem", Journal of Cognitive Science, 3(2), pp.85~137 (2002)
- Desclés, J.-P., "Passivization in Aplicative Grammar" (1985), Benjamins
- Desclés, J. -P., "A theoretical analysis of reflexivisation in the framework of Applicative Grammar", Linguisticae Inverstigationnes, pp.1~65 (1986)
- Desclés, J. -P., "Topicalization : Categorial Analysis and Applicative Grammar", Word Order in Categorial Grammar, Proceedings of the Workshop of Clermont-Ferrand, pp.13~37 (1992)
- Desclés, J. -P., "Langues , langage et cognition : quelques réflexions préliminaires", Lüdi and Zuber, pp.1~32 (1995)
- Desclés, J. -P., "Logique combinatoire et linguistique : la Grammaire Catégorielle Combinatoire Applicative, Mathématiques", Informatiques et Sciences Humaines, 132, pp.39~68 (1995)
- Desclés, J. -P., "Space in language", pp.213~233 (2010), Edizioni ETS
- Desclés, J. -P., "Logique et langage : déduction naturelle" (2010), Hermann
- Desclés, J. -P., "Aspecto-temporel Representations for Discourse Analysis: an example of formal computation", The 24th International Florida Artificial Intelligence Research Society (FLAIRS) Conference (2011)
- Desclés, J. -P., "Opérateurs aspecto-temporels et logique combinatoire", Mathématiques et sciences humaines, (194), pp.39~70 (2011)
- Desclés, J. -P., "Logique combinatoire et Logique combinatoire et -calcul : des Calculs de significations par une et modélisation" (2016), Yale University Press
- Desclés, J. -P., "Calculs de significations par une logique d’opérateurs" (2016), Cépaduès
- Dufaye, L., "Théorie des opérations énonciatives et modélisation" (2009), Ophys
- Fitch, F., "Elements of Combinatory Logic" (1974), Yale University Press
- Flageul, V., "Description sémantico-cognitive des prépositions spatiales du français", Doctor, pp.1997
- Frege, G., "Grundgesetze der Arithmetik, vol. I. Jena" (1967), University of California Press
- Grize, J. -B., "Logique moderne" (1969), Gauthiers-Villars, Mouton
- Guentchéva, Z., "Aspectuality and Temporality. Descriptive and theoretical issues" (2016), John Benjamins Publishing Company
- Harris, Z., "Notes du cours de syntaxe" (1976), Seuil
- Harris, Z., "A Grammar of English. Based on Mathematical Principles" (1982), John Wiley
- van Heijenoort, "From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931" (1971), Harvard University Press
- Hindley, J.R., "Lambda-calculus and combinators: an introduction" (2008), Cambridge University Press
- Husserl, E., "Logische Untersuchungen, III, IV" (1972), Max Niemeyer Verlag
- Kang, J. Y., "Korean Parsing Based on the Applicative Combinatory Categorial Grammar", The 22nd PACLIC, pp.215~224 (2008)
- Kang, J. Y., "Categorial Grammar, Combinatory Logic and Korean Language Processing", 21th International Florida Artificial Intelligence Research Society Conference (2008)
- Kang, J. Y., "Quelques problèmes morpho-syntaxiques analysés dans le modèle catégoriel étendu; applications au coréen et au français avec un traitement informatique", doctor, pp.2011
- Introduction à la théorie des ensembles et à la topologie, "Kuratowski, K.", Institut de mathématiques de l’Université de Genève, ~ (1966)
- Lambek, J., "The Mathematics of Sentence Structure", American Mathematical Monthly, 65, pp.154~170 (1958)
- Lambek, J., "On the calculus syntactic types", Proceeding of symposia in Applied Mathematics, XII, pp.166~178 (1961), American Mathematical Society
- Lambek, J., "Categorial and Categorical Grammars", pp.297~317 (1988)
- Langacker, R., "Foundations of Cognitive Grammar; Volume I Theoretical Prerequisites; Volume II Descriptive Applications" (1991), Stanford University Press
- Langacker, R., "The symbolic alternative", pp.51~76 (1995)
- Leśniewski, S., "Grundzüge eines neues System der Grundlagen der Mathematik", Fundamenta Mathematicae, 14 (1929)
- Lüdi, G., "Linguistique et modèles cognitifs", Contributions à l’Ecole d’été de la Société Suisse de Linguistique (1993)
- Mani and Pustejovski, J., "Interpreting Motion: Grounded Representations for Spatial Language" (2012), Oxford University Press
- Montague, R., "Approaches to Natural Language", pp.221~242 (1973), Reidel
- Montague, R., "Formal philosophy: selected papers of Richard Montague" (1974), Yale University Press
- Moortgat, M., "Categorial Investigation, Logical and Linguistic Aspects of the Lambek calculus" (1988), Foris Publications
- Morrill, G., "Type-Logical Grammar" (1994), Kluwer
- Oehrle, R.T., "Categorial Grammars and Natural Languages Structures" (1988), Reidel
- Pascu, A., "A topological approach for the notion of quasi topology structure", South American Journal of Logic, X, pp.1~18 (2019)
- Pottier, B., "Le cognitif et le linguistique", pp.175~199 (1995)
- Pottier, B., "Représentations mentales et catégorisations linguistiques" (2000), Editions Peeters
- Randel, D. A., "A spatial logic based on regions and connection", Proceedings of the 3rd International Conference on knowledge Representation and Reasoning, 6, pp.165~176 (1992)
- Ranta, A., "Types-Theoretical Grammar" (1994), Oxford University Press
- Retoré, Ch., "Systèmes déductifs et traitement des langues: un panorama des grammaires catégorielles", Technique et science informatiques, 20, pp.301~336 (2001)
- Ro, H., "Les référentiels et opérateurs aspecto-temporels : définition, formalisation logique et informatique", Doctor, pp.2012
- Rouabhi, M., "Sémantique des prépositions et interprétation topologique", Colloque Logique en Question, Sorbonne Université (2019)
- Rouabhi, M., "Analyse sémantico-cognitive de prépositions en vue d’un traitement automatique", Doctor, pp.2019
- Russell, B., "Mathematical Logic as Based on the Theory of Types", American Journal of Mathematics, 30, pp.222~262 (1908)
- Schönfinkel, M., "On the Building Blocks of Mathematical Logic", pp.355~366 (1971)
- Searle, J., "Foundations of Illocutionary Logic" (1985), Cambridge University Press
- Seiler, H., "Du linguistique au cognitive: Par la dimension des opposés", pp.33~50 (1995)
- Shaumyan, S., "Strukturnaja linguistika" (1965), Nauka
- Shaumyan, S., "A Semiotic Theory of Natural Language" (1987), Indiana Univ. Press
- Steedman, M., "Combinators and Grammars", pp.207~263 (1988)
- Steedman, M., "The Syntactic Process", pp.2000, MIT Press
- Talmy, L., "Universals of Human Language, vol. 4: Syntax", pp.625~642 (1978), Standforfd University Press
- Talmy, L., "The relation of Grammar to Cognition", pp.139~173 (1995)
- Tesnière, L., "Éléments de syntaxe structurale" (2015), Klincksieck
- Thom, R., "Modèles mathématiques de la morphogénèse" (1981), Christian Bourgois
- Wildgen, W., "Realistic Semantics and the multistability of meaning", pp.105~138 (1995)
- Wildgen, W., "An application and elaboration of René Thom’s theory" (1982), John Benjamins Publishing Company
