Thanks everyone for your answers, it was very helpful.
LB
Dave, thanks for your answer. Do you mind completing it by answering the
following points ?
- Do you think modal operators behavior can be simulated thanks to custom
builtins ?
- What functionalities must be added to the general purpose engine to
extend it into a modal reasonner ?
- Even if it is
On 03/07/13 15:51, Gray Mail wrote:
Hi everyone,
Is the general purpose rule engine suitable to infer rules using modal
logic ?
The rules engine is a pretty basic datalog style rules engine, with no
particular support for things like modal logic. So probably not a good fit.
Dave
