1   2   3   4   5
Ім'я файлу: 34908583.docx
Розширення: docx
Розмір: 160кб.
Дата: 27.11.2022
скачати

  1. Класичні моделі представлення знань

Класичні (символьні) наслідують мисленню і структурі пам’яті людини.

До класичних моделей представлення відносяться: Правила продукції, Фрейми, Семантичні мережі, Логіка(Логіка Арістотеля, Логіка Дж. Буля, Логіка Л. Заде, Логіка Ч. Осгуда)


  1. Представлення знань у вигляді правил (продукційна модель)

Якщо знання представляють правила «Якщо-то» , то для таких систем знання представляються у вигляді продукційних моделей.

Кожне продукційне правило складається з двох частин:
1) антецедент – складається з звичайних логічних звязків (і, не, або, та інш.)

2) консеквент – включає в себе одне або декілька пропозицій що утворюють рішення, яке видається правилом або підлягаючу до виконання дію.

Кожне правило містить атрибут (двигун, ручка, колесо) і значення (двигун не заводиться, ручка не пише, колесо не котиться).

Правило спрацьовує у випадку якщо факти з робочої пам’яті при співставляні спрацьовують з його антецедентом, після чого правило важають відпрацьованим.

Продукційні системи поділяються на два типи:

  1. з прямими (спрямованими) висновками: системи MYCIN – використовуються в медичній діагностиці.

  2. із зворотнім висновком.

Системи продуктивності з прямими висновками мають 3 складових компоненти:

  • бази правил, які складаються з набору продукції

  • БД яка містить безліч факторів

  • Інтерпретатор для логічного висновку на основі даних і значень.

Бази правил і даних утворюють бази знань, а інтерпретатор забезпечує механізм логічного висновку.

Прямим висновком називають висновок який керується даними (антецедентом). У ньому цей висновок шукають за відомими фактами і гіпотезами за якими він слідує. В цілому продукційні системи з прямим висновком не придатні для розв’язку великомаштабних задач, оскільки описане циклічне зіставлення істотно сповільнює швидкість отримання висновків із більшим числом правил.

В системах зворотнього висновку за допомогою правил, будується дерево (і, або) яке зв’язує в єдине факти і висновки. Логічним висновком тут є оцінка дерева на основі фактів в базі знань. При цьому спочатку висувається гіпотеза, а потім механізм висновку, в процесі роботи повертає назад до пошуку фактів які підтверджують цю гіпотезу. Якщо вона правильна, то вибирають наступну гіпотезу, деталізуючи першу. Дані шукають факти які підтверджують гіпотези.

Існують ще треті, двонаправлені висновки в інформаційних системах. В них спочатку оцінюють не великий об’єм отриманих даних і вибирають гіпотезу прямим висновком. А потім за допомогою зворотнього висновку шукають дані (факти) що необхідні для приймання рішення по виконанні даної гіпотези. Такі системи є найбільш потужними.

  1. Переваги продукційної моделі представлення знань

Основними перевагами є:

• Універсальність - практично будь-яка область знань може бути представлена в продукційній формі;

• Модульність - кожна продукція являє собою елемент знань про предметну область; видалення одних і додавання інших продукцій виконується незалежно;

• Декларативність - продукції визначають ситуації предметної області, а не механізму керування;

• Природність процесу виведення, що багато в чому аналогічний процесу міркувань експерта;

• Асинхронність і природний паралелізм, що робить їх дуже перспективними для реалізації на рівнобіжних ЕОМ:

  1. Недоліки продукційної моделі представлення знань

  • складнощі управління продукційного висновку через складність оцінки цілісного образу знань;

  • відсутність гнучкості в логічному висновку;

  • низька ефективність обробки знань через тривалу не продуктивну перевірку застосовності правил;

  • складність представлення родовидової ієрархії понять в явній формі.



  1. Фреймова модель представлення знань:

Фреймові моделі представлення знань використовують теорію організації пам'яті, розуміння і навчання, запропоновану М.Мінським. Фрейм (від англ. frame - рамка, каркас, кістяк) - структура даних, призначена для представлення стереотипних ситуацій. Фрейм складається зі слотів (slot - гніздо, щілинка, паз). Значенням слота можуть бути числа, вираження, тексти, програми, посилання на інші фрейми. Сукупності фреймів утворюють ієрархічні структури, побудовані на родовидових ознаках, що дозволяє успадковувати значення слотів. Така властивість фреймів забезпечує ощадливе розміщення бази знань у пам'яті. Крім цього, значення слотів можуть обчислюватися за допомогою різних процедур, тобто фрейми комбінують у собі декларативні і процедурні представлення знань. Фреймові моделі можна розуміти як мережні моделі уявлення знань, коли фрагмент мережі представляється фреймом з відповідними слотами і значеннями. З фреймовими моделями зв'язані моделі представлення знань на основі сценаріїв і об'єктів. Знання, якими оперує людина, часто мають якісну природу, характеризуються неповнотою, неточністю, нечіткістю.

