правила пользования сведениями базы знаний определяются грамматикой некоторого заданного формального ...