Представлення знань - Історія редагувань

111 в 22:18, 18 лютого 2018

2018-02-18T22:18:21Z

111 в 09:32, 18 лютого 2018

2018-02-18T09:32:22Z

111 в 16:45, 17 лютого 2018

2018-02-17T16:45:31Z

111 в 16:07, 17 лютого 2018

2018-02-17T16:07:10Z

111 в 14:20, 17 лютого 2018

2018-02-17T14:20:08Z

111 в 14:03, 17 лютого 2018

2018-02-17T14:03:11Z

111 в 13:41, 16 лютого 2018

2018-02-16T13:41:49Z

111 в 13:29, 16 лютого 2018

2018-02-16T13:29:48Z

111 в 13:20, 16 лютого 2018

2018-02-16T13:20:47Z

111 в 13:00, 16 лютого 2018

2018-02-16T13:00:20Z

← Попередня версія		Версія за 22:18, 18 лютого 2018
Рядок 97:		Рядок 97:


−	'''Виконала Поліщук Дарія'''	+	'''Виконала [[Поліщук Дарія]]'''

← Попередня версія		Версія за 09:32, 18 лютого 2018
Рядок 95:		Рядок 95:
	що означає "Всі люди смертні". База знань Cyc розділена на ряд збірок знань, що називаються мікротеоріями. Мікротеорія - це протиріччя, вільне від понять та фактів про певну область знань (наприклад, онтологія). Мікротеорії можуть бути пов'язані один з одним і організовані в ієрархію, що підтримує наслідування.		що означає "Всі люди смертні". База знань Cyc розділена на ряд збірок знань, що називаються мікротеоріями. Мікротеорія - це протиріччя, вільне від понять та фактів про певну область знань (наприклад, онтологія). Мікротеорії можуть бути пов'язані один з одним і організовані в ієрархію, що підтримує наслідування.
	Розвиток Cyc та його механізм висновків триває, але основна робота зосереджена, перш за все, на інженерії знань або знаннях про ручне кодування, і правила для представлення основних знань про здоровий глузд.		Розвиток Cyc та його механізм висновків триває, але основна робота зосереджена, перш за все, на інженерії знань або знаннях про ручне кодування, і правила для представлення основних знань про здоровий глузд.
		+
		+
		+	'''Виконала Поліщук Дарія'''

@@ Рядок 70: / Рядок 70: @@
 == Семантична павутина ==
-Семантична павутина - це назва, яка спрямована змінити визначення та інтерпретацію Інтернету. Сьогодні Інтернет складається з хостів і вмісту, який переважно визначається за допомогою гіпертекстової мови розмітки (або HTML). Ця мова забезпечує спосіб додати текстуру до веб-сторінок, тому замість того, щоб просто бути текстовими документами, до них може бути додана й інша інформація, така як аудіо чи графічна інформація. Але HTML просто забезпечує спосіб прикрасити вміст так, що він може бути винесений в пристрої самостійно.
+Семантична павутина - це назва, яка спрямована змінити визначення та інтерпретацію [[Інтернет|Інтернету]]. Сьогодні [[Інтернет]] складається з хостів і вмісту, який переважно визначається за допомогою гіпертекстової мови розмітки (або HTML). Ця мова забезпечує спосіб додати текстуру до веб-сторінок, тому замість того, щоб просто бути текстовими документами, до них може бути додана й інша інформація, така як аудіо чи графічна інформація. Але HTML просто забезпечує спосіб прикрасити вміст так, що він може бути винесений в пристрої самостійно.
 == Онтологія ==

@@ Рядок 38: / Рядок 38: @@
 == Логіка висловлень ==
