Yes; you could in theory represent the axioms of any formal logic as a set of transformation rules. It's just a matter of choosing a representation.
I think matthias mailliard wrote: [Charset iso-8859-1 unsupported, filtering to ASCII...] > Hi all, > > I want to model the problem of philosophers with black hat (proposed by Mc Carty). > One way to solve this problem is using a modal logic. > I would know if it is possible to define axioms of a perticular logic with JESS. > --------------------------------------------------------- Ernest Friedman-Hill Science and Engineering PSEs Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 PO Box 969, MS 9012 [EMAIL PROTECTED] Livermore, CA 94550 http://herzberg.ca.sandia.gov -------------------------------------------------------------------- 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] --------------------------------------------------------------------
