Студопедия

КАТЕГОРИИ:


Загрузка...

Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

ЗАНЯТИЕ 5. ПЕРЕВОД ВЫСКАЗЫВАНИЙ ЕСТЕСТВЕННОГО ЯЗЫКА НА ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ




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

В естественном языке слово “все” обычно опускается.

Так, например, “Рыбы дышат жабрами” означает, что все рыбы дышат жабрами или, что каждая рыба дышит жабрами. Если обозначить , а , то при символизации фразы “Рыбы дышат жабрами” необходимо использовать квантор всеобщности: .

 

Однако не в каждом случае слова “все” понимаются как “каждый”. Например, предложение “Все песчинки образуют кучу песка” вовсе не означает, что каждая песчинка образует кучу песка. В этом случае употреблять квантор всеобщности нельзя.

Рассмотрим особенности перевода на язык исчисления предикатов следующих выражений: “Все студенты отличники” и “Некоторые студенты отличники”.

Первое выражение может быть перефразировано так: “Для всех справедливо, если - студент, то - отличник”. Перевод этой фразы будет таким: , где - “ - студент”, - “ - отличник”.

Второе выражение может быть перефразировано так: “Для некоторых справедливо: - студент и - отличник”. Перевод этой фразы будет таким: . Использование в этом случае конструкции: “Для некоторых справедливо: если - студент, то - отличник” является неверным, так как стоит попасть в компанию одному нестуденту, и он сделает этот предикат истинным, даже если там нет ни одного отличника.

Вот еще один пример: “Собакам и кошкам вход запрещен”. Формально перевод будет таким: “Если - собака и - кошка, то - вход запрещен”. Однако, ясно, что таких , которые были бы одновременно и собакой и

кошкой, не существует. Правильным будет такой перевод:

“Если - собака или - кошка, то - вход воспрещен”.

Для перевода высказываний естественного языка на язык логики предикатов можно использовать следующую таблицу

 

Таблица 3

Выражение естественного языка Формула
Для любого (имеет место) при произвольном Для всех верно , каково бы ни было Для каждого (верно) Всегда имеет место Каждый обладает свойством Свойство присуще вcем Все удовлетворяет Любой объект является Всякая вещь обладает свойством    
Для некоторых (имеет место) Для подходящего (верно) Существует , для которого (такой, что) Имеется , для которого (такой, что) Найдется , для которого (такой, что)    

 



Продолжение табл. 3

У некоторых вещей есть признак Хотя бы для одного (верно) Кто-нибудь относится к (есть) По крайней мере, один объект есть  
Не для каждого (верно) Не при всяком (верно) оказывается истинным не для всех Не все обладает свойством Не все суть не всегда верно
Для всякого неверно всегда ложно Ничто не обладает свойством Все суть не
Не существует , такого, что Нет никакого , такого, что Нет , такого, что не выполняется ни для какого Ничто не обладает свойством Никто не есть Ни для какого не верно Неверно, что для некоторых

 

 

Окончание табл. 3

Для некоторого не (верно) Что-то не обладает свойством Кто-то есть не
Если для какого-нибудь , то Если имеется , для которого , то Если хоть что-нибудь есть , то
Если , то для некоторого (верно)
Что-то удовлетворяет , а что-то – Нечто есть и и
Все суть или Все, кроме , суть
Все суть или все суть  

 

Как следует из таблицы, знак общности заменяет в словесных формулировках слова: все, всякий, каждый, любой. Знак существования употребляется вместо слов: хотя бы один, найдется, существует.

Для иллюстрации особенностей перевода рассмотрим еще несколько примеров.

 

Пусть означает “ - нечетное число”, где принадлежит множеству простых чисел. Рассмотрим высказывание – “Каждое простое число – нечетное”. Отрицание этого высказывания можно построить двумя способами.

а) Не каждое простое число нечетное.

б) Найдется (существует) простое число, которое четно.

Для высказывания – “Существует простое число , являющееся нечетным” отрицание можно построить двумя способами:

а) Не существует простого нечетного числа.

б) Все простые числа являются четными.

Способ а) построения отрицания в обоих случаях отличается от способа б) тем, что использует отрицательную частицу не, - это негативный способ построения отрицания.

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

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