-[[Логіка висловлень]], також відома як сентенціальна логіка, є формальною системою, в якій знання представлені як висловлюання. Далі ці висловлювання можна об'єднати різними способами за допомогою логічних операторів. Ці вирази можна інтерпретувати як правила, що зберігають правильність виводів, які можуть бути використані для отримання нових знань із старих або тестування існуючих знань.
+[[Логіка висловлень]], також відома як сентенціальна логіка, є формальною системою, в якій знання представлені як [[Висловлювання (логіка)|висловлювання]] . Далі ці [[Висловлювання (логіка)|висловлювання]] можна об'єднати різними способами за допомогою логічних операторів. Ці вирази можна інтерпретувати як правила, що зберігають правильність виводів, які можуть бути використані для отримання нових знань із старих або тестування існуючих знань.
-По-перше, давайте розглянемо висловлювання. Висловлювання - це твердження або просте декларативне речення. Наприклад, "лобстер дорогий" - це висловлювання. Зауважте, що визначення істини не покладено на це висловлювання; це може бути або істиною, або хибою. З точки зору бінарної логіки, це висловлювання може бути хибним в штаті Массачусетс, але це правда в Колорадо. Але висловлювання завжди має значення істинності. Отже, для будь-якого висловлювання ми можемо визначити істинне значення на основі таблиці істинності (див. Малюнок 5.4). Простіше кажучи, для будь-якого твердження це може бути або істиною, або хибою.
+По-перше, давайте розглянемо [[Висловлювання (логіка)|висловлювання]] . [[Висловлювання (логіка)|висловлювання]]  - це твердження або просте декларативне речення. Наприклад, "лобстер дорогий" - це [[Висловлювання (логіка)|висловлювання]] . Зауважте, що визначення істини не покладено на це [[Висловлювання (логіка)|висловлювання]] ; це може бути або істиною, або хибою. З точки зору бінарної логіки, це [[Висловлювання (логіка)|висловлювання]]  може бути хибним в штаті Массачусетс, але це правда в Колорадо. Але [[Висловлювання (логіка)|висловлювання]]  завжди має значення істинності. Отже, для будь-якого [[Висловлювання (логіка)|висловлювання]]  ми можемо визначити істинне значення на основі таблиці істинності (див. Малюнок 5.4). Простіше кажучи, для будь-якого твердження це може бути або істиною, або хибою.
-Ми також можемо заперечити наше висловлювання, щоб перетворити його в протилежну цінність. Наприклад, якщо P (наше висловлювання) є "лобстер дорогий", то ~ P - "лобстер не дорогий". Це представлено в таблиці істинності, як показано на малюнку 5.5.
+Ми також можемо заперечити наше [[Висловлювання (логіка)|висловлювання]] , щоб перетворити його в протилежну цінність. Наприклад, якщо P (наше [[Висловлювання (логіка)|висловлювання]] ) є "лобстер дорогий", то ~ P - "лобстер не дорогий". Це представлено в таблиці істинності, як показано на малюнку 5.5.
-Висловлювання також можуть бути об'єднані для створення складних висловлювань. Перший, називається кон'юнкцією, істинний, лише якщо обидві кон'юнкти є істинними (P і Q). Друга назва - диз'юнкції, є істиною, якщо принаймні один з розбіжностей є істинним (P або Q). Таблиці істинності для них показані на малюнку 5.6. Сила логіки висловлювань вступає у гру, використовуючи умовні форми. Дві основні форми називаються [[Modus Ponens]] і Modus Tollens. [[Modus Ponens]] визначається як:
+[[Висловлювання (логіка)|Висловлювання]]  також можуть бути об'єднані для створення складних [[Висловлювання (логіка)|висловлювань]] . Перший, називається кон'юнкцією, істинний, лише якщо обидві кон'юнкти є істинними (P і Q). Друга назва - диз'юнкції, є істиною, якщо принаймні один з розбіжностей є істинним (P або Q). Таблиці істинності для них показані на малюнку 5.6. Сила логіки [[Висловлювання (логіка)|висловлювань]]  вступає у гру, використовуючи умовні форми. Дві основні форми називаються [[Modus Ponens]] і Modus Tollens. [[Modus Ponens]] визначається як:
 [[Файл:pic4.png|300px|thumb|right|Мал. 5.4 та 5.5]]
