В основе символьно-логических интеллектуальных систем вывода знаний лежит понятие формальной системы, которая включает: аксиомы;, алфавит;, правила ввода;, правила вывода;, синтаксис;, теоремы;