loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2
Edinburgh, Scotland
July 26-July 28
ISBN: 0-7695-2413-3
Tony Abou-Assaleh, Dalhousie University
Nick Cercone, Dalhousie University
Vlado Kešelj, Dalhousie University
Classical unification is strict in the sense that it requires a perfect agreement between the terms being unified. In practise, data are seldom error-free and can contain incorrect information. Classical unification fails when the data are imperfect. Relaxed unification is a new formalism that relaxes the rigid constraints of classical unification and enables reasoning under uncertainty and in the presence of inconsistent data. We propose a probabilistic evaluation function to evaluate the degree of mismatches in relaxed terms and illustrate its use with an example.
Citation:
Tony Abou-Assaleh, Nick Cercone, Vlado Kešelj, "A Probabilistic Evaluation Function for Relaxed Unification," compsac, vol. 2, pp.35-36, 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 2, 2005
Usage of this product signifies your acceptance of the Terms of Use.