Равносильность двух способов построения отрицания следует из формул

 

Первая формула утверждает: истинно не для всех тогда и только тогда, когда существует , для которого ложно.

Вторая формула утверждает: не существует , для которого истинно, тогда и только тогда, когда ложно для всех .

Если высказывание содержит слова: все, каждый, любой, то при построении отрицания позитивным способом необходимо заменить их словами: найдется, существует, хотя бы один.

Если же в высказывании употребляются слова: найдется, существует, хотя бы один, то при построении отрицания они заменяются словами: все, каждый, любой.

Недопонимание этого правила приводит к типичной ошибке при построении отрицания.

Пример 1. Пусть - “В треугольнике угол равен 60°”.

Отрицание для высказывания формулируют часто так: в любом треугольнике угол не равен 60°, что является грубой ошибкой, поскольку слово любой не заменено словом существует, иными словами квантор общности не заменен на квантор существования .

Правильная формулировка отрицания для высказывания будет такой: “Существуют треугольники, у которых угол не равен 60°”.

Пример 2. Пусть предикат - “ - серая кошка” определен на множестве всех кошек. Правильное выражение для отрицания высказывания дается следующим образом: “Существует хотя бы одна не серая кошка”.

Рассмотрим несколько примеров по переводу высказываний естественного языка на язык исчисления предикатов.

 

Пример 1. Любые два действительных числа либо равны, либо одно из них меньше другого.

Введем в рассмотрение следующие предикаты:

- есть действительное число”.

- ”.

- ”.

- ”.

Тогда высказывание запишется в виде:

Пример 2. Ни один пациент не любит знахарей.

Введем в рассмотрение следующие предикаты:

- “ - пациент”.

- “ – знахарь”.

- “ любит ”.

Тогда высказывание запишется в виде:

.

Пример 3. Представить на языке исчисления предикатов основные аксиомы натуральных чисел:

а) для каждого числа существует одно и только одно число, непосредственно следующее за ним;

б) нет числа, за которым непосредственно следует 0;

в) для каждого числа, отличного от нуля, существует одно и только одно непосредственно предшествующее ему число.

Введем в рассмотрение следующие предикаты:

”число, непосредственно следующее за ”.

- “число, непосредственно, предшествующее ”.

- “ ”.

Тогда аксиомы будут представлены так:

 

 

а) ;

б) ;

в) .

 

Контрольные вопросы и упражнения

Перевести выражения естественного языка на язык исчисления предикатов

1. Если произведение конечного числа сомножителей равно нулю, то, по меньшей мере, один из сомножителей равен нулю. ( – “ есть произведение конечного числа сомножителей», – « есть один из сомножителей числа ”).

2. Наибольший общий делитель чисел и делится на всякий их общий делитель ( – “ есть один из делителей числа ”, а – “ есть наибольший общий делитель чисел и ”).

3. Для всякого действительного числа существует большее действительное число .

4. Существуют такие действительные числа , , что сумма чисел и больше, чем произведение чисел и .

5. Для каждого действительного числа существует такое , что для каждого , если сумма и 1 меньше , то сумма и 2 меньше 4.

6. Существует x, меньшее, чем 5 и, большее, чем 3.

7. Для любого числа существует число , меньшее .

8. Для любых чисел и суммы и равны.

9. Для любого числа существует такое число , что для любого , если разность меньше, чем , то разность меньше 3

10. Между любыми двумя различными точками на прямой лежит, по крайней мере, одна точка, с ними не совпадающая.

11.Каждый студент выполнил, по крайней мере, одну лабораторную работу.

12.Если произведение натуральных чисел делится на простое число, то на него делится, по крайней мере, один из сомножителей.

13. Через три точки, не лежащие на одной прямой, проходит единственная плоскость.

14. Всякое животное, встречающееся с вежливыми людьми, счастливо.

15. Все люди, посещающие зоопарк, вежливы.

16. Животные, живущие в зоопарке, встречаются с людьми, посещающими зоопарк.

17. Никакой продавец игрушками сам себе их не покупает.

18. Те римляне, которые ненавидели диктатора, пытались убить его.

19. Римляне либо были преданы диктатору, либо ненавидели его.

20. Некоторые судьи - старики, но бодрые.

