 |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
Минимальные требования к правильному переводу
|
|
| одноместному предикату (естественного языка или какой-либо формальной теории) в ЯКЛП1= соответствует формула с одной свободной переменной; двухместному – формула с двумя свободными переменными и т.д. |
Примеры
Выражение быть лично знакомым (с кем-либо) - двухместный предикат: кто? знаком с кем? – нужно уточнить две позиции, чтобы получить предложение по этому выражению. Чтобы отобразить структуру этого выражения в нашем формальном языке, нужно к двухместному предикатному символу присоединить две различные предметные переменные. Например, так: P(x,y), Q(x,z), R(x,y), R(x,y). (Если в скобках после предикатного символа ввести одну и ту же переменную – P(x,х) – тогда был бы задан предикат быть лично знакомым с самим собой.)
Выражение быть лично знакомым с английской королевой Елизаветой II - одноместный предикат: кто? знаком с английской королевойЕлизаветой II – нужно заполнить одну позицию, чтобы получить предложение по этому выражению. Чтобы отобразить структурную информацию этого предиката в ЯКЛП1, нужно ввести одноместный предикат. Сопоставляя этому выражению формулу, можно символизировать все выражение быть лично знакомым с английской королевой Елизаветой II (P1, Q1, R1), а можно указать, что само это выражение составлено из двухместного предиката и логического имени. Второй вариант, разумеется, точнее отразит структуру выражения. Первому варианту соответствуют, например, формулы P(x), Q(z), R(x); второму - R(x,а), R(у,а).
Выражение знать (кого-то) лучше, чем (кого-то) - трехместный предикат: кто знает кого, лучше, чем кого. В ЯКЛП1= структурой этого выражения будут, например, такие формулы P(x,y,z), Q (x1,y,z), P(z,z1,x), R(y1,y3,y2).
Выражение знать (кого-то) лучше, чем английскую королеву Елизавету II - двухместный предикат: кто? знает кого? лучше, чем королеву Елизавету. Ему в ЯКЛП1 можно сопоставить формулы P(x,y,а), Q (у1,y,а), P(z,z1,с) и т.д.
Для того, чтобы правильно отобразить структуру логических имен и предложений естественного языка средствами языка первопорядковой логики предикатов необходимо, (хотя и недостаточно), чтобы были выполнены следующие условия:
| · структура логического имени есть замкнутыйтерм (без переменных); · структура предложения естественного языка есть замкнутая (без свободных переменных) формула |
Если эти условия не соблюдены, вы неправильно отобразили структуру выражения естественного языка. Если же соблюдены, то это еще не означает, что логическая форма выражений найдена правильно. Нужно, чтобы полученный терм или формула в точности воспроизводили структурную информацию рассматриваемого выражения.
Необходимо соблюдать следующие правила (список не полон):
Дата публикования: 2015-01-23; Прочитано: 184 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!
