Тема 2.6. Логика предикатов

Резюме по теме

Вопросы для повторения

 

1.Зачем нужна математическая модель?

2.Что такое треугольная норма и конорма?

3.Дайте определение лингвистической переменной?

4.Отличаются ли нечеткая переменная и лингвистическая?

5.Каким кортежем определяется лингвистическая переменная?

6.Как осуществляется нечеткий логический вывод?

7.Приведите пример с наливной емкостью с непрерывным управляемым притоком жидкости и непрерывным неуправляемым расходом жидкости?

8.Назовите этапы осуществления логического вывода?

 

 

Рассмотрены сложности построение адекватных математических моделей в процессах принятия решений. Введены нечеткие операторы треугольных норм и конорм. Рассмотрены понятия нечеткой и лингвистической переменных. Дано понятие нечеткого логического вывода. Рассмотрен принцип построения правил для емкости с жидкостью. Показаны и охарактеризованы этапы осуществления логического вывода, начиная с искусственного введения нечеткости и заканчивая преобразованием нечеткого логического вывода к четкому значению.

 

Цель: дать основные понятия логики предикатов.

Задачи:

1. Рассмотреть понятие предиката.

2. Рассмотреть кванторы.

3. Показать выполнимость и истинность.

4. Рассмотреть эквивалентные соотношения и префиксную нормальную форму.

 

Логика предикатов представляет собой развитие логики высказываний. Предикат - повествовательное предложение, содержащее предметные переменные, определённые на соответствующих множествах; при замене переменных конкретными значениями (элементам) этих множеств предложение обращается в высказывание, т.е. принимает значение «истинно» или «ложно».

Обозначение предиката, содержащего n переменных (n-местного предиката): P(x1,x2,…,xn), при этом предполагается, что