1. ФОРМАЛІЗАЦІЯ МЕТОДІВ ПОБУДОВИ АВТОНОМНИХ СИСТЕМ ШТУЧНОГО ІНТЕЛЕКТУ.
- Author
-
ЗГУРОВСЬКИЙ, М. З., КАСЬЯНОВ, П. О., and ЛЕВЕНЧУК, Л. Б.
- Subjects
ARTIFICIAL intelligence ,DYNAMIC programming ,MATHEMATICAL models ,MARKOV processes ,ALGORITHMS ,COMPUTATIONAL complexity - Abstract
This paper explores the problem of formalizing the development of autonomous artificial intelligence systems (AAIS), whose mathematical models may be complex or non-identifiable. Using the value-iterations method for Q-functions of rewards, a methodology for constructing of ε-optimal strategies with a given accuracy has been developed. The results allow us to outline classes (including dual-use), for which it is possible to rigorously justify the construction of optimal and ε-optimal strategies even in cases where the models are identifiable but the computational complexity of standard dynamic programming algorithms may not be strictly polynomial. [ABSTRACT FROM AUTHOR]
- Published
- 2023