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 modeling it is very important for simulating creativity.