Autors: Ilieva, R. Y., Anguelov, K. P., Nikolov, Y. P.
Title: Mathematical Algorithms for Artificial Intelligence
Keywords: Artificial intelligence, Machine learning, Mathematical modeling

Abstract: Speaking for artificial intelligence and mathematics, some will say that they are two different fields. But we can assure you that mathematical models are its foundations, especially the main subset machine learning. Investigating these models and algorithms, we have the possibility to predict the abilities and limitations of artificial intelligence. Utilization of super-recursive algorithms for proving theorems, makes many such systems complete and decidable. Here we will discuss the main differences of recursive and super-recursive algorithm in particular Turing machine and inductive Turing machine. Our main statement is that artificial intelligent based on inductive Turing machine is much more powerful and will greatly enhance machine learning capabilities. As theorem proving and logic used commonly in artificial intelligence, these results will have a very important role in its implications.

References

    Issue

    45th International Conference on Application of Mathematics in Engineering and Economics (AMEE’19), June 7-13, vol. 2172, issue 1, pp. 110015-1-110015-8, 2019, Bulgaria, AIP Publishing, . 978-0-7354-1919-3/doi.org/10.1063/1.5133618

    Copyright AIP Conference Proceedings

    Full text of the publication

    Цитирания (Citation/s):
    1. Kavaldzhieva, K. The Impact of Digitalization on the Measurement of value in the production and operation of industrial products. 2019 International Conference on High Technology for Sustainable Development, HiTech 2019, art. no. 9128260. - 2019 - в издания, индексирани в Scopus или Web of Science
    2. Tomov, P., Entchev, E. Digitalization in Information Activities Related to Systems for Managing Discrete Production Processes. 2019 International Conference on High Technology for Sustainable Development, HiTech 2019, art. no. 9128242 - 2019 - в издания, индексирани в Scopus или Web of Science
    3. Damianov, D. Influential Factors on the Process of Technological Development through Innovative and Planned Aging. 2019 International Conference on High Technology for Sustainable Development, HiTech 2019, art. no. 9128277 - 2019 - в издания, индексирани в Scopus или Web of Science

    Вид: публикация в международен форум, публикация в реферирано издание, индексирана в Scopus