This thesis presents a development environment for Design Expert Systems that features a new language where the roles of knowledge and the way it is brought to bear are predefined by the solution method., The language also allows knowledge to…