Buchumschlag

Алгоритм Очевидности Глушкова

Розглядаються загальні підходи В.М. Глушкова до проблеми штучного інтелекту. Зокрема, детально висвітлюється історія досліджень за програмою «Алгоритм Очевидності», ініційованою В.М. Глушковим. Аналізуються результати, одержані за цією програмою. V.M.Glushkov’s general approaches to the problem of a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2013
Hauptverfasser:	Летичевский, А.А., Лялецкий, А.В., Мороховец, М.К.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2013
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/86248
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Алгоритм Очевидности Глушкова / А.А. Летичевский, А.В. Лялецкий, М.К. Мороховец // Кибернетика и системный анализ. — 2013. — Т. 49, № 4. — С. 3-16. — Бібліогр.: 68 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
von: Лялецкий, А.А.
Veröffentlicht: (2014)

Парадигмы модельного и символьного тестирования программных систем
von: Летичевский, А.А. (мл.)
Veröffentlicht: (2015)

Генерация символьных трасс в системе инсерционного моделирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2015)

Методика разработки и средства формализации функциональных спецификаций систем и устройств
von: Годлевский, А.Б., et al.
Veröffentlicht: (2016)

Алгоритм формальной верификации шаблонов бизнес-процессов
von: Варосян, А.С.
Veröffentlicht: (2011)

Свойства предикатного трансформера системы VRS
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Эвристический алгоритм для поиска наибольшего независимого множества
von: Плотников, А.Д.
Veröffentlicht: (2012)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)

Алгоритм декомпозиции геометрических объектов в 2D-задачах упаковки и раскроя
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2011)

Алгоритм формирования электронной цифровой подписи с возможностью обнаружения и исправления ошибки
von: Бияшев, Р.Г., et al.
Veröffentlicht: (2012)

Помехоустойчивый алгоритм решения проблемы нечеткой кластеризации на базе метода нечетких связанных точек
von: Насибов, Э.Н.
Veröffentlicht: (2008)

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел
von: Крывый, С.Л.
Veröffentlicht: (2009)

Информационно-экстремальный алгоритм обучения системы диагностирования инфекционных патологий
von: Довбыш, А.С., et al.
Veröffentlicht: (2013)

Метод вычисления семантической близости-связности между словами естественного языка
von: Анисимов, А.В., et al.
Veröffentlicht: (2011)

Нечеткие системы логического вывода и их применение
von: Провотар, А.И., et al.
Veröffentlicht: (2013)

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

Определение семантических валентностей концептов онтологий с помощью неотрицательной факторизации тензоров больших текстовых корпусов
von: Анисимов, А.В., et al.
Veröffentlicht: (2014)

Алгоритм трансляции APLAN-кода
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Распознавание действий медицинских работников на основе показателей акселерометров с использованием глубинной сети убеждений
von: Галкин, А.А.
Veröffentlicht: (2016)

Глубинный метод классификации на основе удаленной меры концентрации для обработки асимметричных данных
von: Галкин, А.А.
Veröffentlicht: (2016)

Афинно-инвариантный классификатор экстраполяционной глубины на основе многоуровневой структуры сглаживания
von: Галкин, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
von: Марченко, А.А.
Veröffentlicht: (2016)

Решение проблемы инвариантности вероятностных характеристик заведомо совместных систем случайных нелинейных уравнений над конечным коммутативным кольцом с единицей
von: Левитская, А.А.
Veröffentlicht: (2010)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
von: Марченко, А.А.
Veröffentlicht: (2016)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
von: Марченко, А.А.
Veröffentlicht: (2016)

Алгоритмические аспекты определения функций глубины в процедуре выбора оптимальной гипотезы для задач классификации данных
von: Галкин, А.А.
Veröffentlicht: (2016)

Алгебраическая интерпретация микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2016)

Операционное формирование кодов состояний в микропрограммных автоматах
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Представление чисел в двухбазисных системах счисления
von: Анисимов, А.В.
Veröffentlicht: (2013)

Проблемы трансдисциплинарности и роль информатики
von: Палагин, А.В.
Veröffentlicht: (2013)

Моделирование механизма финансового выравнивания на примере межбюджетных отношений в Украине
von: Гудыма, А.В.
Veröffentlicht: (2013)

Использование коллектива агентов для распознавания неориентированных графов
von: Стёпкин, А.В.
Veröffentlicht: (2015)

Численный метод решения системы гиперсингулярных интегральных уравнений второго рода и его обоснование
von: Костенко, А.В.
Veröffentlicht: (2016)

Онтологическая концепция информатизации научных исследований
von: Палагин, А.В.
Veröffentlicht: (2016)

Автоматический метод динамического построения абстракций состояний формальной модели
von: Колчин, А.В.
Veröffentlicht: (2010)

Представление чисел в смешанном базисе (2, 3)
von: Анисимов, А.В.
Veröffentlicht: (2009)

Математическая модель рассеяния волн импедансной решеткой
von: Костенко, А.В.
Veröffentlicht: (2015)

Построение оптимальных алгоритмов массовых вычислений в задачах цифровой фильтрации
von: Анисимов, А.В., et al.
Veröffentlicht: (2008)

Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
von: Визовитин, Н.В., et al.
Veröffentlicht: (2015)

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
von: Анисимов, А.В., et al.
Veröffentlicht: (2014)