The problem of language differences typically arises when knowledge is obtained from several different sources (human or not). As Shaw and Gaines [1989] have pointed out, that same term can have different meaning in different systems. They call this situation a conflict. Different terms may, however, have identical meanings. Shaw and Gaines call this situation a correspondence.
System INTEG3.1 deals with the problem of conflict, but not of correspondence. The system uses empirical evidence to decide whose definition of a given concepts is 'best'. There is no contention as to the concept names. We have examined the problem of correspondence and found that standard ML techniques can be used to acquire the meaning of other agents<< concepts [Brazdil and Muggleton, 1990]. For example, these techniques can determine the relationship between the concepts of parent and father.