Dr Mehrnoosh Sadrzadeh
I am interested in logical and mathematical systems and tools for modelling and reasoning about artificial intelligence. In particular, I am interested in understanding how language works, so we may enable computers to use it in ways similar to humans.
My current project is on combining statistical and logical models of language. On the statistical side, I work with vector space models of real text. On the logical side, my work is based on type-logic-based grammars such as CCG, Lambek calculus, and pregroup grammars. The combined models are based on resources such as tensors and entangled states, which have proved invaluable for obtaining better experimental bounds in language tasks. The generalizations of these models to high level categories have been applied to quantum protocols.
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
Groups: Joint leader of the natural language lab, member of the theory group, associate member of the cognitive science group.
Intl. Joint Conference on Artificial Intelligence (IJCAI) 2016, Conference on Formal Grammar 2016, Conference on Logical Aspects of Computational Linguistics 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).
I frequently review for Logic in CS and Computational Linguistics journals such as TCS, MSCS, JoLLI, Entropy, JLC, CL and ACL conferences.
- NASSLLI workshop Statistical and Logical Models of Meaning (SaLMoM) 2016,
- 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)
- 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.
- Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse, Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette (eds), Oxford University Press. February, 2013.
- AFSOR project (with Oxford): Algorithmic and Logical Aspects when Computing Meanings.
- Clothes Network Ltd: Compositional vector methods for request classification, with FayiMora Femi-Balogun.
- 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.
- `How to feed and raise a Wikipedia robo-editor', Conversation, December 11, 2015.
- `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.
Talks in invitation-only meetings
- `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.
- Sentence Entailment in Compositional Distributional Semantics, Esma Balkir, Dimitri Kartsaklis and Mehrnoosh Sadrzadeh, International Symposium on Artificial Intelligence and Mathematics (ISAIM), Florida, USA, January 2016.
- 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.
- The Use of English Colour Terms in Big Data, Dimitris Mylonas, Matthew Purver, Mehrnoosh Sadrzadeh, Lindsay MacDonald and Lewis Griffin, in Proceedings of the 2015 Meeting of the International Colour Association (AIC), Tokyo, May 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.
- Astrid van Aggelen (QMUL)
- Dmitrijs Milajevs (QMUL, with Dr Purver)
- Esma Balkir (previously QMUL)
- Dimitri Kartsaklis (graduated, Oxford, with Profs Coecke and Pulman)
- Edward Grefenstette (graduated, Oxford, with Profs Coecke and Pulman)
- Pere Pardo (graduated, Barcelona, with Prof Godo)
- Computability ECS 613 U, EECS, QMUL, joint with Greta Yorsh
- Reasoning about Information Update, 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.
Alternative Choir and Music Society, Oct 2009 to Oct 2012. Wolfson College, Oxford.