본문 바로가기
KERD
논문KCI 등재

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)

  1. Adjukiewicz, K., "Polish Logic 1920-1939", pp.207~231 (1935), Oxford University Press
  2. Allen, J. F., "Towards a general theory of action and time", Artificial Intelligence, 23, pp.123~154 (1984)
  3. Arnaud, "La logique ou l’art de penser, Notes et postface de C. Jourdain" (1992), Gallimard
  4. Bach, E., "Categorial Grammars as theories of language", pp.17~34 (1988)
  5. Bally, C., "Linguistique générale et linguistique française" (1965), Francke Verlag
  6. Bar-Hillel, Y., "A quasi-arithmetical notation for syntactic description", Language, 29, pp.47~58 (1953)
  7. Benveniste, E., "Problèmes de linguistique générale, Tome I and II" (1966), Gallimard
  8. van Benthem, J., "Categorial grammars and natural language structures", pp.35~68 (1988), Springer Netherlands
  9. Biskri, I., "Recent Advances in Natural Languages Processing", pp.71~84 (1997), John Benjamins Publishing Company
  10. Biskri, I., "Coordination, subordination et logique typée", Faits De Langue, 28, pp.57~66 (2006)
  11. Casadio, C., "Categorial grammars and natural language structures", pp.95~123 (1988), Springer Netherlands
  12. Church, A., "A Formulation of the Simple Theory of Types", Journal of Symbolic Logic, 5, pp.56~68 (1940)
  13. Culioli, A., "Sur quelques contradictions en linguistique", Communications, 20(1), pp.83~91 (1973)
  14. Culioli, A., "Rôle des représentations métalinguistique en syntaxe", Session plénière du XIII° Congrès International des Linguistes (1982)
  15. Culioli, A., "Traitement formel des langues naturelles. Dérivations d’exemples", Mathématiques et Sciences Humaines, 78, pp.5~31 (1982)
  16. Culioli, A., "Pour une linguistique de l’énonciation, Tome 1, 2, 3" (1990), Ophrys
  17. Curry, H., "Grundlagen Der Kombinatorischen Logik", Amer J. Math., 52, pp.509~536 (1930)
  18. Curry, H., "Functionality in Combinatory Logic", Proceedings of the National Academy of Science of the USA, 20, pp.584~590 (1934)
  19. Curry, H., "Some logical aspects of grammatical structures", Proceedings of Symposia in Applied Mathematics, XII, pp.56~68 (1961), America Mathematical Society
  20. Curry, H., "Combinatory Logic. Volume I" (1958), North-Holland
  21. Curry, H., "Combinatory Logic. Volume II" (1972), North-Holland
  22. Desclés, J. -P., "Categorization : a logical approach of a cognitive problem", Journal of Cognitive Science, 3(2), pp.85~137 (2002)
  23. Desclés, J.-P., "Passivization in Aplicative Grammar" (1985), Benjamins
  24. Desclés, J. -P., "A theoretical analysis of reflexivisation in the framework of Applicative Grammar", Linguisticae Inverstigationnes, pp.1~65 (1986)
  25. 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)
  26. Desclés, J. -P., "Langues , langage et cognition : quelques réflexions préliminaires", Lüdi and Zuber, pp.1~32 (1995)
  27. 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)
  28. Desclés, J. -P., "Space in language", pp.213~233 (2010), Edizioni ETS
  29. Desclés, J. -P., "Logique et langage : déduction naturelle" (2010), Hermann
  30. 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)
  31. Desclés, J. -P., "Opérateurs aspecto-temporels et logique combinatoire", Mathématiques et sciences humaines, (194), pp.39~70 (2011)
  32. Desclés, J. -P., "Logique combinatoire et Logique combinatoire et -calcul : des Calculs de significations par une et modélisation" (2016), Yale University Press
  33. Desclés, J. -P., "Calculs de significations par une logique d’opérateurs" (2016), Cépaduès
  34. Dufaye, L., "Théorie des opérations énonciatives et modélisation" (2009), Ophys
  35. Fitch, F., "Elements of Combinatory Logic" (1974), Yale University Press
  36. Flageul, V., "Description sémantico-cognitive des prépositions spatiales du français", Doctor, pp.1997
  37. Frege, G., "Grundgesetze der Arithmetik, vol. I. Jena" (1967), University of California Press
  38. Grize, J. -B., "Logique moderne" (1969), Gauthiers-Villars, Mouton
  39. Guentchéva, Z., "Aspectuality and Temporality. Descriptive and theoretical issues" (2016), John Benjamins Publishing Company
  40. Harris, Z., "Notes du cours de syntaxe" (1976), Seuil
  41. Harris, Z., "A Grammar of English. Based on Mathematical Principles" (1982), John Wiley
  42. van Heijenoort, "From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931" (1971), Harvard University Press
  43. Hindley, J.R., "Lambda-calculus and combinators: an introduction" (2008), Cambridge University Press
  44. Husserl, E., "Logische Untersuchungen, III, IV" (1972), Max Niemeyer Verlag
  45. Kang, J. Y., "Korean Parsing Based on the Applicative Combinatory Categorial Grammar", The 22nd PACLIC, pp.215~224 (2008)
  46. Kang, J. Y., "Categorial Grammar, Combinatory Logic and Korean Language Processing", 21th International Florida Artificial Intelligence Research Society Conference (2008)
  47. 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
  48. Introduction à la théorie des ensembles et à la topologie, "Kuratowski, K.", Institut de mathématiques de l’Université de Genève, ~ (1966)
  49. Lambek, J., "The Mathematics of Sentence Structure", American Mathematical Monthly, 65, pp.154~170 (1958)
  50. Lambek, J., "On the calculus syntactic types", Proceeding of symposia in Applied Mathematics, XII, pp.166~178 (1961), American Mathematical Society
  51. Lambek, J., "Categorial and Categorical Grammars", pp.297~317 (1988)
  52. Langacker, R., "Foundations of Cognitive Grammar; Volume I Theoretical Prerequisites; Volume II Descriptive Applications" (1991), Stanford University Press
  53. Langacker, R., "The symbolic alternative", pp.51~76 (1995)
  54. Leśniewski, S., "Grundzüge eines neues System der Grundlagen der Mathematik", Fundamenta Mathematicae, 14 (1929)
  55. Lüdi, G., "Linguistique et modèles cognitifs", Contributions à l’Ecole d’été de la Société Suisse de Linguistique (1993)
  56. Mani and Pustejovski, J., "Interpreting Motion: Grounded Representations for Spatial Language" (2012), Oxford University Press
  57. Montague, R., "Approaches to Natural Language", pp.221~242 (1973), Reidel
  58. Montague, R., "Formal philosophy: selected papers of Richard Montague" (1974), Yale University Press
  59. Moortgat, M., "Categorial Investigation, Logical and Linguistic Aspects of the Lambek calculus" (1988), Foris Publications
  60. Morrill, G., "Type-Logical Grammar" (1994), Kluwer
  61. Oehrle, R.T., "Categorial Grammars and Natural Languages Structures" (1988), Reidel
  62. Pascu, A., "A topological approach for the notion of quasi topology structure", South American Journal of Logic, X, pp.1~18 (2019)
  63. Pottier, B., "Le cognitif et le linguistique", pp.175~199 (1995)
  64. Pottier, B., "Représentations mentales et catégorisations linguistiques" (2000), Editions Peeters
  65. 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)
  66. Ranta, A., "Types-Theoretical Grammar" (1994), Oxford University Press
  67. 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)
  68. Ro, H., "Les référentiels et opérateurs aspecto-temporels : définition, formalisation logique et informatique", Doctor, pp.2012
  69. Rouabhi, M., "Sémantique des prépositions et interprétation topologique", Colloque Logique en Question, Sorbonne Université (2019)
  70. Rouabhi, M., "Analyse sémantico-cognitive de prépositions en vue d’un traitement automatique", Doctor, pp.2019
  71. Russell, B., "Mathematical Logic as Based on the Theory of Types", American Journal of Mathematics, 30, pp.222~262 (1908)
  72. Schönfinkel, M., "On the Building Blocks of Mathematical Logic", pp.355~366 (1971)
  73. Searle, J., "Foundations of Illocutionary Logic" (1985), Cambridge University Press
  74. Seiler, H., "Du linguistique au cognitive: Par la dimension des opposés", pp.33~50 (1995)
  75. Shaumyan, S., "Strukturnaja linguistika" (1965), Nauka
  76. Shaumyan, S., "A Semiotic Theory of Natural Language" (1987), Indiana Univ. Press
  77. Steedman, M., "Combinators and Grammars", pp.207~263 (1988)
  78. Steedman, M., "The Syntactic Process", pp.2000, MIT Press
  79. Talmy, L., "Universals of Human Language, vol. 4: Syntax", pp.625~642 (1978), Standforfd University Press
  80. Talmy, L., "The relation of Grammar to Cognition", pp.139~173 (1995)
  81. Tesnière, L., "Éléments de syntaxe structurale" (2015), Klincksieck
  82. Thom, R., "Modèles mathématiques de la morphogénèse" (1981), Christian Bourgois
  83. Wildgen, W., "Realistic Semantics and the multistability of meaning", pp.105~138 (1995)
  84. Wildgen, W., "An application and elaboration of René Thom’s theory" (1982), John Benjamins Publishing Company

관련 논문AI추천

이 간행물의 다른 논문 (2건)