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