libcats.org
Главная

Представление в ЭВМ неформальных процедур

Обложка книги Представление в ЭВМ неформальных процедур

Представление в ЭВМ неформальных процедур

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

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

The Invention of Love

Автор:
Размер книги: 411 Kb

Global Environmental Change and Human Security

Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Биология, Экология
Размер книги: 1.27 Mb

The Power Of Now - A Guide To Spiritual Enlightenment

Автор:
Размер книги: 7.51 Mb