КАТЕГОРИЯ:


Астрономия- (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) Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военни бизнесмен (14632) Висока technologies- (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къща- (47672) журналистика и смирен (912) Izobretatelstvo- (14524) външен >(4268) Informatika- (17799) Iskusstvo- (1338) историята е (13644) Компютри- (11,121) Kosmetika- (55) Kulinariya- (373) културата е (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23702) математиците на (16968) Механична инженерно (1700) медицина-(12668) Management- (24684) Mehanika- (15423) Naukovedenie- (506) образователна (11852) truda- сигурност (3308) Pedagogika- (5571) Poligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97 182 ) индустрия- (8706) Psihologiya- (18388) Religiya- (3217) Svyaz (10668) Agriculture- (299) Sotsiologiya- (6455) на (42831) спортист строително (4793) Torgovlya- (5050) транспорт ( 2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Electronics- (8441) Elektrotehnika- (4623) Мощност инженерно ( 12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Урок 5. ПРЕВОД КОМЕНТАРИ ЗА естествен език ЕЗИК предикат логика




От формална езика на математиката - на езика на предикатното логика - най-близо до естественото. изкуствен интелект работа е езикът, използван, въпреки че този език има своите ограничения. Когато превежда на езика на предикатното смятане изречения на естествен език, за да се разбере, че на езика на логиката на предикат може да бъде описан като много неща, но не всички. Ето защо, символизираща език изисква точност и по-дълбоко разбиране на текста.

В естествен език, думата "всички" обикновено се пропуска.

Например, "риба хриле дишат" означава, че всички хрилете на рибите или дишат, дишат, че всяка риба хрилете. Ако ще означаваме и , Тогава символизация на израза "Рибата диша с хриле", трябва да се използва универсално квантор: ,

Въпреки това, във всеки случай, думата "всички" се разбира като "всеки". Например, изречението "Всички зърната образуват купчина пясък," това не означава, че всеки песъчинка образува купчина пясък. В този случай, използвайте универсалната квантор това е невъзможно.

Да разгледаме характеристиките на превод по следния предикатното смятане език израз: "Всички студенти са отлични студенти" и "Някои студенти са отлични студенти."

Първият експресията може да бъде перифразирана както следва: "за всички вярно, ако - Един студент, - Отлично ". Преводът на тази фраза ще бъде: където - " - Студентски " - " - Отлично ".

Вторият израз може да бъде перифразирана по следния начин: "За някои вярно: - Student и - Отлично ". Преводът на тази фраза ще бъде: , Използването на структурата в този случай: "За някои вярно: ако - Един студент, - Отлично ", е неправилно, тъй като има една във вашата компания nestudentu, и той ще направи предиката вярно дори ако няма почести.

Ето още един пример: "Кучета и котки право". Формално, преводът би бил: "Ако - Куче и - А котката, след това - Влизане е забранено ". Въпреки това е ясно, че такива Това би било и двете куче и

котка, не съществува. Правото е превод:

"Ако - Куче или - А котката, след това - Преминаването забранено ".

За да се превърне естествени езикови изявления в езика на предикатното логика, можете да използвате следната таблица

Таблица 3

Терминът естествения език формула
За всяка (Приема) произволна за всички прав Каквото за всеки (Вдясно) Винаги се извършва Всеки има свойството имот е присъщо на всички целия екип отговаря Всеки обект е Всяко нещо има имот
за някои (Приема) Надясно (Вдясно) там , Това (като това) има , Това (като това) ще има , Това (като това)



Продължение на маса. 3

Някои неща са знак Най-малко една (Вдясно) Някой се отнася до (е) Най-малко един обект има
Не е за всеки (Вдясно) Не на всяка цена (Вдясно) Не е вярно за всички Не всеки има свойството Не всички са Това не винаги е вярно
За всеки неправилно Винаги фалшива Нищо има имот Всички не са
не е Такава, че Няма по- Такава, че не Такава, че Тя не е изпълнено за всяко Нищо не е собственост Никой няма За всяка Не е вярно, Не е вярно, че за някои

Край на маса. 3

За някои не (вярно) Нещо не разполага с имущество Някой не е
ако за всяко след това ако присъства За което след това Ако нещо има след това
ако За някои (Вдясно)
Нещо удовлетворява И нещо - Нещо там и
Всички те са или освен същността
Всички те са или всички са

Както се вижда от таблицата, знак на общността Той заменя формулировката думи: всичко, всеки, всеки, всеки. наличието на знак се използва вместо думи, най-малко един, там,.

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

нека Това означава " - Нечетно число ", където Той принадлежи към множеството на простите числа. Помислете изявлението - "Всеки просто число - Odd ". Отричането на това твърдение може да бъде изграден по два начина.

а) Не всеки нечетен премиер номер.

б) Ще има (има) просто число, което е дори.

За отчети - "Налице е просто число , Което е странно, "отрицанието може да се изгради по два начина:

а) Няма лесен нечетен брой.

б) Всички простите числа са дори.

Метод а) изграждане на отрицание и в двата случая е различен от използвания метод), който използва отрицателно частиците не е - това е негативен начин на конструиране отрицание.

В процес б), частицата не се използва - това е един положителен начин за изграждане на отрицание. Негативен начин на конструиране на отрицание за отчети съответства на поставянето на знака отрицание над всички казваха, т. е., , Положителен метод, свързан с рекорд във формата на отричане ,

За отчети негативен процес също съответства на поставянето на отказ за целия отчет, т.е.. д., , Позитивен начин на отрицание може да записва до отказ ,

Равностойността на двата метода на конструиране на отрицание От

Първата формула гласи: не е вярно за всички ако и само ако има За което фалшиво.

