Под условием понимается некоторое предложение-образец, по которому осуществляется поиск в базе знаний, а под действием – действия, выполняемые при успешном исходе поиска.
База знаний состоит из набора правил. Программа, управляющая перебором правил, называется машиной вывода. Данные – это исходные факты, на основании которых запускается машина вывода.
