知識と推論 (Information Science & Engineering)