@@ Рядок 65: / Рядок 65: @@
 Хоча [[логіка висловлень]] корисна, вона не може відображати загальну логіку компактно та лаконічно. Наприклад, формула з N змінних має 2 ** N різних інтерпретацій. Це також не підтримує зміни в базі знань просто.
-	Істина цінності висловлень також може бути проблематичною, наприклад; розглянемо складне висловлювання нижче. Це вважається істиною (використовуючи [[Modus Ponens]], де P -> Q є істиною, коли P є хибою і Q хибою, див. Малюнок 5.7).
+	Істина цінності висловлень також може бути проблематичною, наприклад; розглянемо складне [[Висловлювання (логіка)|висловлювання]]  нижче. Це вважається істиною (використовуючи [[Modus Ponens]], де P -> Q є істиною, коли P є хибою і Q хибою, див. Малюнок 5.7).
 	Якщо собаки можуть літати, то коти можуть літати.
-	Обидва твердження, очевидно, є помилковими, і далі, між ними немає зв'язку. Але з точки зору логіки висловлень вони синтаксично правильні. Основна проблема з логікою висловлень полягає в тому, що всі висловлювання представлені як єдиний символ. У наступному розділі ми розглянемо інше логічне подання, яке дає можливість точнішого контролю та більш точного представлення середовища.
+	Обидва твердження, очевидно, є помилковими, і далі, між ними немає зв'язку. Але з точки зору логіки висловлень вони синтаксично правильні. Основна проблема з логікою висловлень полягає в тому, що всі [[Висловлювання (логіка)|висловлювання]]  представлені як єдиний символ. У наступному розділі ми розглянемо інше логічне подання, яке дає можливість точнішого контролю та більш точного представлення середовища.
 == Семантична павутина ==

@@ Рядок 3: / Рядок 3: @@
 З точки зору [[Штучний інтелект|штучного інтелекту]](AI), представлення знань займається пізнавальною наукою, що представляє знання. Як, наприклад, люди зберігають і маніпулюють інформацією? Багато схем раннього представлення були результатом цього дослідження, наприклад, семантичні мережі.
-У цьому розділі буде розглянуто різні схеми подання знань, від ранніх форм представлення до сучасних методів, таких як Семантична павутина (Semantic Web). Ми також дізнаємося про деякі механізми для передачі знань, які б використовувались в мультиагентих системах.
+У цьому розділі буде розглянуто різні схеми подання знань, від ранніх форм представлення до сучасних методів, таких як Семантична павутина (Semantic Web). Ми також дізнаємося про деякі механізми для передачі знань, які б використовувались в [[Мультиагентна система|мультиагентих системах]].
 == Типи знань ==

@@ Рядок 27: / Рядок 27: @@
 == Фрейми ==
-Фрейми, представлені Марвіном Мінським, є ще однією технікою представлення, яка складалася з семантичних мереж (кадри можна розглядати як реалізація семантичних мереж). Але в порівнянні з семантичними мережами, фрейми структуровані і дотримуються більш об'єктно-орієнтованої абстракції з більшою структурою. Представлення знань, основане на фреймах, базується на концепції фрейму, яка являє собою набір слотів, які можуть бути заповнені значеннями або посиланнями на інші фрейми (див. Рис. 5.2).
+Фрейми, представлені [[Марвін Мінський|Марвіном Мінським]], є ще однією технікою представлення, яка складалася з семантичних мереж (кадри можна розглядати як реалізація семантичних мереж). Але в порівнянні з семантичними мережами, фрейми структуровані і дотримуються більш об'єктно-орієнтованої абстракції з більшою структурою. Представлення знань, основане на фреймах, базується на концепції фрейму, яка являє собою набір слотів, які можуть бути заповнені значеннями або посиланнями на інші фрейми (див. Рис. 5.2).
 [[Файл:pic2.png|300px|thumb|left|Мал. 5.2]]

