Автоматизация Автоматизация Архитектура Астрономия Одит Биология Счетоводство Военна наука Генетика География Геология Държавна къща Друга журналистика и средства за масова информация Изкуство Чужди езици Компютърни науки История Компютри Компютри Кулинарна култура Лексикология Литература Логика Маркетинг Математика Механика Механика Мениджмънт Метал и заваръчна механика Музика Население Образование Безопасност на живота Охрана на труда Педагогика Политика Право инструмент за програмиране производство Industries Психология P Дио Религия Източници Communication Социология на спорта стандартизация Строителство Технологии Търговия Туризъм Физика Физиология Философия Финанси Химически съоръжения Tsennoobrazovanie скициране Екология иконометрия Икономика Електроника Yurispundenktsiya

Елементи на езика на пролог

Прочетете още:
  1. I. МЕХАНИКА И ЕЛЕМЕНТИ НА СПЕЦИАЛНАТА ТЕОРИЯ НА РЕЛЕКТИВНОСТТА
  2. XII. ЕЛЕМЕНТИ НА ТЕОРИЯТА НА АЛГОРИТМИТЕ
  3. XIV. ОПЕРАТОРИ НА ПАСКАЛНИ ЕЗИК
  4. Пасхалска езикова азбука
  5. АНГЛИЙСКИ ЕЗИК
  6. Аритметични операции на С
  7. Атрибути (данни).
  8. Основни понятия на Prologue
  9. Банковата система и нейните взаимообвързани елементи
  10. Билет 20. Пушкин реформа на езика на фикцията.
  11. Богатство на езика
  12. В суперсистемата винаги ще има такива елементи, които са необходими за развитие

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

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

Основната идея на Prolog като език за записване на факти, въпроси и правила е, че те са написани под формата на предикати на математическата логика. Всички те се тълкуват от компютъра стриктно в съответствие със законите на математическата логика и нищо повече.

Основните конструкции на Prolog език са факти, въпроси и правила. Всички тези три конструкции са написани под формата на предикати и техните комбинации. Помислете за правилата за тяхното записване на езика Prolog.

Фактите са конкретна информация за някого или нещо такова. Фактите на езика Prolog са написани под формата на предикати със специфични аргументи-стойности. Примери за записване на факти в Prolog:

баща (Вева, Лена); - Вева - папа Лена

обича (Лена, музика); - Лена обича музика

оценка (Лена, руски, 5); - Лена 5 на руски език

Въпросите по Prolog са искания за събиране на данни или процедури, съхранени на компютър. Записването на въпросите започва със знак ? , последван от предикат или група от предсказания, разделени със запетаи. Примери за записване на прости въпроси на Prolog език:

? Татко (х, Лена) - Кой е бащата на Лена?

x = Вева

? Мама (x, y) - Кой е кой - мамо?

NO

? резултат (x, _, 5) - Кой има резултата от 5?

х = Лена

Тук буквите x , y са обозначенията на променливите, а числата и думите са конкретните стойности на аргументите в съответните предикати. Подписът " _ " представлява неопределена стойност, която не е важна за отговорите на въпроси.

Когато пишете сложни въпроси в Prolog, можете да зададете няколко предикатни условия, разделени със запетаи. Запетайката в тези сложни въпроси играе ролята на логически пакет и . Примери за сложни въпроси:



? майка (x, y), майка (y, Olya) - Коя е майката на майката на Оля?

x = Zina y = Luba

? майка (x, y), баща (y, Olya) - Кой е майката на бащата на Олга ?

NO

Правилата в Prolog са правилата на логическите изводи. Отляво в правилата се забелязва последствие, а вдясно е предварително условие. Предварителното условие може да се състои от едно или повече предикати, разделени със запетаи. Примери за писане на изходни правила за Prolog:

студент (x) професия (х, проучване); - студент е някой, който е зает да учи ;

numismatist (x) събира (x, монети); - Колекционер на монетите - този, който събира монети.

Примери за въпроси относно използването на тези правила:

? студент (и) - Кой е студент?

х = Alyosha

х = Лена

? numismatist (y) - Кой е нумизматист?

y = Alyosha

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

Ето един пример за съставяне на база от знания за приятели. Ще разграничим приятелите по техните имена: Alyosha, Olya и т.н. Ние включваме в базата данни следната информация за приятели:

какво харесват;

какво събират;

какво правят;

какви оценки имат.

С тази формулировка на проблема ясно се очертава както тематичната област, така и обхватът на основните въпроси. За да запишете фактите на Prolog, ние използваме следните предикати:

харесва (<име>, <нещо>);

събира (<име>, <елемент>);

се занимава с (<име>, <предмет>);

резултат (<име>, <предмет>, <резултат>);

Вместо <name>, <item>, <subject>, <score>, когато създавате база от знания, трябва да замените конкретна информация за конкретни приятели. Ще напишем имената с главна буква в номиналния случай. Освен това, < object > и <object> са съществителни в номиналния случай, <score> е цяло число от 1 до 5.

‡ Зареждане ...

Кажете ни за Ole и Alyosha следното:

1. Ole харесва музиката. Тя събира снимки на любимите си певци. Ангажиран в икономиката. Оля има 4 на руски и 5 на алгебра.

2. Алиоша обича историята, събира монети, разбира се, има 5 истории, ангажира се в археологически кръг.

Съответната база данни на Prolog език:

като (олга, музиката); - Оле харесва музиката

харесва (Alyosha, история); - Алиоша харесва историята

събира (Olya, снимки); - Оля събира снимки

събира (Alyosha, монети); - Алиоша събира монети

събира (Alyosha, значки); - Алиоша събира значки

оценка (Olya, Russian, 4); - Олга има 4 на руски език

ангажирани в (Alyosha, бизнес); - Алиоша се занимава с бизнес

оценка (Olya, алгебра, 5); - Olya има приблизителна оценка 5 за алгебра

оценка (Alesha, история, 5); - Alyosha има рейтинг 5 на историята

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

? (Alesha, футбол) - Играе ли Алиоша футбол?

не

? (Olya, музика) - Ола като музика?

да

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

? като ( x , y) - Кой прави това?

x = Olya y = музика

x = Alyosha y = история

Ако част от информацията не е необходима по една или друга причина, а след това вместо съответната променлива във въпроса, се поставя подсказка "_":

? събира (_, x) - Какви приятели се събират?

х = снимки

х = монети

x = значки

И накрая, при въпроси можете едновременно да използвате както променливи, така и специфични стойности. Например:

? (х, музика) - Кой прави музиката?

не

? (Alyosha, y) - Какво прави Alyosha?

y = бизнес

? събира (х, монети) - Кой събира монети?

х = Alyosha

? резултат (x, _, 5) - Кой има петата?

х = Оля

х = Alyosha

Примери за сложни въпроси:

1. Кой прави бизнес и събира монети?

? сделки (x, бизнес), събира (x, монети)

х = Alyosha

2. Какъв е резултатът на този, който събира монетите?

? събира (x, монети), оценката (x, p, z)

х = Alyosha

p = история

z = 5

Можете да добавите следните правила за изход към базата данни:

библиофили (x) като (х, книги), - книжарница - един, който

събира (х, книги) харесва и събира книги

бизнесмен (x) събира (х, монети), - бизнесмен - този, който

професията (x, бизнес) събира монети и се занимава с бизнес

Примери за използване на правилата за дефиниране:

? bibliophile (x) - Кой е любовникът на книгата?

NO

? бизнесмен (и) - Кой е бизнесмен?

y = Alyosha


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 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 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 |


Когато използвате този материал, свържете се със bseen2.biz (0.066 сек.)