17. Представлення знань в іспр за допомогою логічної моделі. Навести приклад.

Логічні моделі подання знань засновані на понятті формальної системи. Їхніми прикладами можуть бути числення предикатів і будь-яка конкретна система продукцій. Ці моделі є дедуктивними системами; у них використовується модель виведення з заданої системи посилок за допомогою фіксованої системи правил. Подальший розвиток предикатних систем пов’язаний з переходом до індуктивних систем, у яких правила виведення породжуються на основі обробки кінцевого числа навчаючих прикладів. Перспективний напрямок – розвиток псевдофізичних логік, що, як і індуктивні моделі, поки не одержали широкого практичного застосування. Логічні моделі включають моделі на основі числення висловлювань та продукційні моделі. Наведемо приклад реалізації логічної моделі у вигляді продукційної. Продукційна модель – найпростіший засіб подання знань. Вони складаються з продукційних правил типу "Якщо А, то В". А називають посилкою (умовою, антецедентом), а В – дією (консеквентом). Це означає, що "якщо всі умови А є істинними, тоді В – також істинне" або "якщо всі умови А виконуються, тоді потрібно виконати дію В". Приміром, якщо дати Келлі Ладі команду та показати шматок м’яса, тоді вона дасть лапу. Якщо ж м’ясо не показувати, то лапу вона не дасть, навіть почувши команду.

18. Представлення знань в іспр за допомогою семантичних мереж. Навести приклад.

Семантична мережа — інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а ребра задають відносини між ними. Об'єктами можуть бути поняття, події, властивості, процеси. Таким чином, семантична мережа є одним із способів представлення знань. У назві сполучені терміни з двох наук: семантика у мовознавстві вивчає сенс одиниць мови, а мережа в математиці є різновидом графу — набору вершин, сполучених дугами (ребрами). У семантичній мережі роль вершин виконують поняття бази знань, а дуги (причому направлені) задають відношення між ними. Таким чином, семантична мережа відображає семантику предметної області у вигляді понять і відносин між ними. Основною формою представлення семантичної мережі є граф. Поняття семантичної мережі записуються в овалах або прямокутниках і з'єднуються стрілками з підписами — дугами. Це найзручніша форма яка сприймається людиною. Її недоліки виявляються, коли ми починаємо будувати складніші мережі або намагаємося врахувати особливості природної мови.

19. Представлення знань в іспр за допомогою фреймової моделі. Навести приклад.

Фрейм – це структура даних, призначена для подання стереотипних (ста- ндартних) ситуацій. Фрейм є системно-структурним описом предметної області (події, явища, ситуації, стану і т.п.), що містить на підставі її семантичних ознак порожні рольові позиції (слоти), які після заповнення конкретними даними пере- творюють фрейм у носій конкретного знання про предметну область. Фрейм можна розглядати як фрагмент семантичної мережі, змістовно виражений структурою даних із при’єднаними процедурами обробки цих даних, призначений для опису об’єкта (ситуації) проблемного середовища з усією сукупністю властивих йому властивостей. Основна ідея фреймового підходу до подання знань – більш тверде, ніж при підході, заснованому на семантичній мережі, виділення об’єктів і ситуацій проблемного середовища й їхніх властивостей, тобто усе, що стосу- ється об’єкта або ситуації і є важливим з позицій розв’язуваних задач, не «розмивається по мережі», а подається у фреймі. Фрейм можна подати у вигляді таблиці, дерева, формули.