Набор определенных начальных аксиом и правил вывода является ...
(Отметьте один правильный вариант ответа.)
Варианты ответа
искусственным интеллектом
неформальной системой
формальной системой(Верный ответ)