Relaxed Unification - Proposal

Abstract. The traditional 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. Traditional unification fails when the data is imperfect. We propose relaxed unification as a new theory that relaxes the constraints of the traditional unification. The goal of relaxed unification is to tolerate possible errors and inconsistencies in the data and facilitate reasoning under uncertainty.

• Type: Journal
• Year: 2002
• Where: AI
• Authors: Tony Abou-Assaleh, Nick Cercone
• Keywords: AI 2002, Artificial Intelligence, Incorrect Information, Perfect Agreement, Traditional Unification