Труды КНЦ (Технические науки вып. 7/2023(14))

Труды Кольского научного центра РАН. Серия: Технические науки. 2023. Т. 14, № 7. С. 26-34. Transactions of the Kola Science Centre of RAS. Series: Engineering Sciences. 2023. Vol. 14, No. 7. P. 26-34. 15. Kulik B. A. Issledovanie protivorechij v estestvennyh rassuzhdenijah na primerah metafor i presuppozicij [Investigation o f contradictions in natural reasoning using examples o f metaphors and presuppositions]. Trudy XVII Nacional'noj konferencii po iskusstvennomu intellektu s mezhdunarodnym uchastiem. KII-2019 (21-25 okt. 2019 g. Uljanovsk, Rossija) [Proceedings o f the Seventeenth National Conference on Artificial Intelligence with International Participation. KII-2019 (October 21-25, 2019, Ulyanovsk, Russia)]. Ul'janovsk, UlGTU, 2019, vol. 2, pp. 192-200. (In Russ.). 16. Kulik B. A. Vyvod sledstvij s predvaritel'no zadannymi svojstvami [Inference o f consequences with predefined properties]. Sistemnyj analiz v proektirovanii i upravlenii. V 3 ch. Ch.2: sb. nauch. tr. XXV Mezhdunar. nauch. i uchebn.-praktich. konf. (13-14 okt. 2021 g.) [System analysis in design and management. In 3 parts. Part 2: Collection o f scientific papers o f the XXV International Scientific and educational-practical conference (October 13-14, 2021)]. Saint Petersburg, POLITEH-PRESS, 2021, part 2, pp. 89-97. (In Russ.). 17. Pelletier F. J. Seventy-Five Problems for Testing Automatic Theorem Provers. Journal o f Automated Reasoning, 1986, vol. 2, pp. 191-216. 18. Petrov V. TRIZ. Teorija reshenija izobretatel'skih zadach. Uroven' 1 [TRIZ. Theory o f solving inventive problems. Level 1]. Moscow, SOLON-Press, 2017, 252 p. Информация об авторе Б. А. Кулик — доктор физико-математических наук, ведущий научный сотрудник. Information about the author B. A. Kulik — Doctor of Science (Math.), Leading Research Fellow. Статья поступила в редакцию 07.08.2023; одобрена после рецензирования 01.11.2023; принята к публикации 08.11.2023. The article was submitted 07.08.2023; approved after reviewing 01.11.2023; accepted for publication 08.11.23. © Кулик Б. А., 2023 34