Relaxed unification--Proposal

Classical unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practice, data is seldom error-free and can contain incorrect information. Classical unification fails when the data is imperfect. Fuzzy unification partially addresses uncertainty but requires the creation of fuzzy databases. We propose relaxed unification as a new theory that relaxes the constraints of classical unification without requiring special preprocessing of data. The goal of relaxed unification is to tolerate possible errors and inconsistencies in the data and facilitate reasoning under uncertainty.