This repository includes a Python Jupyter Notebook exploring how to simulate basic logic with tensors. It reproduces parts of a 2013 paper by Edward Grefenstette, adding only a few examples.
How to connect tensor representations of lexical meaning with formal semantic remains an open research question. We can create distribuational representation or embeddings, but neither fit quite the paradigm of formal semantics. Grefenstette's work suggests some important connections, but is far from the last word on these issues. In fact, quite a few have been spoken since and I might explore them at a later date.
- Grefenstette, E. (2013). Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors. Second Joint Conference on Lexical and Computational Semantics (*SEM), Volume 1: Proceedings of the Main Conference and the Shared Task: Semantic Textual Similarity, 1–10. https://www.aclweb.org/anthology/S13-1001