Информатика -продвинутый курс



         

. МОДЕЛИРОВАНИЕ РАССУЖДЕНИЙ


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

Предикат - это конструкция вида P(t1, t2, ..., tn), выражающая какую-то связь между некоторыми объектами или свойствами объектов. Обозначение этой связи или свойства, Р,

называют «предикатным символом»; t1,

t2, .... tn обозначают объекты, связанные свойством (предикатом) Р

и называют термами.

Термы могут быть только трех следующих типов:

1) константа (обозначает индивидуальный объект или понятие);

2) переменная (обозначает в разное время различные объекты);

3) составной терм – функция f(t1, t2, … tn), имеющая в качестве своих аргументов m

термов t1, t2, … tm.

Примеры.

1. Предложение «Волга впадает в Каспийское море» можно записать в виде предиката

впадает (Волга, Каспийское море).

«Впадает» - предикатный символ; «Волга» и «Каспийское море» - термы-константы. Мы могли обозначить отношение «впадает» и объекты «Волга» и «Каспийское море» символами.

Вместо термов-констант можно рассматривать переменные:

впадает (Х, Каспийское море)

или

впадает (X,Y).

Это тоже предикаты.

2. Отношение х

+ 1 < у можно записать в виде предиката А(х,у). Предикатный символ А здесь обозначает то, что останется от x

+ 1 < у, если выбросить из этой записи переменные х и у.

Итак, предикат - это логическая функция, принимающая значения «истина» или «ложь» в зависимости от значений своих аргументов.


Содержание  Назад  Вперед