Could you give an example of such a representation, and a clue as to how it deals with the quantifiers? > > 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] > -------------------------------------------------------------------- >
-------------------------------------------------------------------- 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] --------------------------------------------------------------------
