Без заголовка

здесь под знаниями я понимал информацию, способы ее получения, схемы преобразования, способы ее отображения. Допустим для формальной логики это набор символов, которыми мы оперируем (если добавить договоренность об обозначениях - это и есть способы отображения), набор базисных правил (b+c -> d - b и c - здесь это информация, само выражение - это способ преобразования).