"I'm going to use JESS in my diploma thesis. Is it possible to let JESS solve some constraint problems and output the values or the lower and upper bounds for some variables?" -Yes, It is possible, since the constraints are defining the relationships between variables and not exactly how to solve it, you have an imperative paradigm so Jess can do that. Check out some Prolog/iLog examples and modify the logic for Jess (maybe look for 'soft/hard constrained Miss Manners' examples).
"I'm trying to figure out if I should use Constraint Programming instead of JESS. Does it make sense to solve arithmetic problems with JESS?" -As above, CP is a form of imperative programming. It makes sense to solve Constraint based problems with CP and with Jess (a rule based expert system). You can do it with either. There are computer algebra systems with CP solvers built in (such as Maple / Matlab) too. "I know that JESS is operating on facts. A Constraint Programming System doesn't need facts, it just tells you what facts should look like. Is it possible that JESS behaves in that way too?" -Try to think of facts as soft or hard constraints, just because you do not have 'x=2' doesnt mean it doesnt use facts. A fact could be 'lowerBound=2.' A Constraint Programming System does need facts, they are just 'soft' facts in that the facts are the bounds of your PDE. Is your thesis on how to use expert systems for Constraint style programming or are you trying to find an efficient way to solve constraint based problems? Either way I would say Jess is a fine tool to use and a better way to learn, but for a 'quick and dirty' it doesn't hurt to use Maple. -Regards, Socrates Frangis Mathematician - Apeture Science On Mon, Dec 21, 2009 at 2:06 PM, Adam Malik <[email protected]> wrote: > Dear JESS users, > > I'm going to use JESS in my diploma thesis. Is it possible to let JESS > solve > some constraint problems and output the values or the lower and upper > bounds > for some variables? I'm trying to figure out if I should use Constraint > Programming instead of JESS. Does it make sense to solve arithmetic > problems > with JESS? I know that JESS is operating on facts. A Constraint Programming > System doesn't need facts, it just tells you what facts should look like. > Is > it possible that JESS behaves in that way too? > > Many thanks in advance > > Adam Malik > > > > -------------------------------------------------------------------- > 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]. > -------------------------------------------------------------------- > >
