Expertensystemshell DEDUC / Wissensdynamik mit DEDUC