Втората формула казва, че не е За което е вярно, ако и само ако невярна за всички ,

Ако декларацията съдържа думите: Всичко, всичко, всичко, в изграждането на положителен начин на отрицание е необходимо да ги заменят с думите, да има най-малко един.

Ако, обаче, като казва, да се използва думата: съществува, най-малко един, те ще бъдат заменени от изграждането на отрицание: каквото никого.

Неразбиране на това правило води до типичен грешка в изграждането на отрицание.

Пример 1. Let - "Бермудският ъгъл е 60 ° ".

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

Правилната формулировка за изразяване на отрицание ще бъде: "има един триъгълник, в който ъгълът не е равен на 60 °. "

Пример 2. Нека предиката - " - Грей котка "се определя на снимачната площадка на всички котки. Правилният израз за декларациите за отказ То гласи: "Там не е дори една сива котка."

Помислете за няколко примера за превод на естествен език изявления за езика на смятане на предикат.

Пример 1. две или реални числа са еднакви, или един от тях е по-малък от другия.

Обмислете следните предикати:

- " там е реално число. "

- " ".

- " ".

- " ".

След изявлението може да бъде написано като:

Пример 2. Нито един пациент не се интересува от традиционни лечители.

Обмислете следните предикати:

- " - На пациента ".

- " - Witch лекар ".

- " харесвания ".

След изявлението може да бъде написано като:

,

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

а) за всеки брой има един и само един номер веднага след него;

б) няма номер, последван незабавно от 0;

в) за всеки номер, различен от нула, там е един и само един номер веднага го предходната.

Обмислете следните предикати:

"Броят че веднага следва ".

- "Броят на пряко предходната ".

- " ".

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

а) ;

б) ;

в) ,

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

Превод естествени езикови изрази в езика на смятане предикатното

1. Ако продуктът от определен брой фактори, равно на нула, тогава поне един от факторите, е нула. ( - " е продукт на определен брой фактори " - " е един от факторите на ").

2. Най-голям общ делител и разделен от всеки общ делител ( - " е един от делителите на - " има най-голям общ делител и ").

3. За всяко реално число там са по-реални числа ,

4. Има някои реални числа , , че сумата от броя и е по-голяма от произведението на броя и ,

5. За всяко реално число има Че за всеки Ако размерът на и по-малко от 1 , Сумата 2 и по-малко от 4.

6. Там X, по-малко от 5 или по-голямо от 3.

7. За всеки номер има редица по-малко от ,

8. За всички номера и суми и равно.

9. За всяко число има редица Това за всеки Ако разликата по-малко от Разликата по-малко от 3

10. Между всеки две различни точки на линията е най-малко една точка, която не съвпада с тях.

11.Kazhdy студент извършва най-малко една лаборатория.

12. Ако продуктът на естествените числа, кратни на просто число, тогава тя е разделена, най-малко, един от факторите.

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

14. Всички животни са намерени с учтиви хора щастливи.

15. Всички хора, които посещават зоопарка, учтив.

16. Животните, които живеят в зоологическата градина, се срещат с хора, които посещават зоопарка.

17. Не са дилърски играчки себе си не ги купуват.

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

19. Римляните бяха или лоялни на диктатора, или го мразеха.

20. Някои съдии - възрастните хора, но весел.

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

22. Не всички съдии адвокати.

23. Някои адвокати са политици - членове на Конгреса.

24. Никой от членовете на Конгреса не е весел.

25. Всички старите членове на Конгреса - адвокати.

26. Някои жени са двете адвокати и членове на Конгреса.

27. При някои пациенти, като лекари.

29. Нито лекарят не е шарлатанин.

30. Проходилки котки или кучета е забранено.

31. Нито една жена не е както един политик и домакиня.

32. Никой съдия не е учител.

33. Някои жени адвокати са домакини.

34.Vse жените адвокати възхищавал от някои съдия.

35. Някои адвокати възхищават само от съдиите.

36. Някои адвокати са се възхищавали от жени.

37. Някои учители не са се възхищавали от всеки адвокат.

38. Съдия Иванов възхищавал от всеки учител.

39. Има двете адвокати и учители, които се възхищаваха на съдията Иванов.

40. Само съдиите възхищавал от съдиите.

41. Всички съдиите възхищават само от съдии.

42.Vse група студенти са Владее всички три езика: английски, немски, френски.

43. Всеки студент група има всеки чужд език (английски, немски, френски).

44. Има ученици, които владеят английски и немски и френски език.

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

46. ​​Има такова голямо нещо, което не би превишила стойността дори повече.

47. Всяко рационално число е реално число. Някои наистина рационално chisloest

брой. Не всяко реално число е рационално число.

48. Let и означават съответно " "" линия "," Тя преминава през и "" ". Превод на следното изречение: за всеки две точки, има един и само един линия, минаваща през тези точки

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

50. две или реални числа са еднакви, или един от тях е по-малък от другия.

51. Всяко дете на човек Той е женен за човешко дете ,

52. Лице Има едно дете, което не е женен за детето човек ,

53. Има двама души, така че всяко дете на един от тях е женен с едно дете на другия.

54. Има двама души, такива, че нито едно дете на един от тях е женен с едно дете на другия.

55. Ако Той е дете на човек , Че всяко дете на човек Той е внук на лицето ,

56. Ние се въведе следната нотация:

- "Виждам темата по време ";

- "I вземе предмет по време ";

- "Момент Тя предхожда момента ".

Превод на следните изрази в езика на смятане предикатното

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. Ако някога видях и взе предмет в даден момент, а след това аз или правя и двете, или не прави нито едното или другото.