КАТЕГОРИИ:


Астрономия- (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) П Архитектура- (3434) Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Война- (14632) Високи технологии- (1363) География- (913) Геология- (1438) 1065) House- (47672) Журналистика и масови медии- (912) Изобретения- (14524) Чужди езици- (4268) Компютри- (17799) Изкуство- (1338) История- (13644) Компютри- (11121 ) Художествена литература (373) Култура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968 ) Медицина- (15423) Naukovedenie- (506) Образование- (11852) Защита на труда- ( 3308) Педагогика- (5571) P Политика- (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) Олимпиада- (1312) Политика- (7869) Право- (5454) Инструменти- ( 1369) Програмиране- (2801) Производство- (97182) Промишленост- (8706) Психология- (18388) Земеделие- (299) Социология- (6455) Спорт- (42831) Строителство- (4793) Търговия- (5050) Транспорт- (2929) Туризъм- (1568) Физика- (3942) ) Химия- (22929 ) Екология- (12095) Икономика- (9961) Електроника- (8441) Електротехника- (4623) Енергетика- (12629 )

Логическо програмиране

Вижте също:
  1. I. Международно право в областта на околната среда
  2. VI. Планиране и програмиране на използването на общинска собственост
  3. А. Програмиране на работата на венец в режим на движение
  4. Августин Благословена и теологична обосновка на морала
  5. Административна отговорност за престъпления, свързани с околната среда.
  6. Алгоритмично програмиране
  7. Анатомично физиологично
  8. Аритметична логическа единица
  9. Аритметична логическа единица
  10. Бактериологични (биологични) оръжия и техните вредни фактори.
  11. Бактериологични (биологични) оръжия.
  12. Биологични ефекти на вибрациите.

Основните разпоредби на МР (заключенията)

1. Предметната област е представена като набор от аксиоми, които са трансформирани в набор от клаузи S.

2. За да докажем валидността на Теорема Б, трябва да вземем неговото отрицание и да го превърнем в разединен, да го добавим към комплекта S. Ако теоремата е вярна, тогава новият набор от клаузи ще бъде противоречив.

3. Доказателството за несъответствие се свежда до доказването, че празна клауза може да бъде извлечена от даден набор от клаузи.

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

Пример 1

A1: Всички студенти са граждани.

Т: Студентски гласове са гласовете на гражданите.

Стъпка 1. Записваме аксиома и теоремата на езика на предреатите от първи ред.

A1: където М е много хора)

Т: където G е множеството от гласове, x, y където М е много хора)

Стъпка 2. Вземете разединители.

D1:

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

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

D1:

D2:

D3:

D4:

Стъпка 3. Заключение:

1. Обединете D1 и D2: { }, получаваме

2. Вземете резолвент D1-D2: нека го обозначим като D5

3. Обединете D4 и D5: { }, получаваме

4. Вземете резолвент D4 и D5: да го обозначим с D6

5. D3-D6: (празно разединение).

Теоремата е доказана.

Пример 2

A1: Ако x е родител на y и y е родител на z, тогава x е предшественикът на z.

A2: Всеки има родител.

Въпрос: Има ли x и y такива, че х е родоначалникът на y?

Стъпка 1. Записваме аксиома и въпроса на езика на предикатите от първи ред.

A1:

A2:

В:

Стъпка 2. Вземете разединители.

D1:

D2:

D3:

Стъпка 3. Заключение:

1. Обединете D1 и D2: , да се

2. Вземете резолвент D1-D2: , ние го обозначаваме с D4

3. Обединете D2 и D4: , да се

4. Получаваме разтворителя D3-D2: , ние го обозначаваме с D5.

5. Обединете D3 и D5: // x}, получаваме

6. Вземете разтвора D3-D5: Ú

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

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



Логическата програма е ограничен набор от изрази от следните типове:

факти: , (1)

правила: , (2)

където , - атомните формули.

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

Правилата ви позволяват да показвате нови факти от съществуващите. Фактите определят връзките между обектите.

За да изпълните програмата, е необходимо да се обърне към целевата заявка (target), която е последователност от атомни формули на формуляра:

, (3)

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

За всеки факт (1) ние привеждаме в съответствие изречението:

И: където - всички променливи, включени във формулата ,

За всяко правило (2) привеждаме в съответствие изречението:

В: където - всички променливи, включени във формулата

Заявката (3) ще определи формулата:

С участието на: ,

където количествените елементи обвързват всички променливи.

Трябва да се докаже

За доказателства се използва методът на разрешаване.

<== предишна лекция | следващата лекция ==>
Правило за резолюция за предсказуем брой | Тюринг машини. Конкретизиране на концепцията на алгоритъма

; Дата на добавяне: 2014-01-15 ; ; Прегледи: 83 ; Нарушение на авторски права? ;


Вашето мнение е важно за нас! Дали публикуваният материал е полезен? Да | не



ТЪРСЕНЕ ПО САЙТА:


Препоръчителни страници:

Вижте също:



ailback.ru - Edu Doc (2013 - 2018) година. Всички материали, представени на сайта само с цел запознаване с читателите и не извършват търговски цели или нарушаване на авторски права! Последно добавяне на IP: 66.249.81.94
Повторно генериране на страницата: 0.004 сек.