Представление базы знаний Prolog в виде дерева - PullRequest
Новая
       22

Представление базы знаний Prolog в виде дерева

2 голосов
/ 09 марта 2020

Я должен создать алгоритм поиска для базы знаний. КБ изначально имеет форму правил, например: 

a :- b, c.
a :- d
b.
d.

, которые можно представить в виде списка [[a,b,c], [a,d], [b], [d]]. Или это может быть представлено в виде дерева: 

         [a]
          |
    -------------
    |           |
  [b,c]        [d]
    |           |
   [c]         [ ]

Однако я не понимаю причины этих представлений. Это обычная абстракция, которая используется в Прологе? (Я все еще новичок в этом). Одноклассник сказал мне, что его также можно рассматривать как FSM, где [b,c] и [d] - конечные состояния. Но, похоже, это тоже не имеет смысла, поскольку [b,c] не имеет дочернего узла, тогда как [d] имеет.

Есть ли какой-то консенсус относительно того, как можно представить / посмотреть базу знаний? У меня проблемы с поиском связей между каждым представлением и тем, что они значат. Я прошу прощения за неопределенность моего вопроса, но у меня так мало знаний о Прологе и базах знаний, что я не знаю, как это задать. Если это поможет, это курс ИИ. Любое понимание приветствуется, спасибо!

...