Правила Вопросы Пример генеалогическое дерево




НазваниеПравила Вопросы Пример генеалогическое дерево
Дата конвертации04.03.2013
Размер445 b.
ТипПравила



Основные понятия

  • Основные понятия

    • Вводный пример программы
    • Определения согласно нотации БНФ
      • Факты
      • Правила
      • Вопросы
    • Пример – генеалогическое дерево










Символ ::= читается как "по определению","это", "есть". Слева объясняемое понятие, справа - конструкция, разъясняющая его.

  • Символ ::= читается как "по определению","это", "есть". Слева объясняемое понятие, справа - конструкция, разъясняющая его.

  • Пример: <Имя> ::= <Идентификатор>

  • Символ | означает в нотации БНФ "или", он применяется для разделения различных альтернативных растолкований определяемого понятия.

  • Пример: <цифра> ::= 0|1|2|3|4|5|6|7|8|9

  • Часть синтаксической конструкции, заключенная в квадратные скобки, является необязательной (может присутствовать или отсутствовать);

  • Пример: <Целое число> ::= [-]<Положительное целое число>

  • Символ * обозначает, что часть синтаксической конструкции может повторяться произвольное число раз (ноль и более).

  • Пример. <Положительное целое число> ::= <цифра>[<цифра>]*.





Предложение имеет вид: A:- B1,... , Bn

  • Предложение имеет вид: A:- B1,... , Bn

  • где A называется заголовком или головой предложения, а B1,..., Bn - телом.

  • В математической логике отношения принято называть предикатами.

  • Факт констатирует, что между объектами выполнено некоторое отношение. Он состоит только из заголовка. Т.е. это предложение, у которого тело пустое.

  • Пример: известный нам факт, что Наташа является мамой Даши, может быть записан так:

  • mother('Наташа', 'Даша').



Если воспользоваться нормальной формой Бэкуса-Науэра, то предикат можно определить следующим образом:

  • Если воспользоваться нормальной формой Бэкуса-Науэра, то предикат можно определить следующим образом:

  • <Предикат>::=<Имя> | <Имя>(<аргумент>[,<аргумент>]*),

  • т.е. предикат состоит либо только из имени, либо из имени и следующей за ним последовательности аргументов, заключенной в скобки.

  • Аргументом или параметром предиката может быть константа, переменная или составной объект. Число аргументов предиката называется его арностью или местностью. Константа получает свое значение в разделе описания констант, а переменная означивается в процессе работы программы.



Правило - это предложение, истинность которого зависит от истинности одного или нескольких предложений. Обычно правило содержит несколько хвостовых целей, которые должны быть истинными для того, чтобы правило было истинным.

  • Правило - это предложение, истинность которого зависит от истинности одного или нескольких предложений. Обычно правило содержит несколько хвостовых целей, которые должны быть истинными для того, чтобы правило было истинным.

  • В нотации БНФ правило будет иметь вид:

  • <Правило>::=<предикат>:-<предикат>[,<предикат>]*

  • Пример. Известно, что бабушка человека - это мама его мамы или мама его папы.

  • Соответствующие правила будут иметь вид:

  • бабушка(X,Y):-

  • мама(X,Z), мама(Z,Y).

  • бабушка(X,Y):-

  • мама(X,Z), папа(Z,Y).



Переменные - данные, имеющие имя, представляющее собой набор букв и цифр, и обозначающие какой-либо объект/сущность.

  • Переменные - данные, имеющие имя, представляющее собой набор букв и цифр, и обозначающие какой-либо объект/сущность.

  • Имя переменной в Прологе может состоять из букв латинского алфавита, цифр, знаков подчеркивания и должно начинаться с прописной буквы или знака подчеркивания.

  • Свободная переменная - это переменная, которая еще не получила значения. Она не равняется ни нулю, ни пробелу; у нее вообще нет никакого значения. Такие переменные еще называют неконкретизированными.

  • Переменная, которая получила какое-то значение и оказалась связанной с определенным объектом, называется связанной. Если переменная была конкретизирована каким-то значением и ей сопоставлен некоторый объект, то эта переменная уже не может быть изменена.



Вопрос состоит только из тела и может быть выражен с помощью БНФ в виде:

  • Вопрос состоит только из тела и может быть выражен с помощью БНФ в виде:

  • <Вопрос>::=<Предикат>[,<Предикат>]*

  • Вопросы используют для выяснения выполнимости некоторого отношения между описанными в программе объектами. Система рассматривает вопрос как цель, к которой надо стремиться. Ответ на вопрос может оказаться положительным или отрицательным, в зависимости от того, может ли быть достигнута соответствующая цель.



