Learning algorithms in a class of knowledge-based systems

A control system with a static plant described by knowledge representation in the forms of relations and of logical formulas is considered. The learning process consists in using successive knowledge validation and updating it to make current control decisions. Two approaches and algorithms are described: one for the validation and updating of knowledge about the plant, and one on the form of control. In both cases two versions are presented: the learning process in either an open-loop or a closed-loop control system. For a plant with logical knowledge representation, the logic-algebraic method is applied.