Dr Mehrnoosh Sadrzadeh
I am interested in logical and mathematical systems and tools for modelling and reasoning about artificial intelligence.
My current project is on combining statistical and logical methods to understand how language works, so we may enable computers to use it in ways similar to humans.
The statistical methods come from a pragmatic way of thinking about words: based on co-occurence information retrieved from large corpora of data (e.g. books, news, wikipedia). The logical methods, e.g. lambda calculi, type-categorial grammars, generative systems, work along side a principle of compositionality and formalize the grammatical structure of phrases and sentences. Putting the two together enables us to reason about words, phrases, and sentences all at the same time. I hope to mechanize the corresponding computations so we can automate the reasoning. I have worked on applying these methods to tasks such as entailment, disambiguation, paraphrasing. This line of research sheds light on the intricate structure of language and has as well a fine interdisciplinary niche: models I work with are inspired by high level models of quantum mechanics whose resources (e.g. entanglement) have proved invaluable for obtaining better experimental results in language tasks.
Previously, I worked on algebraic and categorical models of multi-agent information flow, resulting 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 applied these logics to reason about epistemic scenarios such as learning by communication and navigation.
The above have been joint work with (in alphabetical order): Abramsky, Balkir, Casadio, Clark, Coecke, Grefenstette, Kartsaklisk, Milajevs, Pulman, Purver, Preller, Roelleke (for the linguistics part) and Baltag, Coecke, Dyckhoff, Panagaden, Pardo, Philips, Precup, Truffault (for the dynamic epistemic part).
Topics of Interest
Compositional Distributional Semantics
Category Theoretical Models of Natural Language
Pregroup Grammars, Vector Space Models
Dynamic Epistemic Logic, Algebra , Coalgebra and Proof Theory
I am a member of the following groups in Queen Mary:
I am in the PC of:
- Conference on Formal Grammar 2016
- Conference on Mathematics of Language (MoL) 2015
- FoLLI's E.W.S. Beth Dissertation Prize committee 2015
- Series of Workshops on Quantum Physics and Logic (QPL)
- Conference on Computability in Europe (CiE)
- Series of conferences on Quantum Interactions (QI)
- Series of workshops on Continuous Vector Space Models and their Compositionality (CVSC)
- I have refereed for Logic in CS and Computational Linguistics journals such as TCS, MSCS, JoLLI, Entropy, JLC, CL, etc.
- International Conference on Computational Semantics (WCS), 2015 (QMUL).
- EPSRC funded Workshop on Advances in Distributional Semantics, 2015 (QMUL)
- EPSRC and BLC funded Workshop on Algebra and Coalgebra meets Proof Theory (ALCOP) 2014 (QMUL).
- British Council and Platform Beta Techniek funded Workshop on Quantum Physics and Linguistics, 2010 (Oxford)
- Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse, Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette (eds), Oxford University Press. February, 2013.
- 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.
- `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,
- 11th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC), Goeriga, September, 2015.
- First International Conference on new findings in Electrical Engineering and Computer Science, Tehran, 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.
- Second Iran Conference in Logic, Tehran, December 2014.
I have also given talks in the folloiwng by-invitation-only workshops and conferences
- `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.
- IR meets NLP: On the Semantic Similarity between Subject-Verb-Object Phrases, Dmitrijs Milajevs, Mehrnoosh Sadrzadeh, Thomas Roelleke, ACM SIGIR International Conference on the Theory of Information Retrieval (ICTIR), USA, 2015.
- A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics. Dimitri Kartsaklis, Mehrnoosh Sadrzadeh. 14th Meeting on the Mathematics of Language (MoL), 2015.
- Open System Categorical Quantum Semantics in Natural Language Processing. Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh, Conference on Algebra and Coalgebra in Computer Science (CALCO), 2015.
- 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, Volume 41, Pages 71-118, March 2015.
- 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 course, from 2008 to 2012, Dept of CS, Oxford.
- `Logical Computations in Multi-Agent Systems' course, Sino-European Winter School on Logic Language Information (SELLC), Guanghzou, China, Dec'10.
- OASIS seminar series, 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.