High level quantum structures in linguistics and multi agent systems

AAAI Spring Symposium - Technical Report

Volumn SS-07-08, Issue , 2007, Pages 9-16

  Sadrzadeh, Mehrnoosh ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Computational linguistics; High level quantum structures; Information update in multi agent systems

Indexed keywords

HIGH LEVEL QUANTUM STRUCTURES; INFORMATION UPDATE; QUANTUM INFORMATICS; QUANTUM LOGIC; SENTENCE STRUCTURE;

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; DISTRIBUTED COMPUTER SYSTEMS; LOGIC PROGRAMMING; QUANTUM ELECTRONICS;

MULTI AGENT SYSTEMS;

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

References (31)

1. Abramsky, S., and Coecke, B. 2004. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Science Press. arXiv:quant-ph/0402130.
2. Abramsky, S., and Duncan, R. 2006. A categorical quantum logic. Mathematical Structures in Computer Science (to appear).
3. Baltag, A., and Sadrzadeh, M. 2006. The algebra of multiagent dynamic belief revision. Electronic Notes in Theoretical Computer Science 157.
4. Baltag, A.; Coecke, B.; and Sadrzadeh, M. 2004. Epistemic actions as resources. Journal of Logic and Computation (to appear). accessible from http://www.ecs.soton.ac.uk/~ms6/JLC.pdf.
5. Baltag, A.; Moss, L.; and Solecki, S. 1999. The logic of public announcements, common knowledge and private suspicions. Technical report, CWI.
6. Bargelli, D., and Lambek, J. 2001a. An algebraic appraoch to arabic sentence structure. Linguistic Analysis 31.
7. Bargelli, D., and Lambek, J. 2001b. An algebraic approach to french sentence structure. Logical Aspects of Computational Linguistics.
8. Birkhoff, G., and von Neumann, J. 1936. The logic of quantum mechanics. Annals of Mathematics 37:823-843.
9. Buszkowski, W. 2001. Lambek grammars based on pregroups. Logical Aspects of Computational Linguistics.
10. Casadio, C., and Lambek, J. 2001. An algebraic analysis of clitic pronouns in italian. Logical Aspects of Computational Linguistics.
11. Clark, S., and Pulman, S. 2006. Combining symbolic and distributional models of meaning. Accepted for the AAAI Spring Symposium on Quantum Interaction.
12. Coecke, B., and Pavlovic, D. 2006. Quantum measurements without sums. In Chen, G.; Kauffman, L.; and Lamonaco, S., eds., Mathematics of Quantum Computing and Technology. Taylor and Francis. arXiv:quant-ph/0608035.
13. Coecke, B.; Moore, D. J.; and Stubbe, I. 2001. Quantaloids describing causation and propagation of physical properties. Foundations of Physics Letters 14.
14. Danos, V.; Kashefi, E.; and Panangaden, P. 2005. The measurement calculus. Quantum Physics Archives. arXiv: quant-ph/0412135.
15. Ekert, A. 1991. Quantum cryptography based on bell's theorem. Physical Review Letters 67.
16. Fagin, R.; Halpern, J. Y.; Moses, Y.; and Vardi, M. Y. 1995. Reasoning about Knowledge. MIT Press.
17. Gazdar, G. 1996. Paradigm merger in natural language processing. In Milner, R., and Wand, I., eds., Computing Tomorrow: Future Research Directions in Computer Science. Cambridge University Press. 88-109.
18. Girard, J.-Y. 1987. Linear logic. Theoretical Computer Science 50.
19. Harel, D.; Kozen, D.; and Tiuryn, J. 2000. Dynamic Logic. MIT Press.
20. Hoare, C. A. R., and Jifeng, H. 1987. The weakest prespecification. Information Processing Letters 24.
21. Johnstone, P. T. 1982. Stone Spaces. Cambridge University Press.
22. Lambek, J. 1958. The mathematics of sentence structure. American Mathematics Monthly 65.
23. Lambek, J. 1999. Type grammar revisited. Logical Aspects of Computational Linguistics 15 82.
24. Lambek, J. 2001. Type grammars as pregroups. Grammar 4.
25. Lambek, J. 2004. A computational algebraic approach to english grammar. Syntax 7:2.
26. Moortgat, M. 1997. Categorical type logics. In van Benthem, J., and ter Meulen, A., eds., Handbook of Logic and Language. Elsevier.
27. Sadrzadeh, M. 2005. Staying safe with Bell. In Q-day II Workshop organized by B. Coecke and V. Danos. Institute Henri Pincaré, Université Paris VII.
28. Sadrzadeh, M. 2006a. Actions and Resources in Epistemic Logic. Ph.D. Dissertation, Université du Québec À Montréal, http://www.ecs.soton.ac.uk/~ms6/all.pdf.
29. Sadrzadeh, M. 2006b. Pregroup analysis of persian sentences. unpublished paper, accessible from http://www.ecs.soton.ac.uk/~ms6/PersPreGroup.pdf.
30. van Rijsbergen, C. J. 2004. The Geometry of Information Retrieval. Cambridge University Press.
31. Widdows, D. 2004. Geometry and Meaning. Center for the Study of Language and Information/SRI.