From Combinatory Categorial Grammar to the Calculus of Constructions: A Review of ccg2lambda.
DOI:
https://doi.org/10.47611/jsrhs.v12i1.4400Keywords:
Natural Language Processing, CCG, CFG, C&C, Coq, ccg2lambda, HOL, SOL, FOL, Predicate LogicAbstract
The following is an overview of the concepts and systems necessary to build an understanding of the framework from ccg2lambda: A Compositional Semantics System, which produces logical semantic representations of natural language sentences. These representations are used in tandem with a theorem prover to conduct inferences. But, to the reader unfamiliar with the various tools within computer science, linguistics, and mathematics that were used to construct ccg2lambda and its dependencies, it can be difficult to understand the inner workings of the framework. Thus, an explication of these concepts could be useful for fostering further development. Concepts such as mathematical logic, combinatory categorial grammar, the calculus of constructions, and interactive theorem provers are covered, as well as the two systems C&C and ccg2lambda. A functional version of the ccg2lambda framework can be found at https://github.com/ajung202/ccg2lambda.
Downloads
References or Bibliography
Appel, K., & Haken, W. (1986). The four color proof suffices. The Mathematical Intelligencer, 8 (1), 10–20. https://doi.org/10.1007/BF03023914
Barendregt, H. P. (1984). Introduction to lambda calculus.
Barwise, J. (1977). An introduction to first-order logic. In J. Barwise (Ed.), Handbook of mathematical logic (pp. 5–46). Elsevier. https://doi.org/10.1016/S0049-237X(08)71097-8
Bell, J. L. (2012). Types, sets, and categories. Sets and Extensions in the Twentieth Century, 6, 633–687.
Bertot, Y., & Pierre, C. (2004). Interactive theorem proving and program development: Coq’art: The calculus of inductive constructions. Springer. https://doi.org/10.1007/978-3-662-07964-5
Bezhanishvili, N., & de Jongh, D. (2006). Intuitionistic logic.
Cardone, F., & Hindley, J. R. (2006). History of lambda-calculus and combinatory logic. Handbook of the History of Logic, 5, 723–817.
Church, A. (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5(2), 56–68. https://doi.org/10.2307/2266170
Clark, S., & Curran, J. R. (2007). Wide-coverage efficient statistical parsing with CCG and log-linear models. Computational Linguistics, 33(4), 493–552. https://doi.org/10.1162/coli.2007.33.4.493
Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jaspars, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S. (1996). Using the framework (pp. 62-051). Technical Report LRE 62-051 D-16, The FraCaS Consortium.
Coquand, T., & Huet, G. (1988). The calculus of Constructions. Information and Computation, 76(2-3). https://doi.org/10.1016/0890-5401(88)90005-3
Cremers, A., & Ginsburg, S. (1975). Context-free grammar forms. Journal of Computer and System Sciences, 11 (1), 86–117. https://doi.org/10.1016/S0022-0000(75)80051-1
Enderton, H. B. (2013). A mathematical introduction to logic. Academic.
Gonthier, G. et al. (2008). Formal proof–the four-color theorem. Notices of the AMS, 55 (11), 1382–1393.
Haaparanta, L. (2009). The development of modern logic. Oxford University Press.
Hockenmaier, J., & Steedman, M. (2007). CCGbank: a corpus of CCG derivations and dependency structures extracted from the Penn Treebank. Computational Linguistics, 33(3), 355-396.
Leivant, D. (1994). Higher order logic. Handbook of Logic in Artificial Intelligence and Logic Programming (2), 229–322.
MacCartney, B., & Manning, C. D. (2007). Natural logic for textual inference. Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing - RTE '07. https://doi.org/10.3115/1654536.1654575
Mineshima, K., Martínez-Gómez, P., Miyao, Y., & Bekki, D. (2015, September). Higher-order logical inference with compositional semantics. In Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (pp. 2055-2061).
Moore, G. H. (1988). The emergence of first-order logic. History and philosophy of modern mathematics, 11, 95–135.
Nozick, R. (1996). The emergence of logical empiricism: From 1900 to the vienna circle (Vol. 1). Taylor & Francis.
Steedman, M. (1996). A very short introduction to ccg. Unpublished paper. http://www.coqsci.ed.ac.uk/steedman/paper.html.
Steedman, M., & Baldridge, J. (2011). Combinatory categorial grammar. NonTransformational Syntax: Formal and Explicit Models of Grammar. Wiley-Blackwell, 181–224.
Published
How to Cite
Issue
Section
Copyright (c) 2023 Yeonho Jung; Daniel Briggs
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Copyright holder(s) granted JSR a perpetual, non-exclusive license to distriute & display this article.
