Me too, it sounds intriguing. But if it happens to be an extension of first order predicate logic which includes states, then I think it could be another barri

Me too, it sounds intriguing. But if it happens to be an extension of first order predicate logic which includes states, then I think it could be another barrier to progress. Note what a mess the CYC group have made of trying to model human concepts http://www.cyc.com/ http://www.cyc.com/ with heavy reliance on first order predicate logic. The best logic I've seen to date for helping model human conception is Fred Sommers's Term Functor Logic: http://www.formalontology.it/sommersf.htm http://www.formalontology.it/sommersf.htm A great book on the Logic: http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-Sommers/dp/0754613666 http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-S...