@@ Рядок 79: / Рядок 79: @@
 Наявність величезного сховища знань є найбільш корисним, якщо його можна розділити та використовувати з різних точок зору. Можливість ділитися знаннями дозволяє декількома розрізненими агентами кооперативно використовувати наявні знання та змінювати знання.
-	Приклади протоколів, що дозволяють обмінюватися знаннями між агентами, включають в себе веб-онтологічну мову (OWL), що використовується в Семантичній павутині, мову управління знань та запитів до знань (KQML) та список контролю доступу (ACL).
+	Приклади протоколів, що дозволяють обмінюватися знаннями між агентами, включають в себе [[Web Ontology Language|веб-онтологічну мову]] (OWL), що використовується в Семантичній павутині, мову управління знань та запитів до знань (KQML) та список контролю доступу (ACL).
 == Здоровий глузд ==

@@ Рядок 75: / Рядок 75: @@
 Онтологія є основним поняттям у сучасному представленні знань, хоча ідеї, що стоять за нею, існували з початку представлення знань. Онтологія з точки зору [[Штучний інтелект|штучного інтелекту]] - це модель, яка представляє собою сукупність понять у конкретній області, а також взаємозв'язок між цими поняттями.
 Нагадаємо приклад семантичної мережі на Малюнку 5.1. Це онтологія для області місць і столиць. Тип відносин "is-a" визначає ієрархічну таксономію, яка визначає, як об'єкти відносяться один до одного.
-Цікаве використання онтології у формі мови як засобу кодування онтології з метою передачі знань між двома сутностями (агентами). Це буде розглянуто в наступному розділі.
+Цікаве використання онтології у формі мови як засобу кодування онтології з метою передачі знань між двома сутностями (агентами).
 == Подання знань ==

@@ Рядок 35: / Рядок 35: @@
 [[Файл:pic3.png|200px|thumb|right|Мал. 5.3]]
 Нарешті, у цьому прикладі ми також посилаємося на загальні фрейми через порівняння. Ми визначаємо, що екземпляр "Archer" сильніший за екземпляр фрейму "Pikeman".
-Відрізняють фрейми від семантичних мереж активні компоненти, які викликають побічні ефекти при створенні, маніпуляціях або видаленні фреймів. Є навіть елементи, які контролюють дії для маніпуляцій на рівні слотів. Вони можуть розглядатися як тригери, але вони також називаються Demons. Додавання тригерів до мови представлення фрейму називається процедурним прикріпленням і являє собою спосіб включити до фрейм-представлення можливості впливу
+Відрізняють фрейми від семантичних мереж активні компоненти, які викликають побічні ефекти при створенні, маніпуляціях або видаленні фреймів. Є навіть елементи, які контролюють дії для маніпуляцій на рівні слотів. Вони можуть розглядатися як [[Тригер|тригери]], але вони також називаються Demons. Додавання [[Тригер|тригерів]] до мови представлення фрейму називається процедурним прикріпленням і являє собою спосіб включити до фрейм-представлення можливості впливу
 == Логіка висловлень ==

@@ Рядок 2: / Рядок 2: @@
 == Введення ==
-З точки зору штучного інтелекту(AI), представлення знань займається пізнавальною наукою, що представляє знання. Як, наприклад, люди зберігають і маніпулюють інформацією? Багато схем раннього представлення були результатом цього дослідження, наприклад, семантичні мережі.
+З точки зору [[Штучний інтелект|штучного інтелекту]](AI), представлення знань займається пізнавальною наукою, що представляє знання. Як, наприклад, люди зберігають і маніпулюють інформацією? Багато схем раннього представлення були результатом цього дослідження, наприклад, семантичні мережі.
 У цьому розділі буде розглянуто різні схеми подання знань, від ранніх форм представлення до сучасних методів, таких як Семантична павутина (Semantic Web). Ми також дізнаємося про деякі механізми для передачі знань, які б використовувались в мультиагентих системах.
 == Типи знань ==
