On Wed, Oct 8, 2008 at 11:50 AM, Ernest Friedman-Hill <[EMAIL PROTECTED]>wrote:
>> I think the real answer is that the detailed semantics of the Jess language don't map directly onto FOPC concepts. Hi All & Ernest, I'm dragging an ear to this thread, and I've been wondering for some time now if there is any value to creating a wiki topic on FOPC equivalents in Jess for people who are interested in structuring their logic that way. Ernest: You've given several implicit examples in Jess's various documentation sources about this, but nothing explicit. For example, it's clear that the (exists) CE is related to the existential qualifier; and, as you've shown in this thread, the universal qualifier is implicit in Jess's pattern syntax. It might be nice to have a topic that gives sufficient examples of these basic equivalents and also indicates where Jess's expressiveness diverges from FOPC. Perhaps it takes the form of a collection of "recipes" that map common FOPC pattens into their Jess equivalents (if they exist). Something that includes all the caveats and exceptions, too. I'm happy to let someone else own this topic or develop it with someone. Any takers? Cheers, Jason ----------------------------------------------------------- Morris Technical Solutions LLC [EMAIL PROTECTED] (517) 304-5883
