Abstract
The paper extends the formal language and reduction calculus of Moschovakis type-theory of recursion, by adding a restrictor operator on terms with predicative constraints. Terms with restrictions over memory variables formalise inductive algorithms with generalised, restricted parameters. The theory provides restricted computations for algorithmic semantics of mathematical expressions and definite descriptors, in formal and natural languages.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Loukanova, R.: Gamma-reduction in type theory of acyclic recursion. Fundam. Inform. 170(4), 367–411 (2019). https://doi.org/10.3233/FI-2019-1867
Loukanova, R.: Gamma-star canonical forms in the type-theory of acyclic algorithms. In: van den Herik, J., Rocha, A.P. (eds.) Agents and Artificial Intelligence. ICAART 2018. Lecture Notes in Computer Science, vol. 11352, pp. 383–407. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-05453-3_18
Loukanova, R.: Type-theory of acyclic algorithms for models of consecutive binding of functional neuro-receptors. In: Grabowski, A., Loukanova, R., Schwarzweller, C. (eds.) AI Aspects in Reasoning, Languages, and Computation, vol. 889, pp. 1–48. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-41425-2_1
Moschovakis, Y.N.: Sense and denotation as algorithm and value. In: Oikkonen, J., Väänänen, J. (eds.) Logic Colloquium ’90: ASL Summer Meeting in Helsinki. Lecture Notes in Logic, vol. 2, pp. 210–249. Springer, Berlin (1993)
Moschovakis, Y.N.: A logical calculus of meaning and synonymy. Linguist. Philos. 29(1), 27–89 (2006). https://doi.org/10.1007/s10988-005-6920-7
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Loukanova, R. (2021). Type-Theory of Parametric Algorithms with Restricted Computations. In: Dong, Y., Herrera-Viedma, E., Matsui, K., Omatsu, S., González Briones, A., Rodríguez González, S. (eds) Distributed Computing and Artificial Intelligence, 17th International Conference. DCAI 2020. Advances in Intelligent Systems and Computing, vol 1237. Springer, Cham. https://doi.org/10.1007/978-3-030-53036-5_35
Download citation
DOI: https://doi.org/10.1007/978-3-030-53036-5_35
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-53035-8
Online ISBN: 978-3-030-53036-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)