Алгоритм Очевидности Глушкова
Розглядаються загальні підходи В.М. Глушкова до проблеми штучного інтелекту. Зокрема, детально висвітлюється історія досліджень за програмою «Алгоритм Очевидності», ініційованою В.М. Глушковим. Аналізуються результати, одержані за цією програмою. V.M.Glushkov’s general approaches to the problem of a...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2013 |
| Main Authors: | Летичевский, А.А., Лялецкий, А.В., Мороховец, М.К. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86248 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгоритм Очевидности Глушкова / А.А. Летичевский, А.В. Лялецкий, М.К. Мороховец // Кибернетика и системный анализ. — 2013. — Т. 49, № 4. — С. 3-16. — Бібліогр.: 68 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Новые доказательства важных теорем бестипового экстенсионального λ–исчисления
by: Лялецкий, А.А.
Published: (2014) -
Парадигмы модельного и символьного тестирования программных систем
by: Летичевский, А.А. (мл.)
Published: (2015) -
Генерация символьных трасс в системе инсерционного моделирования
by: Летичевский, А.А., et al.
Published: (2015) -
Алгоритм формальной верификации шаблонов бизнес-процессов
by: Варосян, А.С.
Published: (2011) -
Методика разработки и средства формализации функциональных спецификаций систем и устройств
by: Годлевский, А.Б., et al.
Published: (2016)