Концепция логического программирования - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Концепция логического программирования, слайд №1

Концепция логического программирования, слайд №2

Концепция логического программирования, слайд №3

Концепция логического программирования, слайд №4

Концепция логического программирования, слайд №5

Концепция логического программирования, слайд №6

Концепция логического программирования, слайд №7

Концепция логического программирования, слайд №8

Концепция логического программирования, слайд №9

Концепция логического программирования, слайд №10

Концепция логического программирования, слайд №11

Концепция логического программирования, слайд №12

Концепция логического программирования, слайд №13

Концепция логического программирования, слайд №14

Концепция логического программирования, слайд №15

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Концепция логического программирования. Доклад-сообщение содержит 15 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

КОНЦЕПЦИЯ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ Терминология логического программирования заимствована из логики. Логика познает принципы человеческого мышления. Логическое программирование – один из подходов к информатике, при котором в качестве языка высокого уровня используется логика предикатов первого порядка. Суть логического подхода заключается в том, что машине в качестве программы предлагается не алгоритм, а формальное описание предметной области и решаемой проблемы (функции) в виде аксиоматической системы.

Слайд 2

Описание слайда:

КОНЦЕПЦИЯ ЯЗЫКА ПРОЛОГ Пролог является языком программирования, который обеспечивает решение задач, выраженных в терминах объектов и отношений между ними. Программирование на языке Пролог состоит из следующих этапов: 1). Объявления некоторых фактов об объектах и отношениях между ними. 2). Определения некоторых правил об объектах и отношениях между ними. 3). Формулировки вопросов об объектах и отношениях между ними. Программа состоит из предложений, которые могут быть фактами, правилами или вопросами.

Слайд 3

Описание слайда:

ЛОГИЧЕСКАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

Слайд 4

Описание слайда:

БАЗА ЗНАНИЙ

Слайд 5

Описание слайда:

ПРАВИЛА Под правилами в Прологе понимаются наиболее общие утверждения об объектах и отношениях между ними. Правила используются для описания процедур принятия решений и обработки данных. Пролог-правило имеет вид фразовой формы : заключение:-усл1, усл2, … ,услN. Заключение(голова правила)=(аргумент [, аргумент],…). Усл=вызов | Языки, подобные Прологу, считаются языками типа “если-то”: заключение истинно, если истинными являются условия, перечисленные в правой части. Правила позволяют вывести один факт из других фактов и|или заключений. Правило - это заключение, для которого известно, что оно истинно, если одно или несколько других найденных заключений или фактов являются истинными.

Слайд 6

Описание слайда:

СТАНДАРТНЫЕ ТИПЫ АРГУМЕНТОВ

Слайд 7

Описание слайда:

ВОПРОСЫ Вопросы в Прологе служат для записи простых или сложносоставных запросов к базам знаний. Ответами на запросы к базам знаний могут быть логические значения Yes (Да, истина) или No (Нет, ложь) или список конкретных данных, отвечающих запросу. С помощью запросов можно "спрашивать" базу данных о том, какие утверждения являются истинными. Запрос называется целью (goal). Простой вопрос: goal ([, ..]) Сложный вопрос: goal [ ..] Пролог включает механизм вывода, который основан на сопоставлении образцов. С помощью подбора ответов на запросы он извлекает хранящуюся в виде фактов и|правил (известную) информацию. Пролог пытается проверить истинность гипотезы (другими словами - ответить на вопрос), запрашивая для этого информацию, о которой уже известно, что она истинна. Прологовское знание о мире - это ограниченный набор фактов и|или правил, заданных в программе.

Слайд 8

Описание слайда:

ПРИМЕР. РОДСТВЕННЫЕ ОТНОШЕНИЯ

Слайд 9

Описание слайда:

ЗНАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ Отношение -родитель(parent) между объектами Кто , Чей parent (, ). Факты: parent (kat, bob). parent (tom, bob). parent (tom, liz). parent (bob, ann). parent (bob, pat). parent (mary, ann). parent (pat, juli).

Слайд 10

Описание слайда:

ВОПРОСЫ К БАЗЕ ЗНАНИЙ goal parent (bob, pat). yes goal parent (bob,mary). no Переменные в запросах кто родитель liz? goal parent (X, liz). X= tom Кто является чьим родителем? (Или найти такие X и Y, что X является родителем Y). goal parent (X, Y). X= kat, Y= bob X= tom, Y= bob и т.д. Кто является родителем родителя juli? goal parent (Y, juli), parent (X, Y). X=bob, Y=pat Кто внуки тома? goal parent (tom, Y), parent (Y, X). Y=bob, X=ann Y=bob, X=pat

Слайд 11

Описание слайда:

ПРАВИЛА И ФАКТЫ Oтношение child(ребенок) обратное к parent(родитель) Утверждение- правило child(Y, X):-parent (X, Y). Для всех Y и X Y -child X, если X -parent Y. goal child(liz, tom) male(tom). male(bob). female(liz). female(kat). female(pat). female(ann). female(juli). Отношение mother(,. ). Для всех X и Y X -mother Y, if X- parent Y и X -female. mother(X, Y):-parent(X, Y), female(X).

Слайд 12

Описание слайда:

ПРАВИЛА И ФАКТЫ Отношение sister Для любых X и Y X sister Y, if у X и Y есть общий родитель, и X female sister (X, Y):- parent(Z,X), parent(Z,Y), female(X). goal sister(pat, pat). Yes (Почему?) sister (X, Y):- parent(Z,X), parent(Z,Y), XY, female(X). Анонимная переменная _ goal sister( _, pat).

Слайд 13

Описание слайда:

СТРУКТУРА ПРОГРАММЫ

Слайд 14

Описание слайда:

ПРОГРАММА. РОДСТВЕННЫЕ ОТНОШЕНИЯ domains name=symbol predicates nondeterm male(name) nondeterm female(name) nondeterm parent(name, name) nondeterm mother(name, name) nondeterm sister(name, name) clauses parent (kat, bob). parent (tom, bob). parent (tom, liz). parent (bob, ann). parent (bob, pat). parent (mary, ann). parent (pat, juli). male(tom). male(bob). female(juli). female(liz). female(kat). female(pat). female(ann). sister (X, Y):- parent(Z,X), parent(Z,Y), XY, female(X). mother(X, Y):-parent(X, Y), female(X). Goal mother (X, Y), write(“mother “,X,’\n’,Y,’\n’). %mother (X, Y), write(X),nl,write(Y). %mother (X, Y), write(X,’\n’,Y),nl,fail.

Слайд 15

Описание слайда:

ОПИСАНИЕ ПРЕДИКАТОВ БАЗЫ ЗНАНИЙ predicates nondeterm male(symbol) nondeterm female(symbol) nondeterm parent(symbol, symbol) nondeterm mother(symbol, symbol) nondeterm sister(symbol, symbol)