Навигация
Главная
Поиск
Форум
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 65535
ТЕХНОЛОГИИ ДОСТ... 64118
Имитационное мо... 58773
Реклама
Сейчас на сайте
Гостей: 3
На сайте нет зарегистрированных пользователей

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

Движение шарика в эллиптическои параболоиде на Delphi [OpenGL] + Блок схемы
Поиск пути в графе заданном списками инцедентности на Turbo Pascal
Метод половинного деления для нахождения корня уровнения на Turbo Pascal...

Реклама



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

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


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



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

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

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

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

Пароль



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

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

Случайные загрузки
PDJXPPack
Web Регистрация
TrayIcon
PHP 5 в подлинник...
Visual Studio 200...
Игра Car [Исходни...
Zoom [Исходник на...
Crypt32
Программа для рис...
SendSMS для PHP-F...
Создание отчетов ...
Программирование ...
Форма в форме
CABfiles
Delphi 6 программ...
Время загрузки ...
ICQ
WinAmp
Plasma
Dreamsoft Progres...

Топ загрузок
Приложение Клие... 100497
Delphi 7 Enterp... 88583
Converter AMR<-... 20084
GPSS World Stud... 13982
Borland C++Buil... 12254
Borland Delphi ... 8760
Turbo Pascal fo... 7062
Visual Studio 2... 5007
Калькулятор [Ис... 4980
FreeSMS v1.3.1 3547
Случайные статьи
Списки управления ...
Дизъюнкция целей
Класс TBitmap
Работа с обслужива...
Дополнительная лит...
Способы обнаружени...
Министерство нацио...
Точность подачи ко...
На практике
Запуск закачки
Игровые автоматы. ...
Обработка ошибок
Измерение длительн...
Сущность имитацион...
Географические диа...
Настройка событий ...
Удаление узлов в D...
'iглавный офис кот...
Операционная систе...
Вращение AVL-дерев...
Удаление индекса (...
Ленивая реализация
Ввод-вывод на прим...
Структура
Предпосылки создан...
Статистика



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


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