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

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

Автор Кузнецов В.Е.
Издательство Наука
Год 1989
Формат DJVU
Рейтинг книги
0.00
(оценок < 5)
0 10

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

Для специалистов в области информатики, вычислительной техники и математической логики.



X