Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Пример работы с... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Создание отчето... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Модуль Forms 65438
ТЕХНОЛОГИИ ДОСТ... 62417
Имитационное мо... 58032
Реклама
Сейчас на сайте
Гостей: 5
На сайте нет зарегистрированных пользователей

Пользователей: 13,089
новичок: duskob67
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

База данных - словарь терминов на Delphi + Пояснительная записка
Моделирование ЭВМ на GPSS (три класса заданий) + Пояснительная записка
Моделирование процесса обработки заданий на вычислительном центре на GP...

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
ПРАВИЛА
С помощью отношений, которые составляют начальную базу знаний, можно конструировать более сложные и более общие отношения. Например, с помощью отношений 'мясо' и 'рыба', выражающих то, что их аргумент является вторым мясным или рыбным блюдом, можно определить отношение 'блюдо': "Блюдо - это второе мясное или рыбное блюдо", что записывается на Прологе в виде двух правил следующим образом:
'блюдо'(Y):-'мясо'(Y).
'блюдо'(Y):-'рыба'(Y).



и читается так: "Y является блюдом, если Y - второе мясное блюдо, или Y является блюдом, если Y - второе рыбное блюдо". Последовательность двух правил означает их дизъюнкцию (операцию "или": первое правило или второе). Область действия переменной ограничена правилом, в котором она определена. Поэтому переменная из первого правила никак не связана с переменной Y из второго. Вопрос "Что является блюдом?", выраженный в виде:
?-'блюдо'(X).



вызовет следующие ответы:
Y='говяжье_жаркое'->;
Y='цыпленок_в_липовом_цвете'->;
. . .
Y='окунь_во_фритюре'->;
Y='фаршированный_судак'->;
no
?-



Можно построить и более сложные правила. Займемся теперь составлением обеда, в который входят закуска, второе блюдо (мясное или рыбное) и десерт. Обед является, следовательно, тройкой (X,Y,Z), где X - закуска, Y - блюдо, Z- десерт. В Прологе это выражается очень естественно в виде следующего правила:
/* Определение отношения "обед" */
'обед'(X,Y,Z):-'закуска'(X),'блюдо'(Y),'десерт'(Z).
Оно читается так: "X,Y,Z удовлетворяют отношению 'обед', если X удовлетворяет отношению 'закуска', Y удовлетворяет отношению 'блюдо' и Z удовлетворяет отношению 'десерт'. Формально говоря, мы определили новое отношение как конъюнкцию (операцию 'И') трех других отношений, как конъюнкцию предикатов.
На вопрос "Что является обедом?":
?-'обед'(X,Y,Z).



интерпретатор ответит:
X='артишоки в белом соусе'
Y='говяжье жаркое'
Z='грушевое мороженое'->;
X='артишоки в белом соусе'
Y='говяжье жаркое'
Z='земляника со взбитыми сливками'->;
...................................
no
?-



(т.е. выдаст список всех 36 возможных комбинаций из трех блюд. Попробуйте это выполнить).
Правила описывают зависимость некоторого отношения от группы других отношений (зависимость предиката от группы других предикатов), называемых условиями (или целевыми утверждениями). Правило соответствует условному высказыванию (импликации) и имеет следующую синтаксическую структуру:

Правило состоит из заголовка и тела правила. Заголовок и тело соединяются с помощью символа ":-", соответствующего в русском языке слову "если". Правила также заканчиваются точкой. Заголовок правила описывает отношение, для определения которого предназначено правило. Тело правила представляет собой конъюнкцию предикатов (целевых утверждений), которые должны быть последовательно согласованы с базой знаний для того, чтобы заголовок правила был истинным. Предикаты (цели) в теле правила разделяются запятыми. Правило - это некоторое общее утверждение. Оно описывает закономерность, свойственную не какому-то конкретному объекту, а целому классу объектов. Поэтому в аргументы правил входят переменные. Правило можно рассматривать как отношение разбиения сложной задачи (цели) на более простые подзадачи (подцели).
Примеры правил:
'любит'(X,'баскетбол'):-'любит(X,'бег').
/* X любит баскетбол, если X любит бегать */
'можно купить'(X):-'есть в магазине'(X,V),V<3000.
/* можно купить X, если X есть в магазине и стоит меньше 3000р. */
'старше'(P1,P2):- 'возраст'(P1,V1),
'возраст'(P2,V2),
V1>V2.
/*субъект P1 старше субъекта P2,если его возраст больше возраста P2*/















Опубликовал Kest November 03 2009 18:38:42 · 0 Комментариев · 5636 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Globus VCL Extent...
Применение жадног...
Распознавание иде...
Задача о 8ми ладьях
Последнее загруж...
Мод "проверочный ...
C++ Builder 6 СПР...
Шейдеры в Delphi
Запрет гостям ск...
Java Server Pages...
Библия хакера 2. ...
Функции Visual Basic
39 статьи по Delphi
Ранги для форума
DiZsubmit
Фильтры изображений
Архив Апгрейтов с...
CoolDev TipsSyste...
Программирование ...
Пример клиента ФТ...

Топ загрузок
Приложение Клие... 100474
Delphi 7 Enterp... 87523
Converter AMR<-... 20081
GPSS World Stud... 13130
Borland C++Buil... 11948
Borland Delphi ... 8639
Turbo Pascal fo... 7042
Visual Studio 2... 5002
Калькулятор [Ис... 4863
FreeSMS v1.3.1 3544
Случайные статьи
СGІ-запрос
Полная статистика ...
Краткая таблица зн...
Приложение «Просте...
Применение CSS в X...
Создание примера п...
Использованные про...
Для функций, объяв...
решения для выделе...
Генератор случайны...
Обмен ссылками, за...
Разрешение фотогра...
Создадим свой перв...
Блок ADVANCE
Guide Plus+
Методы поиска реше...
10.2. Пример
Арифметические ком...
Аппаратные IP-теле...
Язык С: оператор s...
Листинг 15.12. Бре...
Доступ к переменны...
Error in real cons...
Рекурсивное постро...
PowerShell для Вин...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?