6. Фреймова модель представлення знань. Переваги фреймових моделей

Фреймові моделі представлення знань використовують теорію організації пам'яті, розуміння і навчання, запропоновану М.Мінським. Фрейм (від англ. frame - рамка, каркас, кістяк) - структура даних, призначена для представлення стереотипних ситуацій. Фрейм складається зі слотів (slot - гніздо, щілинка, паз). Значенням слота можуть бути числа, вираження, тексти, програми, посилання на інші фрейми. Сукупності фреймів утворюють ієрархічні структури, побудовані на родовидових ознаках, що дозволяє успадковувати значення слотів. Така властивість фреймів забезпечує ощадливе розміщення бази знань у пам'яті. Крім цього, значення слотів можуть обчислюватися за допомогою різних процедур, тобто фрейми комбінують у собі декларативні і процедурні представлення знань. Фреймові моделі можна розуміти як мережні моделі уявлення знань, коли фрагмент мережі представляється фреймом з відповідними слотами і значеннями. З фреймовими моделями зв'язані моделі представлення знань на основі сценаріїв і об'єктів. Знання, якими оперує людина, часто мають якісну природу, характеризуються неповнотою, неточністю, нечіткістю.

Переваги: 1) Ефективнысть структурованого опису складних понять ы рішень задач з різними способами висновку в наслідок різної виродженості родововидових зв'язків

2) Можливість економії робочої пам'яті комп'ютреа, оскількизначенняслотів зберігається в єдиному примірнику і включає лише той фрейм, який містить слот з даними фреймів

3) Допустимість обчислення значення будь-якого слота, за допомогою відповідних процедур або еврестики

7. Фреймова модель представлення знань. Недоліки фреймових моделей.

Фреймові моделі представлення знань використовують теорію організації пам'яті, розуміння і навчання, запропоновану М.Мінським. Фрейм (від англ. frame - рамка, каркас, кістяк) - структура даних, призначена для представлення стереотипних ситуацій. Фрейм складається зі слотів (slot - гніздо, щілинка, паз). Значенням слота можуть бути числа, вираження, тексти, програми, посилання на інші фрейми. Сукупності фреймів утворюють ієрархічні структури, побудовані на родовидових ознаках, що дозволяє успадковувати значення слотів. Така властивість фреймів забезпечує ощадливе розміщення бази знань у пам'яті. Крім цього, значення слотів можуть обчислюватися за допомогою різних процедур, тобто фрейми комбінують у собі декларативні і процедурні представлення знань. Фреймові моделі можна розуміти як мережні моделі уявлення знань, коли фрагмент мережі представляється фреймом з відповідними слотами і значеннями. З фреймовими моделями зв'язані моделі представлення знань на основі сценаріїв і об'єктів. Знання, якими оперує людина, часто мають якісну природу, характеризуються неповнотою, неточністю, нечіткістю.

Недоліки: висока істотна складність трудомісткість щодо внесення змін і знижуюча швидкість роботи і швидкість отримання висновку.

8. Модель семантичної мережі

Модель семантичної мережі представляє собою орієнтований позначений граф, вершини якого є поняття, а дугами – семантичні відносини між поняттями. В основу була покладена так звана семантична мережа – визначає смисл понять прородної людської мови. Об'єкти можуть виражати події, процеси, властивості об'єктів; вершини мережі сполучаються дугою, якщо відповідні об'єкти знаходяться у деякому відношенні. Наприклад, Студент отримує стипедію, вчться в університеті, це людина, здає екзамен у професора. Професор – це людина, працює в університеті. Університет – це ВНЗ. Як і в моделі фреймів в семантичній мережі можуть бути відображені видовидові відношення, що дозволяє реалізувати успадкування властивостей. Тому семантичні мережі мають всі переваги і недоліки представлення знань фреймової моделі. Основний недолік семантичних мереж – це збільшення часу пошуку і зростання розмірів мережі та складність обробки висновку.

9. Логічна модель представлення знань

