Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ќбщие сведени€ о ѕ–ќЋќ√е




ѕ–ќЋќ√(ѕ–ќграммирование в Ћќ√ике) - €зык логического программировани€, предназначен дл€ решени€ задач из области искусственного интеллекта (создание Ё—, программы-переводчики, обработка естественного €зыка). ќн используетс€ дл€ обработки естественного €зыка и обладает мощными средствами, позвол€ющими извлекать информацию из баз данных, причем методы поиска, используемые в нем, принципиально отличаютс€ от традиционных.

ќсновные конструкции ѕ–ќЋќ√а заимствованы из логики. ѕ–ќЋќ√ относитс€ не к процедурным, а к декларативным €зыкам программировани€. ќн ориентирован не на разработку решений, а на систематизированное и формализованное описание задачи с тем, чтобы решение следовало из составленного описани€.

—уть логического подхода заключаетс€ в том, что машине в качестве программы предлагаетс€ не алгоритм, а формальное описание предметной области и решаемой проблемы в виде аксиоматической системы. “огда поиск решени€ с помощью вывода в этой системе можно поручить самому компьютеру. √лавна€ же задача программиста Ч удачно представить предметную область системой логических формул и таким множеством отношений на ней, которые наиболее полно описывают задачу.

‘ундаментальные свойства ѕ–ќЋќ√а:

1) механизм вывода с поиском и возвратом

2) встроенный механизм сопоставлени€ с образцом

3) проста€ и легко измен€ема€ структура данных

4) отсутствие указателей, операторов присваивани€ и перехода

5) естественность рекурсии

Ётапы программировани€ на ѕ–ќЋќ√е:

1) объ€вление фактов об объектах и отношени€х между ними;

2) определение правил взаимосв€зи объектов и отношений между ними;

3) формулировка вопроса об объектах и отношени€х между ними.

“еоретической основой ѕ–ќЋќ√а €вл€етс€ раздел символьной ло≠гики, называемый исчислением предикатов.

ѕредикат Ц это им€ свойства или отношени€ между объектами с последовательностью аргументов.

<им€_предиката>(t1, t2,..., tn)), t1,t2,...,tn Ц аргументы


Ќапример, факт black(cat) записан с использованием предиката black, имеющего один аргумент. ‘акт написал(шолохов, "“»’»… ƒќЌ") записан с использованием предиката написал, имеющего два аргумента.

„исло аргументов предиката называетс€ арностью предиката и обозначаетс€ black/1 (предикат black имеет один аргумент, его арность равна единице). ѕредикаты могут не иметь аргументов, арность таких предикатов равна 0.

язык ѕролог вырос из работ јлана  олмерауэра (A. Colmerauer) по обработке естественного €зыка и независимых работ –оберта  овалького (R. Kowalski) по приложени€м логики к программированию (1973 г.).

Ќаиболее известна в –оссии система программировани€ Turbo Prolog Ч коммерческа€ реализаци€ €зыка дл€ IBM-совместимых ѕ . ¬ 1988 г. вышла значительно более мощна€ верси€ Turbo Prolog 2.0, включающа€ усовершенствованную интегрированную среду разработки программ, быстрый компил€тор и средства низкоуровневого программировани€. ‘ирма Borland распростран€ла эту версию до 1990 г., а затем компани€ PDC приобрела монопольное право на использование исходных текстов компил€тора и дальнейшее продвижение системы программировани€ на рынок под названием PDC Prolog.

¬ 1996 г. Prolog Development Center выпускает на рынок систему Visual Prolog 4.0. ¬ среде Visual Prolog используетс€ подход, получивший название Ђвизуальное программированиеї, при котором внешний вид и поведение программ определ€ютс€ с помощью специальных графических средств проектировани€ без традиционного программировани€ на алгоритмическом €зыке.

¬ Visual Prolog вход€т интерактивна€ среда визуальной разработки (VDE Ч Visual Develop Environment), котора€ включает текстовый и различные графические редакторы, инструментальные средства генерации кода, конструирующие управл€ющую логику (Experts), а также €вл€ющийс€ расширением €зыка интерфейс визуального программировани€ (VPI Ч Visual Programming Interface), ѕролог-компил€тор, набор различных подключаемых файлов и библиотек, редактор св€зей, файлы, содержащие примеры и помощь.

4.2. ѕредложени€: факты и правила

ѕрограмма на ѕ–ќЋќ√е состоит из предложений, которые могут быть фактами, правилами или запросами.

‘акт Ц это утверждение о том, что соблюдаетс€ некоторое конкретное соотношение между объектами. ‘акт используетс€ дл€ того, чтобы показать простую взаимосв€зь между данными.

—труктура факта:

<им€_отношени€>(t1,t2,...,tn)), t1,t2,...,tnЦ объекты

ѕримеры фактов:

учитс€ (ира, университет). % »ра учитс€ в университете

родитель(иван, алексей). % »ван €вл€етс€ родителем јлексе€

€зык_программировани€ (пролог). % ѕролог Ц это €зык программировани€


Ќабор фактов составл€ет базу данных. ¬ виде факта в программе записываютс€ данные, которые принимаютс€ за истину и не требуют доказательства.

ѕравила используютс€ дл€ того, чтобы установить отношени€ между объектами на основе имеющихс€ фактов.

—труктура правила:

<им€_правила>:- <тело правила> или

<им€_правила > if <тело правила>

Ћева€ часть правила вывода называетс€ головой правила, а права€ часть - телом. “ело может состо€ть из нескольких условий, перечисленных через зап€тую или точку с зап€той. «ап€та€ означает операцию Ђлогическое »ї, точка с зап€той Ц операцию Ђлогическое »Ћ»ї. ¬ предложени€х используютс€ переменные дл€ обобщенной формулировки правил вывода. ѕеременные действуют только в одном предложении. »м€ в разных предложени€х указывает на разные объекты. ¬се предложени€ об€зательно заканчиваютс€ точкой.

ѕримеры правил:

мать (’, ”):- родитель (’, ”), женщина(’).

студент (X):- учитс€ (X, институт); учитс€ (X, университет).

ѕравило отличаетс€ от факта тем, что факт - всегда истина, а правило €вл€етс€ истинным, если выполн€ютс€ все утверждени€, составл€ющие тело правила. ‘акты и правила образуют базу знаний.





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-09-20; ћы поможем в написании ваших работ!; просмотров: 971 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

—амообман может довести до саморазрушени€. © Ќеизвестно
==> читать все изречени€...

789 - | 641 -


© 2015-2023 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.009 с.