知識蓄積型推論データベースの開発、応用