Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors

*SEM 2013 - 2nd Joint Conference on Lexical and Computational Semantics

Volumn 1, Issue , 2013, Pages 1-10

  Grefenstette, Edward ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; COMPUTATION THEORY; FORMAL LOGIC; FORMAL METHODS; PATHOLOGY; SEMANTICS;

DISTRIBUTIONAL MODELS; DISTRIBUTIONAL SEMANTICS; FORMAL SEMANTICS; LOGICAL CALCULI; LOGICAL CONNECTIVES; MATHEMATICAL CONSTRUCTS; MULTILINEAR MAPS; PREDICATE LOGIC;

TENSORS;

EID: 85021645803     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. M. Baroni and R. Zamparelli. Nouns are vectors, adjectives are matrices: Representing adjective-noun constructions in semantic space. In Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing, pages 1183–1193. Association for Computational Linguistics, 2010.
2. J. Barwise and R. Cooper Generalized quantifiers and natural language. Linguistics and philosophy, pages 159–219. Springer, 1981.
3. W. Blacoe and M. Lapata. A comparison of vector-based representations for semantic composition. Proceedings of the 2012 Conference on Empirical Methods in Natural Language Processing, 2012.
4. N. Bourbaki. Commutative Algebra: Chapters 1-7. Springer-Verlag (Berlin and New York), 1989.
5. S. Clark and S. Pulman. Combining symbolic and distributional models of meaning. In AAAI Spring Symposium on Quantum Interaction, 2006.
6. B. Coecke, M. Sadrzadeh, and S. Clark. Mathematical Foundations for a Compositional Distributional Model of Meaning. Linguistic Analysis, volume 36, pages 345–384. March 2010.
7. J. R. Curran. From distributional to semantic similarity. PhD thesis, 2004.
8. D. R. Dowty, R. E. Wall, and S. Peters. Introduction to Montague Semantics. Dordrecht, 1981.
9. J. R. Firth. A synopsis of linguistic theory 1930-1955. Studies in linguistic analysis, 1957.
10. M. Fitting. First-order logic and automated theorem proving. Springer Verlag, 1996.
11. E. Grefenstette, G. Dinu, Y. Zhang, M. Sadrzadeh, and M. Baroni. Multi-step regression learning for compositional distributional semantics. In Proceedings of the Tenth International Conference on Computational Semantics. Association for Computational Linguistics, 2013.
12. E. Grefenstette and M. Sadrzadeh. Experimental support for a categorical compositional distributional model of meaning. In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing, 2011.
13. G. Grefenstette. Explorations in automatic thesaurus discovery. 1994.
14. D. Kartsaklis, and M. Sadrzadeh and S. Pulman. A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments. In Proceedings of 24th International Conference on Computational Linguistics (COLING 2012): Posters, 2012.
15. T. K. Landauer and S. T. Dumais. A solution to Plato’s problem: The latent semantic analysis theory of acquisition, induction, and representation of knowledge. Psychological review, 1997.
16. J. Lee. Riemannian manifolds: An introduction to curvature, volume 176. Springer Verlag, 1997.
17. D. W. Loveland. Automated theorem proving: A logical basis. Elsevier North-Holland, 1978.
18. J. Mitchell and M. Lapata. Vector-based models of semantic composition. In Proceedings of ACL, volume 8, 2008.
19. J. Mitchell and M. Lapata. Language models based on semantic composition. In Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1-Volume 1, pages 430–439. Association for Computational Linguistics, 2009.
20. J. J. Mitchell. Composition in distributional models of semantics. PhD thesis, 2011.
21. R. Montague. English as a Formal Language. Formal Semantics: The Essential Readings, 1974.
22. H. Schütze. Automatic word sense discrimination. Computational linguistics, 24(1):97–123, 1998.
23. P. Smolensky. Tensor product variable binding and the representation of symbolic structures in connectionist systems. Artificial intelligence, 46(1-2):159–216, 1990.
24. R. Socher, B. Huval, C.D. Manning, and A.Y Ng. Semantic compositionality through recursive matrix-vector spaces. Proceedings of the 2012 Conference on Empirical Methods in Natural Language Processing, pages 1201–1211, 2012.
25. P. D. Turney. Domain and function: A dual-space model of semantic relations and compositions. Journal of Artificial Intelligence Research, 44:533–585, 2012.
26. F. M. Zanzotto, I. Korkontzelos, F. Fallucchi, and S. Man-andhar. Estimating linear models for compositional distributional semantics. In Proceedings of the 23rd International Conference on Computational Linguistics, pages 1263–1271. Association for Computational Linguistics, 2010.