Процедурная интерпретация

Cтраница 1

Процедурная интерпретация придает операционный характер логическим программам. Суть ее заключается в том, чтобы рассматривать целевые утверждения как множества вызовов процедур, каждый из которых обрабатывается посредством обращения к соответствующей процедуре. В этом отношении процедурная интерпретация очень похожа на процедурные семантики многих традиционных языков программирования. Она позволяет, в частности, смотреть на исполнение логических программ с алгоритмической точки зрения, а не только с точки зрения логического вывода. Понятие процедурной интерпретации является, возможно, наиболее важным достижением в вычислительной логике, которое позволило рассматривать логику как язык программирования. [1]

Хотя теперь грамматика имеет корректную процедурную интерпретацию, процесс построения удовлетворительного дерева разбора становится неочевидным. [2]

В логическом программировании и продукционных системах - процедурная интерпретация правила вида если А то В, при которой добавление в базе знаний факта А вызывает добавление в нее факта В. [3]

В логическом программировании и продукционных системах - - процедурная интерпретация правила вида если А то В, при которой добавление в базу знаний факта А вызывает добавление в нее и факта В. [4]

Функционирование отсечения может быть описано только в терминах процедурной интерпретации ПРОЛОГ-программ. Это означает, что ответственность за последствия использования отсечения и управление вычислением возлагается на программиста. Необходимость включения отсечения в состав языка ПРОЛОГ постоянно оспаривается теми, кто хочет видеть ПРОЛОГ чисто логическим языком программирования. Эти возражения опираются на следующие доводы. [5]

Для программной реализации очень важен тот факт, что дизъюнкты Хорна обладают простой процедурной интерпретацией. Дизъюнкты типа (5.34) и (5.36) интерпретируются как процедуры, а типа (5.38) - как целевые утверждения. Тогда каждый шаг обратного рассуждения есть управление вызовами процедуры, которое начинается с выделения вызова некоторой процедуры С, ( О из текущей цели. Унификатор 9 применяется к результату. [6]

В грамматике, определяемой утверждениями, не следует использовать отсечение, так как оно имеет сугубо процедурную интерпретацию и не решает проблемы неоднозначности. [7]

Всегда следует держать в памяти следующий вопрос: Обязан ли я воспользоваться предикатом / 2, как того требует процедурная интерпретация моей программы, или же можно обойтись простым сопоставлением. [8]

Инструментарий программиста, работающего с Прологом. [9]

Цель части 1 этой книги состояла в том, чтобы научить вас писать процедуры, которые декларативно правильны и имеют содержательную процедурную интерпретацию. [10]

В это же самое время Колмероэ и его исследовательская группа разработали при помощи системы программирования ФОРТРАН язык программирования, предназначенный для доказательства теорем и реализующий процедурную интерпретацию Ковальского. [11]

Например, последнее утверждение в процедуре дЖ предиката сжать / 4 определяет, как получить следующую букву выходного кода, но при этом декларативная трактовка должна быть ограничена процедурной интерпретацией. Согласно этой интерпретации последнее утверждение устанавливает, что отношение между входными и выходными аргументами имеет место только тогда, когда в каждом предшествующем утверждении проверка условий дала отрицательный результат. [12]

Модель онтологии должна обеспечивать: а) представление множества понятий в виде сетевой структуры; б) отображение достаточно богатого множества отношений, включающего не только таксономические отношения, но и отношения, отражающие специфику предметной области; в) использование декларативных и процедурных интерпретаций и отношений. [13]

Вторая глава имеет более вычислительный характер. В ней рассматривается главным образом процедурная интерпретация логики и показывается, как знакомые алгоритмические процессы извлекаются интерпретатором из логических программ. III и IV приводятся прагматические и стилистические соображения по поводу структурирования программ и данных. Таким образом, главная задача первой половины книги - объяснить, как следует понимать и составлять логические программы. [14]

Порядок перечисления предпосылок Р не имеет значения, поскольку Pt л Р2 эквивалентно Р2 л Р в любой стандартной логике. Однако порядок перечисления предпосылок влияет на процедурную интерпретацию таких правил, поскольку он материализуется в логическом программировании. Аналогично, порядок применения правил для достижения определенной цели будет влиять на порядок формирования подцелей. [15]

Страницы: 1 2