Студопедия Главная Случайная страница Задать вопрос

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Язык программирования PROLOG




Общие положения

 

PROLOG (Пролог) – язык программирования, созданный специально для работы с базами знаний, основанными на фактах и правилах. В языке Пролог реализован механизм возврата для выполнения обратной цепочки рассуждений (от целей к фактам). При этом вначале предполагается, что некоторые выводы или заключения верны, а затем эти предположения проверяются. Если предположение не подтверждается, выполняется возврат в исходную точку (точка возврата - ТВ) и выдвигается новое предположение. Находятся все возможные решения. При необходимости число вариантов ответа ограничивается средствами языка.

 

00. = =0, = =0. Из исходных данных ( )=1 (числитель первого элемента множества ), ( )=0 (то же для ). В этом случае > и ( , )= ( ) ( )=1 0=0.

10. = =0, = =1; ( )=1, ( )=0; ( , )=0.

20. = =0, = =2; ( )=1, ( )=0.2; ( , )=0.2

и т. д.

 
 


01. = =1, = =0; ( )=0.8, ( )=0; ( , )=0 и

т. д.

Значения для всех пар ( , ) сведем в таблицу отношения ( ( ), ( )) – табл.10.2.

 

Таблица 10.2. Значения ( ( ), ( ))

 

   
0.2 0.4 0.8 0.8 0.4 0.2
0.2 0.4 0.2 0.4 0.2
0.2 0.4 0.4 0.4 0.4 0.4 0.2
0.2 0.6 0.6 0.6 0.2
0.8 0.8 0.8 0.8 0.8

 

Предпосылка Пр2 есть ( ( ))= . Тогда следствие ( ( ))= = ( ( ), ( ))= [ ( )Ù( ( ) ( ))]/ = [ (

Ù ( , )]/ , где [ ( ( , )]= ( ). По аналогии с предыдущим алгоритмом имеем:

00. = =0, = =0; ( )=1, ( , )=0. В этом случае

( ( , )=1Ù0=0= .

X=виктор, Y=даша

X=владимир, Y=виктор

X=владимир, Y=сергей.

На запрос отец(виктор,Y) Пролог отвечает:

Y=таня

Y=оля

Y=даша.

На вопрос отец(виктор,владимир) Пролог отвечает:

False.






Дата добавления: 2014-11-10; просмотров: 164. Нарушение авторских прав

Studopedia.info - Студопедия - 2014-2017 год . (0.092 сек.) русская версия | украинская версия