Программа может содержать вопрос в себе (внутренняя цель). Если программа содержит внутреннюю цель, то после запуска программы на выполнение система проверяет достижимость заданной цели.

  • Программа может содержать вопрос в себе (внутренняя цель). Если программа содержит внутреннюю цель, то после запуска программы на выполнение система проверяет достижимость заданной цели.

  • Если внутренней цели в программе нет, то после запуска программы система выдает приглашение вводить вопросы в диалоговом режиме (внешняя цель).

  • Если цель достигнута, система отвечает, что у нее есть информация, позволяющая сделать вывод об истинности вопроса ("Yes"). При этом если в вопросе содержатся переменные, то система либо выдает их значения, приводящие к решению, если решение существует, либо сообщает, что решений нет ("No solution"). Если достичь цели не удалось, система ответит, что у нее нет положительного ответа ("No").



Факты:

  • Факты:

  • mother('Наташа','Даша').

  • mother('Даша','Маша').

  • Вопросы:

  • mother('Наташа','Маша'). => No

  • mother(X, 'Даша'). => X='Наташа';

  • mother(X,Y). => X='Наташа'; Y='Даша';X='Даша‘; Y='Маша';

  • mother(X,_). => X='Наташа'; X='Даша';

  • mother(_,_). => Yes

  • Новое правило:

  • granny(X,Y):- mother(X,Z), mother (Z,Y).

  • ?- granny('Наташа', X).

  • X='Маша';

















Похожие:

Правила Вопросы Пример генеалогическое дерево iconДерево вывода (или дерево разбора) в кс-грамматике g = (T, N, P, S) – дерево, для которого выполнены следующие условия
Кс-грамматике g = (T, N, P, S) дерево, для которого выполнены следующие условия
Правила Вопросы Пример генеалогическое дерево iconПример № Пример №1
Работница оформила отпуск по уходу за ребенком с 1 марта 2011 года, работая в фирме «Сокол»
Правила Вопросы Пример генеалогическое дерево iconНалог на недвижимость Пример Пример
Объект (база) = Брутто-доходы (получаемые от резидентов Латвии), указанные в списке в статье 3 части 3
Правила Вопросы Пример генеалогическое дерево iconПравила личной гигиены Ершова Алёна Хубулова Юлия 11 «А» класс Цель : рассказать о правилах личной гигиены
Личная гигиена неотъемлемая часть гигиены, включает правила гигиенического содержания тела, полости рта, также пользования обувью,...
Правила Вопросы Пример генеалогическое дерево iconПравила поведения за столом Правила пользования столовыми приборами Правила пользования салфетками Правила употребления некоторых блюд
Садиться и вставать из-за стола можно только с разрешения присутствующих; раскачиваться на стуле нельзя
Правила Вопросы Пример генеалогическое дерево iconЭто глагол наст врем., 1 спр., 1-го лица
На могучее дерево, давняя встреча, увидеть дерево, пойти на встречу, колючие кусты, летнее облако, спрятаться в кустах, смотреть...
Правила Вопросы Пример генеалогическое дерево iconПравила работы Настройка приборов Правила измерения Правила обработки результатов Правила оформления лабораторной работы Рабочее окно
Схема, расположенная на монтажном столе, будет сохранена в указанном файле и папке. На монтажном столе схема остается. В дальнейшем,...
Правила Вопросы Пример генеалогическое дерево iconДерево процессов Обзор главы Дерево процессов
Вводятся понятие дерева процессов и алгоритм построения дерева процессов- базовое понятие и базовый алгоритм метавычислений
Правила Вопросы Пример генеалогическое дерево iconПравила оптового рынка Правила розничного рынка и поправки в Основы ценообразования Правила оказания коммунальных услуг в работе
Поправки в фз-35 и Жилищный Кодекс (право на прямые расчеты с рсо, но не прямые договоры) готовится ко второму чтению
Правила Вопросы Пример генеалогическое дерево iconПравила соблюдения личной гигиены. Вопросы для закрепления. Физическое развитие и здоровье Физическое развитие и здоровье

Разместите кнопку на своём сайте:
hnu.docdat.com


База данных защищена авторским правом ©hnu.docdat.com 2012
обратиться к администрации
hnu.docdat.com
Главная страница