Модели за извод на знанието
Кратък отговор на изпитния въпрос за курса FIS - системи за изкуствен интелект (всички въпроси).
Механизмът за извод осигурява формирането на заключения, възприемайки входните факти като елементи на правилата, търсейки правилата, които включват въведените факти, и актуализирайки онези части от постановките, които съответстват на въведените факти. Теоретичната основа за изграждане на механизма за извод е теорията на Пощенската машина.
Механизмът за извод изпълнява функциите за търсене в основата на правилата, последователно изпълнение на операции върху знанията и получаване на заключения. Има два начина да се направят такива изводи - директно заключение и обратно заключение.
Директно изтегляне
Нека има набор от продукти под формата на вериги от правила:
A -> B; B -> C; C -> D; D -> E; F -> G; G -> H; H -> D;
Пряките изводи (права линия на разсъждение) съответстват на движението от помещения към последици.
Механизмът за извод, използващ директен извод, избира факта, вписан в базата данни (работна памет) като извадка, и ако при съвпадение той се съгласи с предпоставката на правилото, тогава се прави заключение Б, което също се поставя в базата данни като факт, описващ състоянието на предметната област ... Постоянно се показват нови резултати, започвайки с вече познатите. Липсата на връзка между фактите обаче може да доведе до прекратяване на процедурата и не може да се получи краен резултат. Това се счита за основния недостатък на механизмите за директно извеждане и изисква потребителят да знае цялата структура на модела на домейна. Този недостатък е особено очевиден, когато в базата от знания се включват нови факти и правила: ако те не са свързани във верига със съществуващите факти, те стават баласт - механизмът за извод никога няма да ги намери. От тази гледна точка използването на обратната верига на разсъждения е за предпочитане.