1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 2(100)'2012
  5. О проблеме разрешимости в формальных интеллектуальных системах

О проблеме разрешимости в формальных интеллектуальных системах

Ю.В. Паржин
Системи обробки інформації. — 2012. — № 2(100). – С. 10-17.
УДК 4.8
Мова статті: російська
Анотації на мовах:

В работе рассмотрен класс информационных систем, способных решать эвристические задачи на основе формальной теории, получившей название модально-векторной теории формальных интеллектуальных систем (ФИС). Обоснован подход к построению разрешающего алгоритма ФИС, определены основные свойства данных систем и доказаны теоремы, лежащие в основе теории, сформулирован принцип репрезентативного разнообразия в построении ФИС.
Ключові слова: искусственный интеллект, формальная интеллектуальная система, модально-векторная теория
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Паржин Ю.В. О проблеме разрешимости в формальных интеллектуальных системах / Ю.В. Паржин  // Системи обробки інформації. – 2012. – № 2(100). – С. 10-17.