ГРНТИ | |
УДК |
Аннотация: Логическое моделирование представляет собой новое направление в разработке моделей предметных областей с большим числом отношений между объектами. Подобные задачи типичны для искусственного интеллекта, когда решение принимается с использованием длинных последовательностей логических правил. Логическое моделирование заменяет программирование в обычном смысле на декларативное описание предметной области с последующей формулировкой задачи в терминах, близких к содержательным. Затем решение ищется автоматически с использованием формальных логических преобразований. Тем самым исключаются такие этапы решения задач, как алгоритмизация, программирование и отладка программ. Приводится теоретический базис и описывается практическая реализация системы логического моделирования. Разбирается большое число примеров. Для студентов, аспирантов и специалистов, желающих познакомиться с логическими методами решения прикладных задач.
Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)