A Kuro5hin article on an artificial intelligence program that can do analogies, with a very interesting take on “Relational Mathematics”.

http://www.kuro5hin.org/story/2005/5/26/192639/466

Analogical reasoning is considered very important for creativity, and therefore modelling it is very important for simulating creativity.