@@ Рядок 11: / Рядок 11: @@
 == Роль знань ==
-З контексту штучного інтелекту, представлення знань зосереджується на використанні цих знань для вирішення проблем, а також на тому, що знання є більш ніж фактичною інформацією. Тому важливим є спосіб зберігання знань. Наприклад, ми можемо зберігати знання в читабельній для людини формі і використовувати його (наприклад, як цю книгу), але знання, що зберігаються у цій формі, не є дуже корисними для штучного інтелекту. Тому знання повинні зберігатися таким чином, щоб штучний інтелект міг їх знаходити, і при необхідності отримувати нові знання.
+З контексту [[Штучний інтелект|штучного інтелекту]], представлення знань зосереджується на використанні цих знань для вирішення проблем, а також на тому, що знання є більш ніж фактичною інформацією. Тому важливим є спосіб зберігання знань. Наприклад, ми можемо зберігати знання в читабельній для людини формі і використовувати його (наприклад, як цю книгу), але знання, що зберігаються у цій формі, не є дуже корисними для [[Штучний інтелект|штучного інтелекту]]. Тому знання повинні зберігатися таким чином, щоб [[штучний інтелект]] міг їх знаходити, і при необхідності отримувати нові знання.
 Основна мета представлення знань полягає в тому, щоб дозволити інтелектуальному об'єкту (програмі) з базою знань приймати розумні рішення щодо його оточення. Це може втілити втілений агент, який знає, що вогонь гарячий (і його слід уникати), або що вода в деяких випадках може бути використана для гасіння вогню. Це також може бути використано для того, щоб припустити, що повторні спроби входу в захищену адресу потенційно є спробою зламати пристрій, а також, що одночасна адреса, пов'язана з цією діяльністю, може бути відстежувана в інших видах діяльності.
 == Семантичні мережі ==
@@ Рядок 73: / Рядок 73: @@
 == Онтологія ==
-Онтологія є основним поняттям у сучасному представленні знань, хоча ідеї, що стоять за нею, існували з початку представлення знань. Онтологія з точки зору штучного інтелекту - це модель, яка представляє собою сукупність понять у конкретній області, а також взаємозв'язок між цими поняттями.
+Онтологія є основним поняттям у сучасному представленні знань, хоча ідеї, що стоять за нею, існували з початку представлення знань. Онтологія з точки зору [[Штучний інтелект|штучного інтелекту]] - це модель, яка представляє собою сукупність понять у конкретній області, а також взаємозв'язок між цими поняттями.
 Нагадаємо приклад семантичної мережі на Малюнку 5.1. Це онтологія для області місць і столиць. Тип відносин "is-a" визначає ієрархічну таксономію, яка визначає, як об'єкти відносяться один до одного.
 Цікаве використання онтології у формі мови як засобу кодування онтології з метою передачі знань між двома сутностями (агентами). Це буде розглянуто в наступному розділі.
@@ Рядок 82: / Рядок 82: @@
 == Здоровий глузд ==
-Комп'ютерні системи, що включають в себе певні форми штучного інтелекту для даної проблемної галузі, все ще можна правильно вважати нерозумними, оскільки їм не вистачає одних з найбільш фундаментальних знань, які називаються здоровим глуздом. Наприклад:
+Комп'ютерні системи, що включають в себе певні форми [[Штучний інтелект|штучного інтелекту]] для даної проблемної галузі, все ще можна правильно вважати нерозумними, оскільки їм не вистачає одних з найбільш фундаментальних знань, які називаються здоровим глуздом. Наприклад:
 "	Об'єкти падають на Землю (внаслідок сили тяжіння), а не вгору від Землі.