Представление в ЭВМ неформальных процедур
 |
|
Описание:
Неформальные процедуры, выполняемые человеком, обладают рядом специфических особенностей, существенно затрудняющих их представление в ЭВМ с помощью алгоритмических языков программирования. Предлагаемая книга посвящена исследованию неалгоритмических аспектов представления неформальных процедур. В качестве модели представления знаний используется продукционная система, т.е. система правил, каждое из которых имеет вид "если. . ., то.. .. Продукционный подход к представлению знаний иллюстрируется языками Рефал и Пролог. Обсуждается реализация режима возвратов и логического вывода средствами продукции. Особое внимание уделяется такому неформальному аспекту, как уместность действий в условиях многозначности. Для реализации уместности действий вводится понятие исключения из правила. При этом используется аппарат К-систем, представляющий собой нефинитное обобщение канонических исчислений Поста. Для специалистов в области информатики, вычислительной техники и математической логики.Похожие книги
 | Теневая экономика в Латвии Автор: Тюрина А. Год: 2005 |
 | Налоговые процедуры Автор: А. Н. Козырин, В. А. Кинсбурская, А. В. Реут, О. Ю. Семенча Год: 2008 |
 | Opel Vectra 2002-2005.Ремонт и техническое обслуживание Автор: Дж. Мид Год: 2009 |
 | Peugeot 206с 2002 г. Ремонт и техническое обслуживание Автор: Питер Гилл Год: 2011 |
 | Внешнее управление на несостоятельном предприятии Автор: Г. Б. Юн, Г. К. Таль, В. В. Григорьев Год: 2003 |