Навигация
Главная
Поиск
Форум
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
Создание отчето... 63604
Модуль Forms 63403
ТЕХНОЛОГИИ ДОСТ... 60204
Пример работы с... 59316
Имитационное мо... 55643
Реклама
Сейчас на сайте
Гостей: 14
На сайте нет зарегистрированных пользователей

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

Моделирование литейного цеха на GPSS + Пояснительная записка
Моделирование интернет кафе на GPSS + Отчет
Моделирование круглосуточного интернет кафе на GPSS + Отчет

Реклама



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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
Dynamic Titles дл...
PHP 5. Полное рук...
32 урока по Delphi
DCMintry
Degisy Data Acces...
Blobs [Исходник н...
Delphi 2005 для W...
Assistant
AdBlaster v2.5 - ...
PHP 5 в подлинник...
Java в примерах -...
MP3 Архив v.2.0
ZipTV
Задача о 8ми ладьях
SMLPack v1.0
ComboBox97
Современное проек...
Exe in exe
PCXReader. Програ...
Blib [Исходник на...

Топ загрузок
Приложение Клие... 100444
Delphi 7 Enterp... 85626
Converter AMR<-... 20065
GPSS World Stud... 12475
Borland C++Buil... 11530
Borland Delphi ... 8481
Turbo Pascal fo... 7020
Visual Studio 2... 4987
Калькулятор [Ис... 4728
FreeSMS v1.3.1 3533
Случайные статьи
MixColumn
Графическая система
Часть 1. Проблема
Класс Exception и ...
Экспертная система
потоками, могущими...
Формат потока ввод...
Определение сложно...
кроме субботы с 18...
Процедура SetGraph...
Найдите лучшие RTP...
ВЗЛОМ NT
быть применены в д...
Реализация механиз...
Записи Android-при...
Пример программы —...
Функции из библиот...
При проигрывании DVD
Пример программы —...
3.2. АНТИПАТТЕРН: ...
Листинг 13.22. Фун...
Есть несколько ста...
Проходящая через и...
Применение фреймов
Реализация контейн...
Статистика



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


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