06-02-2006, 08:28 AM
Well.... but then the question becomes what kind of logic the solver takes and in what form.
You could simply reduce the problem into true/false statements and by conversion finally get the answer, but then there are a variety of issues, such as:
* Should you manually convert into logic statements or put in English semantics rules to parse the words into logic?
* Should you limit the semantics rules to this particular problem set? (house per person)
* Should you limit it to the size of the problem set? (attribute size, person size.. or even a differentiation between attributes and persons...)
You could simply reduce the problem into true/false statements and by conversion finally get the answer, but then there are a variety of issues, such as:
* Should you manually convert into logic statements or put in English semantics rules to parse the words into logic?
* Should you limit the semantics rules to this particular problem set? (house per person)
* Should you limit it to the size of the problem set? (attribute size, person size.. or even a differentiation between attributes and persons...)
Peace cannot be obtained without war. Why? If there is already peace, it is unnecessary for war. If there is no peace, there is already war."
Visit www.neobasic.net to see rubbish in all its finest.
Visit www.neobasic.net to see rubbish in all its finest.