Cтраница 3
Будем предполагать, что порядок фактов во внешней памяти базы данных не имеет значения. Когда же факты помещаются в основную память базы данных Пролога, их порядок становится существенным. Таким образом, сохраняется традиционная семантика Пролога, что особенно важно при организации бэктрекинга. [31]
Заметим, что в данном интерфейсе не осуществляется ни кэширование данных, ни кэширование запросов. При каждом обращении к отношению базы данных или взгляду взаимодействие реализуется с помощью общих переменных, означиваемых при обращении. Интерфейс базы данных управляет результатом выполнения запросов и обеспечивает унификацию со следующим кортежем при бэктрекинге. Тем не менее система производит компиляцию запроса и связывание во время выполнения предиката db connect. В результате выполнения второго предиката удаляется только один ( случайно выбранный) сопоставимый кортеж. Третий предикат удаляет все сопоставимые кортежи. [32]
В используемых нами терминах причиной неудач являются предположения, т.е. недоказуемые утверждения. Поэтому при обнаружении неудачи необходимо возвращаться в состояние, где это предположение было сделано, и испытывать другое предположение. По этой причине данный метод поиска называют поиском, направляемым зависимостью. Иногда этот метод называют управляемым зависимостью бэктрекингом, а традиционный бэктрекинг называют хронологическим ( временным) бэктрекингом. [33]
Множество кортежей возвращается целиком. При этом кортежи помещаются в резидентную в оперативной памяти базу данных Пролога, после чего работа механизма Пролога возобновляется с первого кортежа множества. При бэктрекинге механизм Пролога обнаружит следующий кортеж, удовлетворяющий заданной цели, уже в основной памяти. Следовательно, в этом случае сопоставление и бэктрекинг на предикатах базы данных находятся под управленем механизма Пролога. [34]
В используемых нами терминах причиной неудач являются предположения, т.е. недоказуемые утверждения. Поэтому при обнаружении неудачи необходимо возвращаться в состояние, где это предположение было сделано, и испытывать другое предположение. По этой причине данный метод поиска называют поиском, направляемым зависимостью. Иногда этот метод называют управляемым зависимостью бэктрекингом, а традиционный бэктрекинг называют хронологическим ( временным) бэктрекингом. [35]
Метод обеспечивает получение всех решений. Если пространство поиска не удается факторизовать, но при этом не требуется получать все решения или выбирать лучшее, то могут быть применены методы, использующие иерархию однородных абстрактных пространств. Эффективность этого метода определяется возможностью использовать безвозвратную стратегию. В тех случаях, когда решение задачи не может быть получено без бэктрекинга, применяются более сложные методы. Этот подход позволяет приостанавливать решение подзадачи, для которой не достает информации, переходить к решению другой подзадачи и возвращаться к исходной задаче, когда отсутствующая информация станет доступной. Следует отметить, что использование данного подхода требует более разнообразных знаний о решении задачи, чем в предыдущих случаях. Принцип наименьших свершений может приводить к образованию тупиков в процессе решения задачи, что препятствует использованию этого принципа в чистом виде. [36]
В используемых нами терминах причиной неудач являются предположения, т.е. недоказуемые утверждения. Поэтому при обнаружении неудачи необходимо возвращаться в состояние, где это предположение было сделано, и испытывать другое предположение. По этой причине данный метод поиска называют поиском, направляемым зависимостью. Иногда этот метод называют управляемым зависимостью бэктрекингом, а традиционный бэктрекинг называют хронологическим ( временным) бэктрекингом. [37]
При достижении терминального состояния необходимо вернуться в некоторое предыдущее состояние пространства и продолжить поиск в новом направлении. Бэктрекинг работает по принципу last-in, first-out ( последним вошел, первым вышел), т.е. сначала устраняется последнее рассматриваемое состояние, для реализации которого может быть применен механизм стека. [38]
Система EL предназначена для расчета параметров электрических схем. Система, используя законы Ома и Кирхгофа, осуществляет поиск решения в направлении от данных на основе символических рассуждений. В ходе рассуждений система использует предположения. Если в результате предположений возникает противоречие, то система отбрасывает не все предположения, а те, которые наименее вероятны с точки зрения проблемной области. При организации поиска используется бэктрекинг, управляемый зависимостью. [39]
При достижении терминального состояния необходимо вернуться в некоторое предыдущее состояние пространства и продолжить поиск в новом направлении. Обычно при реализации поиска использовался бэктрекинг. Этот механизм восстанавливает состояние, непосредственно предшествующее текущему, и затем выбирает очередную альтернативу. В связи с тем, что бэктрекинг работает по принципу last-in, first-out, т.е. сначала устраняется последнее рассматриваемое состояние, для его реализации может быть применен стек. [40]
Система R1 разбивает общую задачу на шесть подзадач. Порядок, в котором вызываются эти задачи, зависит от заказанной конфигурации. Действия, выполняемые каждой подзадачей, зависят от комбинации заказанных компонент и способа их взаимосвязи. В системе каждой подзадаче соответствует свой набор правил, т.е. каждая подзадача решается в своем подпространстве. Поиск в R1 осуществляется с помощью безвозвратной стратегии поиска [ Нильсон, 1980, § 1.1 ], т.е. без использования бэктрекинга. [41]
Кортежи возвращаются по одному. Как правило, это реализуется с помощью разделяемых средой Пролога и интерфейсом базы данных переменных. При каждом взаимодействии с интерфейсом базы данных разделяемым переменным присваиваются новые значения. На практике соспоставлением этих переменных управляет не механизм Пролога, а интерфейс базы данных. Это означает, что интерфейс базы данных должен сохранять текущий контекст поиска и обеспечивать возможность присвоения разделяемым переменным очередных значений при бэктрекинге. [42]
При достижении терминального состояния необходимо вернуться в некоторое предыдущее состояние пространства и продолжить поиск в новом направлении. Обычно при реализации поиска использовался бэктрекинг. Этот механизм восстанавливает состояние, непосредственно предшествующее текущему, и затем выбирает очередную альтернативу. В связи с тем, что бэктрекинг работает по принципу last-in, first-out, т.е. сначала устраняется последнее рассматриваемое состояние, для его реализации может быть применен стек. [43]