Логічна модель представлення знань являє собою структурований набір відповідних речень(суджень) природної (людської) мови, поданих у вигляді логічних формул числення предикатів першого порядку.

Логічна модель містить у собі – елеменгти логіки, елементи обчислення висловлювань (силогістика Арістотеля), елементи вичислення предикатів( елементи вичислення предикатів І, ІІ, ІІІ порядків), елементи теорії множин (елементи класичної та альтернативних теорії множин), елементи теорії алгоритмів.

Предикат – це логічна функція, яка залежить від однієї чи декількох аргументів і приймає одне із двох значень – хибність або істина.

За допомогою логічних операторів (кон*юнкція, диз*юнкція, заперечення, імплікація, тотожнісьб, помилковість) можуь бути побудовані складні низки логічних значень (правил)

В основі знань лежить мова математичної логіки, яка поєднує логіку висловлювань і опис предикатів. Висловлювання називається вираз в якому стверджується або заперечується властивості об'єкта. Звідси можливі 2-а факти істинності або хибності. Використання алгебри логіки, будуються логічні висновки. На прикла: висловлювання «Тварина є птахом» виходить з двох інших висловлювань, а саме ЯКЩО тварина має пір'я І відкладає йця, ТО ця тварина є птахом.

10. Визначення інтелекту. Його відміності від алгоритму.

Інтелект – це здатність мозку вирішувати інтелектуальні задачі шляхом набуття, запам*ятовування і ціленаправленого перетворення знань у процесі навчання і адаптації до різних обставин.

Алгоритм – це точна послідовність дій, яка приводить до рішення задач.

З точки зору алгоритму – інтелект – це універсальний алгоритм, який може створювати інші алгоритми рішення конкретних задач.
11. Історія розвитку систем штучного інтелекту

XVIII ст. Лейбніц – розробив першу систему формальної логіки і розробив машину для автоматизації її обчислень В цей й же ж період відбувається формалізація теорії графів, де вузли графів розглядалися як теорії станів і розв’язок задача розглядався як пошук шляхів в множині графу станів.

XIX ст. поява праць Чарльза Бебіджа, Джона Буля. Зокрема останній створив формальну мову для опису мислення.

ХХ ст. зроблені важливі кроки для розуміння фундаментальних принципів ШІ. Зокрема праці Рассела, заявлено мету логічного виведення з набору аксіом шляхом формальних операцій.

1940р. – створено перший робочий комп. на електромагнітних реле. Призначався для розшифрування німецьких переговорів.

1945 р. – в університеті Пенсільванія створено комп. ENIAK. Його задача полягала в розрахунках балістичних таблиць. Побудовані перші нейронні мережі. Віннер створив галузь кібернетики, яка охоплювала матем. теорію для біологічних і матем. систем.

1949 р. – автор Хеббс відкрив спосіб створення нейронних мереж , що самонавчаються.

1950р. – відзначився в історії як роки народження штучної системи. Алан Тюринг запропонував спеціальний тест для розпізнавання інтелектуальних машин.

60-ті роки – стрибок в розвитку ШІ, який викликаний прогресом в комп. технологія та збільшенням кі-сті розробок в цій галузі. Найбільш важливі успіхи: представлення знань, реалізація комп. зору, робототехніки, обробки природньої мови.

70-ті роки – відбув. Спад інтересу до ШІ через те, що дослідникам не вдалося досягнути успіху у завищених обіцянках і у зв*язку із мінімальним практичним застосуванням. Все ж велись розробки, зокрема, винайдено і вик. Нечітку логіку, розроблено мову «Пролог».

80-ті роки – були у програмних реалізаціях експертних систем для прогнозування, діагностування, відроджується дослідження на нейронними мережами.

90-ті роки – епоха розвитку слабкого ШІ, зокрема розробки впровадженні в ряді додатків, таких як розпізнавання облич, системи розпізнавання прибутку, кредитних карток, розвиток в космічній галузі.

В цілому історично склалися 3 основних напрямки в моделюванні ШІ:

-1-й – об’єктом дослідження є стуктура і механізм роботи людського мозку, а кінцевою метою – розкриття сутності мислення

-2-й - в якості дослідження об’єкта розглядається ШІ. Метою є створення алгоритмічного та ПЗ, яке дозволяє вирішувати інтелектуальні задачі не гірше людини.

-3-й – орієнтований на створення змішаних інтерактивних інтелектуальних систем.

12. Характеристики інтелектуальних задач систем штучного інтелекту

