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

Коротка відповідь на екзаменаційне питання курсу СІІ — системи штучного інтелекту (всі питання).

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

  • O - онтологія,
  • С - сукупність концептів предметної області,
  • R - сукупність відносин між ними,
  • A — набір аксіом (законів та правил, що описують закони та принципи існування концептів).

Класифікація онтологій

По глибині опрацювання всі онтології поділяються на:

  • «вагомі» онтології (Heavy-weighted), що містять аксіоми
  • «легкі» (Light-weighted), що їх не містять

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

Формальна модель онтології

  • Х – кінцева множина концептів предметної області,
  • R – кінцева множина відносин між концептами,
  • Ф – звичайно безліч функцій інтерпретації, заданих уонтології.

Обмеження на X – кінцівка та не порожнеча. R, Ф - кінцеві, але іноді можуть бути порожніми.

Нехай R = 0, Ф = 0. Тоді онтологія Х трансформується у простий словник:

У разі R = 0, Ф != 0 кожному елементу Х може бути поставлена ​​у відповідність функція інтерпретації f з Ф.

  • Х1 – безліч інтерпретованих термінів,
  • Х2 - безліч інтерпретують термінів.