Cтраница 2
Механизм Пролога представляет собой некоторую Пролог-систему, способную выполнять цели языка Пролог. Хотя мы и не намерены при связывании изменять базовое поведение механизма Пролога ( поиск по стратегии сначала вглубь, унификация, бэктрекинг), однако в этом механизме могли быть расширены некоторые средства с целью их адаптации к среде конкретной системы баз данных. [16]
Случай возвратно-поступательной вибрации стойки является наиболее важным. Теоретический анализ этого случая позволяет выявить характерные особенности влияния вибрации на поведение механизмов с упругими связями. [17]
Так же как и в предыдущих примерах, рассмотрим простейший механизм, представляющий собой сбалансированный маятник с упругими связями. Вначале выясним, как движется этот маятник при условии, что статическая составляющая реакции остается постоянной по величине и направлению, а затем разберем, какое влияние на поведение механизма оказывает то обстоятельство, что реакция jRCT в действительности зависит от положения механизма и характеристик упругих связей и изменяется при его движении. [18]
Схема функционирования интерпретатора. [19] |
Для разрешения конфликта интерпретатор имеет критерий, с помощью которого он выбирает единственное правило, после чего оно срабатывает. Это выражается в занесении фактов, образующих заключение правила, в рабочую память или в изменении критерия выбора конфликтующих правил. Если же в заключение правила входит название какого-нибудь действия, то оно выполняется. Работа машины вывода зависит только от состояния рабочей памяти и от состава базы знаний. На практике обычно учитывается история работы, то есть поведение механизма вывода в предшествующих циклах. Обычно память состояний содержит протокол системы. [20]