Навигация
Главная
Поиск
Форум
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
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Создание отчето... 64931
Модуль Forms 64732
Пример работы с... 62923
ТЕХНОЛОГИИ ДОСТ... 61436
Имитационное мо... 57278
Реклама
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

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

Моделирование интернет кафе на GPSS + Отчет
Расчет размера дохода на одного человека в Turbo Pascal
Изменения контуров и сортировка в двумерном массиве чисел на Turbo Pasca...

Реклама



Подписывайся на 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 Комментариев · 5589 Прочтений · Для печати

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Delphi. Разработк...
Профессиональное ...
Защита от спама ...
CaptionButton
Добавление к ссы...
WordReport
Tag Игра "Пятнашк...
Модифицированная ...
Pirc
index.php + мод ...
Пример работы с б...
SMExport
Matrix2D
iChat v.7.0 Final...
Мод "register.php...
Просмотр файлов и...
Современное проек...
IIIDTrans
Панель статистики...
Импорт новостей ...

Топ загрузок
Приложение Клие... 100461
Delphi 7 Enterp... 86551
Converter AMR<-... 20075
GPSS World Stud... 12608
Borland C++Buil... 11733
Borland Delphi ... 8550
Turbo Pascal fo... 7036
Visual Studio 2... 4997
Калькулятор [Ис... 4756
FreeSMS v1.3.1 3540
Случайные статьи
Разновидности Б-де...
Наслаждайтесь рабо...
Работа с MySQL в P...
Поиск суммы элемен...
Какова настройка м...
определена данная ...
Блокировка файлов
Использование XHTM...
Использование CRON...
Изменение значений...
Раздел Uses
Поле адреса 1 байт
Тотальный мониторинг
14-29):Табл
Практические совет...
Процедуры проверки...
7.12. Отображение...
Поиск решения на г...
Оба подхода в данн...
Погружение LISP в ABC
Некоторые ограниче...
2. RADIUS-прокси т...
Добавление и удале...
Протокол Х.21 - чт...
ASM expected
Статистика



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


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