形式論理によって知識を構造化する