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 in predicate logic.
Samson
Ernest Friedman-Hill wrote:
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'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 implement concepts from Propositional Logic and
First Order Predicate Calculus. It's perfect for
anyone coming to Jess from a background in computer science,
mathematics, or philosophy.
---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences Phone: (925) 294-2154
Sandia National Labs
PO Box 969, MS 9012 [email protected]
Livermore, CA 94550 http://www.jessrules.com
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected]'
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify
[email protected].
--------------------------------------------------------------------
--
Samson Tu email: [email protected]
Senior Research Scientist web: www.stanford.edu/~swt/
Center for Biomedical Informatics Research phone: 1-650-725-3391
Stanford University fax: 1-650-725-7944
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [email protected]'
in the BODY of a message to [email protected], NOT to the list
(use your own address!) List problems? Notify [email protected].
--------------------------------------------------------------------