Одна із поширених задач – ігрове середовище. В більшості ігор застосовуються набір чітких правил, що дозволяють вести пошук по іншому. Ігри можуть породжувати великий простір станів, тому для пошуку потрібні потужні методи, котрі визначають, які альтернативи потрібно розглядати. Більшість вик. евристичні методи. Інші задачі. Автоматичні міркування та доведення АОМ. Автоматичне доведення теорем одна з найдавніших методів ШІ. Завдяки дослідженням у галузі доведення теорем було формалізовано алгоритм пошуку, а також розроблені мови формальних зображень – логічні. Такі методи базуються на логіці.

Практичне застосування знаходять у перевірці конкретних програм при проектуванні складних систем пошуку інформації.

Експертні системи – це поєднання теоретичного розуміння проблеми і набору правил для її вирішення, які є ефективними в даній предметній галузі. Вони створюються за допомогою запозичених знань у людини експерта і кодування їх у форму, яку комп. може застосовувати до аналогічних проблем.

13. Основні напрями в розвитку систем штучного інтелекту

В цілому виділяють 3 напрямки:

1-а частина фахівців вважають, що частину інформації можна взяти на комп., які дозоляють отримати результат подібно людському, або ще й кращий. Пр. гра в шахи, шашки.

2-а частина фахівців вважає, що ШІ повинен імітувати не розв*язок окремих задач, а базуватися на створенні автоматично генерованим програм рішень задач.

3-а частина – програмісти, які створюють програми для розв*язку задач ШІ, вважають, що засоби створення ПП і носить такий характер.

14. Підходи до побудови систем штучного інтелекту

Існує що найменше 2-і точки зору щодо того що вважати ШІ. Перша називається нейробінічна. ЇЇ прихильники ставлять перед собою мету створити штучним чином такі процеси, які протікають в мозку людини. Це шлях дослідження мозку людини, виявлення способу його роботи, створення біологічних структур і процесів, які в них протікають.

Друга точка зору є домінуючою в ШІ називають інформаційною. ЇЇ прихильники вважають, що основною метою в ШІ є не побудова аналогав штучній системі, а створення засобів для розв’язку задач, які є постійно інтелектуальними.

15. Логічний підхід до побудови систем штучного інтелекту

Логічний підхід, на даний час є уже часто використовуваним в ШІ. Він сам включає в себе декілька інших елементів логіки:

1. Елементи вичислення висловлень (Силогістика Арістотеля)

2. Елементи вичислення предикатів( Елементи вичислення предикатів І порядку, Елементи вичислення предикатів ІІ порядку, «Некласичні» ви числення)

3. Елементи теорії множин

- Елементи класичної теорії множин (Георг Кантор)

- Елементи альтернативних теорії множин (Заде, Гаск та ін.)

4. Елементи теорії алгоритмів (Тюринг, Черч і Клинин)

Історично, першою моделлю для представлення знань стала класична логіка Арістотеля, яка і заложила фундамент для всіх інших логічних теорій.

Суть побудови будь-якої формальної теорії полягає в тому, щоб виразити розумові процеси формально.

Різні логічні теорії мають свої переваги при реалізації моделей в різних мікросвітах. Так, наприклад, семантика силогістики Арістотеля дуже близька до природньої мови, тому результати формального виводу легко інтерпретувати. Виводи, які отримуємо на основі вичислення предикатів, вже не в повній мірі співпадають із семантикою природньої мови, їх важче інтерпретувати, але моделі на основі вичислення предикатів виходять набагато компактнішими та осяжнішими. Моделі на основі логіки Л. Заде дозволяють оперувати розмитими поняттями, але такі результати інтерпретувати важче і навіть не завжди можливо.
16. Структурний підхід до побудови штучного інтелекту.

Під структурним підходом маються на увазі спроби побудови ШІ шляхом моделювання структури людського мозку. Однією з перших таких спроб був перцептрон Ф. Розенблатта. Основний модельованої структурною одиницею в перцептронах (як і в більшості інших варіантів моделювання мозку) є нейрон. Пізніше виникли і інші моделі, відомі під загальною назвою «нейронні мережі» (НС). Моделі ці розрізняються за будовою окремих нейронів, за топологією зв'язків між ними і за алгоритмами навчання. Серед найбільш відомих варіацій НС можна назвати НС зі зворотним поширенням помилкимережі Хопфілда та стохастичні нейронні мережі.
  1   2   3   4   5

скачати

© Усі права захищені
написати до нас