Сводный каталог книг

[Текст] : Опыт анализа мыслительных актов / Д.А. Поспелов. - Москва : Радио и связь, 1989. - 184 с. : ил. - Библиогр.: с. 179-183. - ISBN 5-256-00183-3 : 0.60 р.

УДК

007

ББК 32.81

Аннотация: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений. Рассматриваются методы рассуждений, опирающиеся на знания и на особенности человеческого языка. Показано, как подобные рассуждения могут применяться для принятия решений в интеллектуальных системах. Для широкого круга читателей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Д.А. Поспелов. - Москва : Наука, 1986. - 284 с. : ил., табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 270-278. - Предм. именн. указ.: с. 279-284. - 2.70 р.

УДК

519.71

ББК З817,0

Аннотация: Ситуационное управление - метод управления сложными техническими и организационными системами, основанный на идеях теории искусственного интеллекта: представление знаний об объекте управления и способах управления им на уровне логико-лингвистических моделей, использование обучения и обобщения в качестве основных процедур при построении процедур управления по текущим ситуациям, использование дедуктивных систем для построения многошаговых решений. Излагается методология ситуационного управления, его теоретические основы и приводятся примеры его конкретных применений. Для специалистов в области теории управления и систем искусственного интеллекта.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Д.А. Поспелов. - Москва : Энергоиздат, 1981. - 231 с. : ил. - Библиогр.: с. 220-226. - 1.70 р.

УДК	681.5.015.20

ББК З81

Аннотация: Излагается логико-лингвистический подход к принятию решений в системах управления. Рассматриваются инженерные приемы реализации такого подхода с помощью ЭВМ. Проблема рассматривается в рамках метода семиотического моделирования. Значительное внимание уделено автоматизации дедуктивного вывода решений по управлению. Круг рассматриваемых приложений - это задачи оперативно-диспетчерского характера. Для научных и инженерно-технических работников, занимающихся АСУ. Может быть полезна инженерам, студентам старших курсов вузов и аспирантам соответствующих специальностей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : На пути к искусственному интеллекту / Д.А. Поспелов. - Москва : Наука, 1982. - 224 с. : ил. - Библиогр.: с. 213-215. - Предм. указ.: с. 216-218 . - 0.35 р., 0.35 р.

ГРНТИ	28.23.01
УДК	62-50

ББК З81я + З 81я9

Аннотация: В книге рассматривается становление идей, приведших к возникновению систем искусственного интеллекта - устройств, способных осуществлять некоторые виды творческой деятельности. Обсуждаются фундаментальные проблемы, составляющие ядро этой новой науки, и дается прогноз ее ближайшего развития. В простой и доступной форме излагаются основные результаты теории интеллектуальных систем и научных проблем в области интегральных роботов. Книга предназначена для широкого круга читателей, интересующихся соврменным развитием кибернетики: школьников старших классов, преподавателей, студентов, лекторов, а также специалистов в тех областях, где внедряются современные ЭВМ.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 3
ИВМ-Фонд (2), ЦНБ-ХР (1)
Свободны: ИВМ-Фонд (2), ЦНБ-ХР (1)

[Текст] : Рассуждения об эволюции человеческого разума / К. Саган. - Москва : Знание, 1986. - 256 с. : ил. - (Переводная научно-популярная литература). - 0.60 р.

ГРНТИ

15.31

ББК Ю923 + Е72


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Поспелов, Д.А. \.\
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

[Текст] : учебное пособие / В. Н. Вагин [и др.] ; под ред. В. Н. Вагина, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 712 с. ; 22 . - Предм. указ.: с. 679-710. - Библиогр.: с. 648-678. - 1500 экз. - ISBN 978-5-9221-0962-8 (в пер.) : 815.00 р.
Допущено Министерством образования Российской Федерации в качестве учебного пособие для вузов по специальностям "Прикладнаяматематика и информатика", "Информатика и вычислительная техника" и специальностям "Прикладная информатика" (по направлениям) и "Прикладная математика и информатиака"

ГРНТИ	28.23
УДК	519.85^V3

ББК З 813я73

Аннотация: Рассмотрены методы достоверного (дедуктивного) и правдоподобного (абдуктивного, индуктивного) выводов в интеллектуальных системах разнообразного назначения. Приведены методы дедуктивного вывода на графовых структурах. Описаны как традиционные, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Дойла, автоэпистемические логики Мура, логики умолчания Рейтера. Приведены основы теории аргументации и методы абдуктивного вывода. Рассмотрены основные особенности построения систем обучения и принятия решений и предоставляются задания обучения "без учителя" и "с учителем". Изложены индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. Во 2-е издание добавлены главы об исчислении изречений и об исчислении предикатов первого порядка, а также о работе с реальными "зашумленными" базами данных в задаче индуктивного формирования понятий.


Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, Вадим Николаевич \ред.\; Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)

[Текст] : справочник : в 3-х кн. - Москва : Радио и связь, 1990. / ред. Д. А. Поспелов. - Москва : Радио и связь, 1990. - 304 с. - Библиогр.: с. 257-303. - 25000 экз. - ISBN 5-256-00368-2 (в пер.) : 1.80 р.

ГРНТИ	50.43
УДК	681.51(03)

ББК З973



Доп.точки доступа:
Поспелов, Д. А. \ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)