## Binding Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors

### Roussanka Loukanova

DOI: http://dx.doi.org/10.15439/2017F465

Citation: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 11, pages 57–66 (2017)

Abstract. The paper is on a new approach to mathematics of the notion of algorithm. We extend the higher-order, type-theory of situated algorithms. The primary applications are to computational semantics of formal and natural languages and to computational neuroscience. We investigate the properties of functions and relations that bind argument slots of other functions and relations across a recursion operator acting via mutually recursive assignments.

### References

- Y. N. Moschovakis, “A logical calculus of meaning and synonymy,” Linguistics and Philosophy, vol. 29, no. 1, pp. 27–89, Feb 2006. [Online]. Available: http://dx.doi.org/10.1007/s10988-005-6920-7
- Y. N. Moschovakis, “Sense and denotation as algorithm and value,” in Lecture Notes in Logic, ser. Lecture Notes in Logic, J. Oikkonen and J. Vaananen, Eds. Springer, 1994, no. 2, pp. 210–249.
- H. B. Curry and R. Feys, Combinatory logic. Amsterdam: North-Holland Publishing Company, 1958, vol. 1.
- D. Gallin, Intensional and Higher-Order Modal Logic. North-Holland, 1975.
- R. Loukanova, “Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion,” ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, vol. 5, no. 4, pp. 19–42, 2016. [Online]. Available: http://dx.doi.org/10.14201/ADCAIJ201654
- R. Loukanova, “Algorithmic Granularity with Constraints,” in Brain and Health Informatics, ser. Lecture Notes in Computer Science, K. Imamura, S. Usui, T. Shirao, T. Kasamatsu, L. Schwabe, and N. Zhong, Eds. Springer International Publishing, 2013, vol. 8211, pp. 399–408. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-02753-1_40
- R. Loukanova, “Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion,” in Flexible Query Answering Systems 2015, ser. Advances in Intelligent Systems and Computing, T. Andreasen, H. Christiansen, J. Kacprzyk, H. Larsen, G. Pasi, O. Pivert, G. D. Tré, M. A. Vila, A. Yazici, and S. Zadrożny, Eds. Springer International Publishing, 2016, vol. 400, pp. 57–69. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-26154-6_5
- R. Loukanova, “Acyclic Recursion with Polymorphic Types and Underspecification,” in Proceedings of the 8th International Conference on Agents and Artificial Intelligence, J. van den Herik and J. Filipe, Eds., vol. 2. SCITEPRESS — Science and Technology Publications, Lda., 2016, pp. 392–399. [Online]. Available: http://dx.doi.org/10.5220/0005749003920399
- R. Loukanova, “Underspecified Quantification by the Theory of Acyclic Recursion,” in Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection, F. de la Prieta, J. M. Escalona, R. Corchuelo, P. Mathieu, Z. Vale, T. A. Campbell, S. Rossi, E. Adam, D. M. Jiménez-López, M. E. Navarro, and N. M. Moreno, Eds. Cham: Springer International Publishing, 2016, pp. 237–249. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-40159-1_20
- J. Barwise and J. Perry, Situations and Attitudes. Cambridge, MA:MIT press, 1983, republished as
- R. Loukanova and R. Cooper, “Some Situation Theoretical Notions,” in Annuaire de l’Universite de Sofia “St. Kliment Ohridski”. Faculte de mathematiques et informatique. “St. Kliment Ohridski” University Press, 1993, vol. tome 87(1993). livre 1 – mathematiques, pp. 297–306.
- R. Loukanova, “Situation semantical analysis of natural language,” Ph.D. dissertation, Faculty of Mechanics and Mathematics, Moscow State University (MGU), Moscow, 1991, (in Russian).
- R. Loukanova, “Russellian and Strawsonian Definite Descriptions in Situation Semantics,” in Computational Linguistics and Intelligent Text Processing, ser. Lecture Notes in Computer Science, A. Gelbukh, Ed. Springer Berlin / Heidelberg, 2001, vol. 2004, pp. 69–79. [Online]. Available: http://dx.doi.org/10.1007/3-540-44686-9_6
- R. Loukanova, “Generalized Quantification in Situation Semantics,” in Computational Linguistics and Intelligent Text Processing, ser. Lecture Notes in Computer Science, A. Gelbukh, Ed. Springer Berlin / Heidelberg, 2002, vol. 2276, pp. 46–57. [Online]. Available: http://dx.doi.org/10.1007/3-540-45715-1_4
- R. Loukanova, “Quantification and Intensionality in Situation Semantics,” in Computational Linguistics and Intelligent Text Processing, ser. Lecture Notes in Computer Science, A. Gelbukh, Ed. Springer Berlin / Heidelberg, 2002, vol. 2276, pp. 32–45. [Online]. Available: http://dx.doi.org/10.1007/3-540-45715-1_3
- R. Loukanova, “Situation Theory, Situated Information, and Situated Agents,” in Transactions on Computational Collective Intelligence XVII, ser. Lecture Notes in Computer Science, N. T. Nguyen, R. Kowalczyk, A. Fred, and F. Joaquim, Eds. Springer Berlin Heidelberg, 2014, vol. 8790, pp. 145–170. [Online]. Available: http://dx.doi.org/10.1007/978-3-662-44994-3_8
- R. Loukanova, “A Formalization of Generalized Parameters in Situated Information,” in Proceedings of the 8th International Conference on Agents and Artificial Intelligence, J. van den Herik and J. Filipe, Eds., vol. 1. SCITEPRESS — Science and Technology Publications, Lda., 2016, pp. 343–353. [Online]. Available: http: //dx.doi.org/10.5220/0005850303430353
- R. Loukanova, “Typed theory of situated information and its application to syntax-semantics of human language,” in Partiality and Underspecification in Information, Languages, and Knowledge, H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Cambridge Scholars Publishing, 2017, pp. 151–188.
- R. Loukanova, “γ-Reduction in Type Theory of Acyclic Recursion,” 2017, (to appear).
- E. Kandel, T. Jessell, S. Siegelbaum, J. Schwartz, and A. J. Hudspeth, Eds., Principles of neural science. McGraw-Hill, Health Professions Division, 2000. [Online]. Available: http://www.principlesofneuralscience.com
- L. Squire and E. Kandel, Memory: From Mind to Molecules. Roberts & Co., 2009.
- D. Ślęzak, A. Janusz, W. Świeboda, H. S. Nguyen, J. G. Bazan, and A. Skowron, “Semantic analytics of PubMed content,” in Information Quality in e-Health. Springer, 2011, pp. 63–74.
- J. Barwise and J. Perry, Situations and Attitudes, ser. The Hume Series. Stanford, California: CSLI Publications, 1999.