Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 11

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems

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

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 5766 ()

Full text

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

  1. 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
  2. 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.
  3. H. B. Curry and R. Feys, Combinatory logic. Amsterdam: North-Holland Publishing Company, 1958, vol. 1.
  4. D. Gallin, Intensional and Higher-Order Modal Logic. North-Holland, 1975.
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. J. Barwise and J. Perry, Situations and Attitudes. Cambridge, MA:MIT press, 1983, republished as
  11. 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.
  12. R. Loukanova, “Situation semantical analysis of natural language,” Ph.D. dissertation, Faculty of Mechanics and Mathematics, Moscow State University (MGU), Moscow, 1991, (in Russian).
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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.
  19. R. Loukanova, “γ-Reduction in Type Theory of Acyclic Recursion,” 2017, (to appear).
  20. 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
  21. L. Squire and E. Kandel, Memory: From Mind to Molecules. Roberts & Co., 2009.
  22. 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.
  23. J. Barwise and J. Perry, Situations and Attitudes, ser. The Hume Series. Stanford, California: CSLI Publications, 1999.