Russell Wallace wrote:
On 3/13/07, *J. Storrs Hall, PhD.* [EMAIL PROTECTED]
mailto:[EMAIL PROTECTED] wrote:
But the bottom line problem for using FOPC (or whatever) to
represent the
world is not that it's computationally incapable of it -- it's Turing
complete, after all -- but
On 3/18/07, Charles D Hixson [EMAIL PROTECTED] wrote:
Perhaps it would be best to have, say, four different formats for
different classes of problems (with the understanding that most problems
are mixed). E.g., some classes of problems are best represented via a
priority queue, others via a
Russell Wallace wrote:
On 3/18/07, *Charles D Hixson* [EMAIL PROTECTED]
mailto:[EMAIL PROTECTED] wrote:
Perhaps it would be best to have, say, four different formats for
different classes of problems (with the understanding that most
problems
are mixed). E.g., some classes of
On 3/19/07, Charles D Hixson [EMAIL PROTECTED] wrote:
Yes, datawise a priority queue is just a set of things with priority
numbers attached and the alpha-beta algorithm is, well, an algorithm,
but neither of those is propositional logic. Yes, you CAN represent
them as logic (you can represent
