Dr Mehrnoosh Sadrzadeh
My current research is focused on developing mathematical and logical models and tools to reason about large scale natural language data, collected by counting co-occurrences of words within documents. This data is turned into vector representations and acted upon by linear and multi-linear algebraic operations. The goal is to use the grammar to compose word vectors and build vector representations for larger language units such as phrases and sentences. The models I work with are based on high level categorical models of grammar and of vector spaces; they are also inspired by categorical models of quantum mechanics. Tenor spaces and entangled states therein have proved to be invaluable resources for linguistic tasks and have resulted in better experimental outcomes. The tasks I experiment with include word, phrase, and sentence level similarity, entailment, dismabiguation, paraphrasing, and classification.
Previously, I worked on algebraic and categorical models of multi-agent information flow. In particular, this work resulted in a sound and complete algebraic semantics and a cut-free sequent calculus with adjoint modalities for a positive and an intuitionistic fragment of dynamic epistemic logic. I also applied these logics to reasoning about navigation.
The above have been joint work with: Abramsky, Casadio, Clark, Coecke, Grefenstette, Kartsaklisk, Milajevs, Pulman, Purver, Preller (for the linguistics part) and Baltag, Coecke, Dyckhoff, Panagaden, Philips, Precup, Truffault (for the dynamic epistemic part).
I am a member of the following groups:
Topics of Interest
Compositional Distributional Semantics
Category Theoretical Models of Natural Language
Pregroup Grammars, Vector Space Models
Dynamic Epistemic Logic, Algebra and Proof Theory
- `Entanglement in quantum phenomena and natural language', Technology.org, May 21, 2014.
- `Algebra bridges syntax and meaning in natural language', Technology.org, July 29, 2014.
- `Our ambiguous world of words', University of Cambridge Research Horizons, May 2013.
- `Quantum physics => Natural language', Inspired Research, Dept. of Computer Science, University of Oxford, Summer 2011.
- `Quantum links let computers understand language', New Scientist, issue 2790,
- Clothes Network Ltd: Compositional vector methods for request classification, with FayiMora Femi-Balogun.
- AFSOR project: Algorithmic and Logical Aspects when Computing Meanings.
- EPSRC project: New Foundational Structures for Engineering Verified multi-UAV's.
- EPSRC Career Acceleration Fellowship: Foundational Structures for Compositional Meaning.
- Done: EPSRC Postdoctoral Fellowship: (AlCoSeK) Alegbraic and Coalgebraic Semantics for Knowledge.
- 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Goeriga, September, 2015.
- British Logic Colloquium, Isaac Newton Institute for Mathematical Sciences, University of Cambridge, September, 2015.
- 1st International Conference on Topics in Theoretical Computer Science (TTCS 2015), Institute for Research in Fundamental Sciences (IPM), Tehran, Iran, August, 2015.
- The Legacy of Joachim Lambek (FoLLI affiliated meeting),15th Congress on Logic, Methodology, and Philosophy of Science, Helsinki. August 2015.
- 22nd Workshop on Logic, Language, Information and Computation (WoLLIC), Bloomington, July 2015.
- `Multi-Linear Algebraic Semantics for Natural Language', Second Iran Conference in Logic, Tehran, December 2014.
- `Word Order Alternations in Sanskrit via Precyclicity in Pregroup Grammars', A Conference in Honour of Prakash Panangaden on the Occasion of his 60th Birthday, Oxford, May 2014.
- `Cyclicity in Pregroups', From categories to logic, linguistics and physics: a tribtue for the 90th birthday of Joachim Lambek, Centre de Recherche Mathematiques (CRM),, Montreal, September 2013.
- `Compact Closed Categories and Frobenius Algebras for Computing Natural Language Meaning', Dagstuhl Meeting on Information Flow and its Applications, August 2012.
- `Algebra and Proof Theory for a Logic of Propositions, Actions and Adjoint Modal Operators', Computational Logic Workshop in Honour of Roy Dyckhoff, St Andrews, November 2011.
- `What is the vector space content of what we say? A Categorical Approach to Distributed Meaning', 3rd Workshop on Logic and Pragmatics, Faculty of Science, University of Verona, December 2008.
- `What is the vector space content of what we say? A Categorical Approach to Distributed Meaning', 3rd Workshop on Categories, Logic, Foundations of Physics, Computing Lab, Oxford University, August 2008.
- `From [pregroup] Types to [vector space] Meaning', 50 Years from Syntax Calculus, Conference on
Developments in Mathematical Linguistics and Cognitive Science, University of Chieti, Italy, July 2008.
- `Okham's Razor Applied to Reasoning about Information Flow', Workshop on the Philosophy of Information and Logic, University of Oxford, Nov 2007.
- Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse, Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette (eds), Oxford University Press. February, 2013.
- Evaluating Neural Word Representations in Tensor-Based Compositional Settings, Dmitrijs Milajevs, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Matthew Purver, 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP), Qatar, October 2014.
- Resolving Lexical Ambiguity in Tensor Regression Models of Meaning, Dimitri Kartsaklis, Nal Kalchbrenner and Mehrnoosh Sadrzadeh, In Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (ACL): Short Papers. Baltimore‚ USA, June, 2014.
- Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning, Ed Grefenstette, Mehrnoosh Sadrzadeh, Journal of Computational Linguistics, to appear.
- A Low-Level Treatment of Generalized Quantifiers in Categorical Compositional Distributional Semantics, Ondrej Rypacek and Mehrnoosh Sadrzadeh, Second Workshop on Natural Language and Computer Science, A workshop affiliated with the joint meeting of Computer Science Logic (CSL) and Logic in Computer Science (LiCS), Vienna, July 2014.
- Word Order Alternations in Sanskrit via Precyclicity in Pregroup Grammars, Claudia Casadio and Mehrnoosh Sadrzadeh, In Horizons of the Mind, Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday, LNCS 8464, May 2014.
- A Study of Entanglement in a Categorical Model of Natural Language, Dimitri Kartsaklis and Mehrnoosh Sadrzadeh, 11th workshop on Quantum Logic and Physics (QPL), Kyoto University, June 2014. arXiv:1405.2874.
- Semantic Unification: a sheaf theoretic approach to natural language, Samson Abramsky and Mehrnoosh Sadrzadeh, In: Catgories and Types in Logic, Language, and Physics, Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Casadio et al (eds.), LNCS 8222, pages 1- 13, 2014. arXiv:1403.3351
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic, Minghui Ma, Alessandra Palmigiano and Mehrnoosh Sadrzadeh, Annals of Pure and Applied Logic, Volume 165, Pages 963--995, 2014.
- The Frobenius anatomy of word meanings II: possessive relative pronouns, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Journal of Logic and Computation, Essays dedicated to Roy Dyckhoff on the occasion of his retirement, S. Graham-Lengrand and D. Galmiche (eds.), doi: 10.1093/logcom/exu027, 2014.
- Edward Grefenstette (graduated, Oxford, with Profs Coecke and Pulman)
- Pere Pardo (graduated, Barcelona, with Prof Godo)
- Dimitri Kartsaklis (graduated, Oxford, with Profs Coecke and Pulman)
- Dmitrijs Milajevs (QMUL, with Dr Purver)
- Esma Balkir (QMUL)
- Computability ECS 613 U, EECS, QMUL, joint with Greta Yorsh
Past Teaching and Organization
- Reasoning about Information Update from 2008 to 2012, Dept of CS, Oxford.
- `Logical Computations in Multi-Agent Systems', in the Sino-European Winter School on Logic Language Information (SELLC), Guanghzou, China, Dec'10.
- Interdisciplinary workshop Cat in the Flow of PhyLing, organized with C. Heunen, funded by British Council and the Dutch Platform Beta-Techniek, Oct'10.
- OASIS, From Oct 2008 to Oct 2013, seminar series of the Foundations group, Dept of CS, Oxford.
- Cakes talks, Hilary and Trinity 2012, Dept of CS, Oxford.
- Alternative Choir and Music Society, Oct 2009 to Oct 2012. Wolfson College, Oxford.