21. Судья Иванов не стар и не бодр.

22. Не все юристы судьи.

23. Некоторые юристы, являющиеся политиками, – члены конгресса.

24. Ни один член конгресса не бодр.

25. Все старые члены конгресса - юристы.

26. Некоторые женщины одновременно являются юристами и членами конгресса.

 

27. Некоторые пациенты любят докторов.

29. Ни один доктор не является знахарем.

30. Выгул кошек или собак запрещен.

31. Ни одна женщина не является одновременно политиком и домашней хозяйкой.

32. Ни один судья не является преподавателем.

33. Некоторые женщины-юристы являются домашними хозяйками.

34.Все женщины-юристы восхищаются каким-нибудь судьей.

35. Некоторые юристы восхищаются только судьями.

36. Некоторые юристы восхищаются женщинами.

37. Некоторые преподаватели не восхищаются ни одним юристом.

38. Судья Иванов не восхищается ни одним преподавателем.

39. Существуют как юристы, так и преподаватели, которые восхищаются судьей Ивановым.

40. Только судьи восхищаются судьями.

41. Все судьи восхищаются только судьями.

42.Все студенты группы свободно владеют всеми тремя языками: английским, немецким, французским.

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

44. Есть студенты, которые свободно владеют и английским и немецким и французским языками.

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

46. Нет столь великой вещи, которую не превзошла бы величиной еще большая.

47. Каждое рациональное число есть действительное число. Некоторое действительное числоесть рациональное

 

число. Не каждое действительное число есть рациональное число.

48. Пусть и означают соответственно “ ”, “ линия”, “ проходит через и ”, “ ”. Перевести следующее предложение: для любых двух точек существует одна и только одна линия, проходящая через эти точки

49. На всех кошек и собак следует получить разрешение.

50. Любые два действительных числа либо равны, либо одно из них меньше другого.

51. Каждый ребенок человека состоит в браке с ребенком человека .

52. У человека существует ребенок, который не состоит в браке с ребенком человека .

53. Существуют два человека такие, что каждый ребенок одного из них состоит в браке с ребенком другого.

54. Существуют два человека такие, что ни один ребенок одного из них не состоит в браке с ребенком другого.

55. Если является ребенком человека , то каждый ребенок человека является внуком человека .

56. Введем следующие обозначения:

- “я вижу предмет в момент времени ”;

- “я беру предмет в момент времени ”;

- “ момент времени предшествует моменту ”.

Перевести следующие выражения на язык исчисления предикатов

56.1. Я всегда что-то вижу.

56.2. Иногда я ничего не вижу.

56.3. Существуют предметы, которые я никогда не вижу.

56.4. Я вижу каждую вещь в некоторый момент времени.

 

56.5. Если я вижу предмет, то я его тут же беру.

56.6. Если я вижу предмет, то я его беру спустя некоторое время.

56.7. Перед тем, как я беру предмет, я вижу его.

56.8. Если я беру предмет, не видя его до этого, то через некоторое время я вижу его, но не беру.

56.9. Не существует предметов, которые я никогда не беру.

56.10. Я никогда не беру того, что я всегда вижу.

56.11. Всегда существуют вещи, которые я не вижу и не беру.

56.12. Я беру всякую вещь, которую я никогда не вижу.

56.13. Я беру всякий предмет, который я еще не взял до этого.

56.14. Я всегда вижу либо все, либо ничего.

56.15. Если я беру некоторый предмет, который до этого уже видел, то я ранее видел предмет, который взял позднее.

56.16. Некоторые вещи, которые я видел ранее, я всегда вижу вновь спустя определенное время.

56.17. Если я когда-либо видел две вещи одновременно, то в будущем я также увижу их только одновременно.

56.18. Если я когда-либо видел и взял предмет одновременно, то впоследствии я либо делаю то и другое, либо не делаю ни того, ни другого.

 

 





Дата добавления: 2015-06-27; Просмотров: 2210; Нарушение авторских прав?;


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Читайте также:



studopedia.su - Студопедия (2013 - 2017) год. Не является автором материалов, а предоставляет студентам возможность бесплатного обучения и использования! Последнее добавление ip: 54.80.89.148
Генерация страницы за: 0.082 сек.