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

w10=
Найдено документов в текущей БД: 3
   З973.2-018
   П580

    Логическое моделирование
[Текст] : Монография / С.В. Попов. - Москва : Тровант, 2006. - 256 с. : ил. - Библиогр.: с. 254-255. - ISBN 5-89513-049-6 : 80.00 р.
ГРНТИ
УДК
ББК З973.2-018

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

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

    Моделирование сложных систем по экспериментальным данным
[Текст] : научное издание / А. Г. Ивахненко, Ю. П. Юрачковский. - Москва : Радио и связь, 1987. - 119 с. : ил. - (Кибернетика). - Библиогр.: с. 117-118. - 0.40 р., 0.40 р.
ГРНТИ
УДК
ББК З 817в641
Рубрики:
кибернетика

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

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

Доп.точки доступа:
Юрачковский, Юрий Павлович
Экземпляры всего: 2
ЦНБ-ХР (1), ИХХТ-АБ (1)
Свободны: ЦНБ-ХР (1), ИХХТ-АБ (1)
З 816
Ш23

    Решение логических и игровых задач (логико-психологические этюды)
: научно-популярная литература / С. И. Шапиро. - М. : Радио и связь, 1984. - 153 с. : ил. - (Кибереника). - Библиогр.: с.151 . -Предм. указ.: с. 152. - 0.55 р.
ГРНТИ
ББК З 816


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