Студопедия — Язык программирования PROLOG
Студопедия Главная Случайная страница Обратная связь

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

Язык программирования 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; просмотров: 856. Нарушение авторских прав; Мы поможем в написании вашей работы!



Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Типовые ситуационные задачи. Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт. ст. Влияние психоэмоциональных факторов отсутствует. Колебаний АД практически нет. Головной боли нет. Нормализовать...

Эндоскопическая диагностика язвенной болезни желудка, гастрита, опухоли Хронический гастрит - понятие клинико-анатомическое, характеризующееся определенными патоморфологическими изменениями слизистой оболочки желудка - неспецифическим воспалительным процессом...

Признаки классификации безопасности Можно выделить следующие признаки классификации безопасности. 1. По признаку масштабности принято различать следующие относительно самостоятельные геополитические уровни и виды безопасности. 1.1. Международная безопасность (глобальная и...

Различия в философии античности, средневековья и Возрождения ♦Венцом античной философии было: Единое Благо, Мировой Ум, Мировая Душа, Космос...

Характерные черты немецкой классической философии 1. Особое понимание роли философии в истории человечества, в развитии мировой культуры. Классические немецкие философы полагали, что философия призвана быть критической совестью культуры, «душой» культуры. 2. Исследовались не только человеческая...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит...

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