519.8 Д706 Достоверный и правдоподобный вывод в интеллектуальных системах : учеб. пособие для вузов по напр. "Прикл. математика и информатика", "Информатика и вычисл. техника" / Под ред. В.Н. Вагина, Д.А. Поспелова. - Изд. 2-е, испр. и доп. - М. : ФИЗМАТЛИТ, 2008. - 710 с. : ил. - ISBN 978-5-9221-0962-8 : 660 р. Допущено МО РФ ГРНТИ 28.29.03 28 УДК:519.816(075.8)007(075.8) Ключевые слова: интеллектуальные системы -- достоверный вывод -- правдоподобный вывод -- формальные системы -- автоматическое доказательство теорем -- вывод на графе связей -- вывод на графе дизъюнктов -- вывод на аналитических таблицах -- вывод на иерархических структурах -- аргументация -- абдукция -- монотонные модальные логики -- немонотонные модальные логики -- логическое программирование -- индукция -- обобщение -- учебные пособия Доп.точки доступа: Вагин, Вадим Николаевич \ред.\ --- Поспелов, Дмитрий Александрович \ред.\ --- Экземпляры всего: 5 Mесто хранения: чз (3), аб (2) Свободны: чз (3), аб (2) |
6П2.154 П627 Поспелов, Дмитрий Александрович. Логико-лингвистические модели в системах управления : научное издание / Д. А. Поспелов. - М. : Энергоиздат, 1981. - 231 с. : ил. - 1.70 р. ГРНТИ 50.47 УДК:681.5 Ключевые слова: системы управления -- логико-лингвистические модели -- реляционные языки -- предикатные языки -- ситуационное управление -- семиотические модели Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
6П2.154 П627 Поспелов, Дмитрий Александрович. Ситуационное управление : Теория и практика / Д. А. Поспелов. - М. : Наука, 1986. - 288 с. : ил. - (Проблемы искусственного интеллекта). - 2.70 р. ГРНТИ 50 УДК:681.51 Ключевые слова: ситуационное управление -- искусственный интеллект Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
6П2.154 В188 Варшавский, Виктор Ильич. Оркестр играет без дирижера : Размышления об эволюции некоторых техн. систем и упр. ими / В. И. Варшавский, Д. А. Поспелов. - М. : Наука, 1984. - 207 с. - (Проблемы науки и технического прогресса). - 0.65 р. ГРНТИ 50.43 УДК:681.51 Ключевые слова: управление техническими системами -- децентрализованное управление Доп.точки доступа: Поспелов, Дмитрий Александрович --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |
6П2.154 З-382 Захаров, Валерий Николаевич. Системы управления : Задание. Проектирование. Реализация / В. Н. Захаров, Д. А. Поспелов, В. Е. Хазацкий. - 2-е изд., перераб. и доп. - М. : Энергия, 1977. - 423 с. : ил. - 2.50 р. В б-ке есть изд. 1972 г. ГРНТИ 50.43 УДК:681.52 Ключевые слова: ЭВМ -- формальные задания -- технические задания -- экономическая эффективность систем Доп.точки доступа: Поспелов, Дмитрий Александрович --- Хазацкий, Вилий Ефимович --- Экземпляры всего: 3 Mесто хранения: кх (3) Свободны: кх (3) |
6П2.154 П627 Поспелов, Дмитрий Александрович. Логические методы анализа и синтеза схем : научное издание / Д. А. Поспелов. - 2-е изд., перераб. и доп. - М. : Энергия, 1974. - 368 с. - 1.16 р. ГРНТИ 50.43 УДК:681.58 Ключевые слова: дискретные системы -- анализ логических элементов -- синтез логических элементов Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |