The article should have mentioned that predicate logic uses the
"open-world assumption" while JESS has negation-as-failure semantics.
It's a fundamental difference between predicate logic and Jess -
predicate logic is monotonic while JESS is not. Statements that are true
in Jess may not be true
Sorry. It's linked from the "docs" page (http://www.jessrules.com/jess/docs/index.shtml
). The PDF of the article is at
http://www.jessrules.com/jess/docs/PropPred.pdf
On Feb 10, 2009, at 10:37 AM, Hal Hildebrand wrote:
Can you post the link to this article? I can't seem to find where
you'v
Can you post the link to this article? I can't seem to find where
you've posted it.
Thanks.
On Feb 10, 2009, at 7:11 AM, Ernest Friedman-Hill wrote:
I've posted a new article on the Jess web site: "Predicate Calculus
and Jess," by Wolfgang Laun. This paper shows how
Jess can be used to i
I've posted a new article on the Jess web site: "Predicate Calculus
and Jess," by Wolfgang Laun. This paper shows how
Jess can be used to implement concepts from Propositional Logic and
First Order Predicate Calculus. It's perfect for
anyone coming to Jess from a background in computer scienc
Hello Ernest,
I
have simplified my program so that I could send you in email. The more
I think about it the more I believe that you are right I didn’t choose the
right solution.
My program has 5 templates:
- fact that are either imported or read from the user;
- question used fo