Программирование и интеллект

Abstract

Работа посвящена проблеме создания программ, решающих задачи, которые связаны со знаниями о внешней среде и использующих эти знания. Такие программы называются интеллектуальными приме-нительно к определению интеллекта, данному в работе. Предлагается категорная модель интеллектуальной программы в виде функтора из категории, представляющей среду, в категорию, определяющую возможные способы решения задачи.---------

Робота присвячена проблемі створення програм, які вирішують задачі, пов’язані зі знаннями про зовнішнє середовище та використовуючи ці знання. Такі програми називають інтелектуальними відповідно до визначення інтелекту, поданого в цій роботі. Запропоновано категорну модель інтелектуальної програми у вигляді функтора з категорії, яка представляє середовище, в категорію, що визначає можливі способи вирішення задачі.----------

This work is devoted to a problem of creation of the programs solving the tasks which are linked to knowledge of an environment and using this knowledge. Such programs are named intellectual with reference to definition of intelligence, data in this work. It is offered categorical model of the intellectual program in the form of functor from a category representing the environment, in a category defining possible ways of solution of the task.