Thanks for you answer and sorry for my late response. Indeed I did mean modal logic, epistemic, alethic and deontic logic in particular. I know it's complex, especially multi-dimensional modal logics. I was curious if any had attempted to extend jess with modal operators. You said you didn't know any successful general purpose modal logic engines, but do you know any that come close or have support for a decidable fragment of modal logic? regards, Martijn
________________________________ Van: [EMAIL PROTECTED] namens Peter Lin Verzonden: di 29-7-2008 16:58 Aan: [email protected] Onderwerp: Re: JESS: Modal logic in Jess by modal operators, what do you mean? Do you mean modal logic? http://en.wikipedia.org/wiki/Modal_logic Are you looking for temporal logic support, or modal logic support. I'm not an expert on modal logic, but many people have tried to implement a general purpose modal logic engine. to my knowledge there aren't any commercial or successful modal logic rule engines. Proper support for modal logic is very complex, so it's not a trivial task. peter On Tue, Jul 29, 2008 at 10:14 AM, Martijn Tromm <[EMAIL PROTECTED]> wrote: > Hello, > > Has anybody ever attempted to add modal operators to the Jess language? Is > the Rete-algorithm appropriate for this anyway? > > best wishes, > > Martijn > > > > > > > > -------------------------------------------------------------------- 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] --------------------------------------------------------------------
<<winmail.dat>>
