Соколовский Артём 4381, Богданов Никита 4381
Как систему лингвистических утверждений представить в виде набора логических правил, а задачу анализа — как задачу вывода. В качестве практического примера можно построить механизм вывода на основе правил.
