Понятие лежащее в основе символьно-логических интеллектуальных систем и вывода знаний в них, задаваемое четверкой вида ФС=
, называется … (введите словосочетание в именительном падеже).