有川節夫
知識の帰納的推論 E.Y.Shapiro 共立出版 1986.7(知識情報処理シリーズ)