Эксперт

Сергей

Задать вопрос

Мы готовы помочь Вам.

Вариант 1
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
x(y(z P(x,y, z) & (v Q(x,v)  v Q(y,v))))
2. Записать в символьном виде заданное предложение:
«Каждое рациональное число- есть действительное число».

Вариант 2
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
________________________
xy(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Не все студенты получают стипендию».

Вариант 3
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
xy(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Некоторые клиенты банка не возвращают кредит».

Вариант 4
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
____ ___
x(y(P(x,y) (zR(x)&F(z)Q(x)))).
2. Записать в символьном виде заданное предложение:
«Банк выдает кредит некоторым клиентам под 30 % годовых».

Вариант 5
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
________________________
x(y(P(x,y) (z Q(z)  R(x))).
2. «Существуют бухгалтера, которые ошибаются в расчетах».

Вариант 6
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
_____________________
xy(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Все вкладчики простого вклада могут снять свои сбережения в любое время».

Вариант 7
1. Преобразовать заданную форму в предваренную нормальную фор-му, а затем привести к стандартному виду:
________________________
x(y(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Некоторые платежные поручения задерживаются при прохождении че¬рез РКЦ».

Вариант 8
1. Преобразовать заданную форму в предваренную нормальную фор-му, а затем привести к стандартному виду:
________________________
x(y(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Все малые предприятия должны пройти перерегистрацию в налоговой полиции и в министерстве юстиции».

Вариант 9
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
________________________
x(y(P(x,y) (z Q(z)  R(x)))

2. Записать в символьном виде заданное предложение:
«Некоторые малые предприятия скрывают свои доходы».

Вариант 10
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
______________________
x(y(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Практически любую базу можно построить в FOXPRO и применить для решения экономических задач ».

Вариант 11
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
____ __________
x(y(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
« Все обменные пункты обменивают доллар по курсу 1:29».

Вариант 12
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
_____________
xyv(P(x,y,v) (z Q(z)  R(z))).
2. Записать в символьном виде заданное предложение:
«Все условия оплаты по закону отличаются от условий оплаты , пред-ло¬женных малым предприятием ».

Вариант 13
1. Преобразовать заданную форму в предваренную нормальную фор-му , а затем привести к стандартному виду:
__________
xy(P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«Налоговая полиция ищет фирму, которая присвоила деньги, не за-пла¬тив налоги на прибыль ».

Вариант 14
1. Преобразовать заданную форму в предваренную нормальную форму , а затем привести к стандартному виду:
________
x(y P(x,y) (z Q(z)  R(x))).
2. Записать в символьном виде заданное предложение:
«У каждого солидного клиента банка имеется валютный счет , кото-рый заморожен на ближайшие полгода ».

Вариант 15
1. Преобразовать заданную форму в предваренную нормальную форму, а затем привести к стандартному виду:
________ ____
y(x P(x,y) ((z Q(z)  R(x))VF(z)))
2. Записать в символьном виде заданное предложение:
«Все клиенты коммерческого банка потеряли свои вклады на 20 % и не смогли расплатиться со своими поставщиками».

Контрольные вопросы

1. Что предоставляет логика предикатов?
2. Что называется предикатом?
3. Что является аргументом?
4. Для чего используются кванторы?
5. Для чего используются кванторы?
6. Приведите стандартные кванторы и их интерпретацию?
7. Приведете пример описания с помощью логики предикатов 1-го по¬рядка базы знаний
8. В чем заключается правило вывода modus penons?
9. Суть и назначение методы резолюции?
10. Этапы приведения произвольной формулы логики предикатов 10го порядка к клазуальной форме.