УДК 007:681.512.2
ОСОБЕННОСТИ ФОРМАЛЬНОГО ИССЛЕДОВАНИЯ
ИНТЕЛЛЕКТУАЛЬНОГО ПРОГРАММНОГО ИНСТРУМЕНТАРИЯ
И. Ю. Каширин, д.т.н., профессор кафедры ВПМ РГРТУ; Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
О. И. Каширина, студент РГРТУ, Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Рассматриваются отличительные свойства формализации интеллектуального программного обеспечения. Особое внимание уделяется вопросам оптимизации при разработке интеллектуальных систем. В качестве базового математического аппарата предлагается использовать теоретическую концепцию формальных программных машин, представляющих собой упорядоченное множество прикладных универсальных алгебраических систем. Отдельно рассматриваются особенности интеллектуальных систем, связанные с уровнем знаний, упрощением предметной области, логическим программированием и нечетким представлением знаний. Целью работы является анализ особенностей формального исследования известных концепций программных систем искусственного интеллекта с выявлением оптимизирующих возможностей соответствующих формальных программных машин.
Ключевые слова: искусственный интеллект, анализ программ, алгоритмические алгебры, инструментальные программные средства, формальные программные машины, оптимизация программ, уровень знаний, обучение и самообучение, метауровневые языковые средства.