YKY, >Can you give an example of something expressed in PLN that is very hard or impossible to express in FOL?
FYI, I recently run into some issues with my [under-development] formal language (which is being designed for my AGI-user communication) when trying to express statements like: "John said that if he knew yesterday what he knows today, he wouldn't do what he did back then." The difficulty might have been specific to my design (because of certain way of semantic meta-data handling), but I thought I would share it just in case. Best, Jiri ------------------------------------------- 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