Hi Ben, Note that I did not pick FOL as my starting point because I wanted to go against you, or be a troublemaker. I chose it because that's what the textbooks I read were using. There is nothing personal here. It's just like Chinese being my first language because I was born in China. I don't speak bad English just to sound different.
I think the differences in our approaches are equally superficial. I don't think there is a compelling reason why your formalism is superior (or inferior, for that matter). You have domain-specific heuristics; I'm planning to have domain-specific heuristics too. The question really boils down to whether we should collaborate or not. And if we want meaningful collaboration, everyone must exert a little effort to make it happen. It cannot be one-way. YKY ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=103754539-40ed26 Powered by Listbox: http://www.listbox.com