Abstract

Deduction Net is a model, which was proposed in [1] and [2]. It can be used to represent knowledge. Some algorithms that imitate the thinking process of human being were given and they can be used to solve problems on computers automatically. In this paper we consider the problem of finding an optimal solution on deduction nets and the concept “generated set”, which is useful for solving the hypothesis completion problem as well as finding a set of attributes generating all of attributes.