Comment author:RoyMS
16 November 2008 12:34:29PM
0 points
[-]
Returning to the post, I suspect that there is a lack of relevant mathematical theorems in this area. What is needed for example is a theorem which says something like:
"In a sufficiently general environment E the AI planning system must incorporate probabilistic reasoning to satisfy its goals."
Likewise a theorem characterising which environments require "asynchronous" planning architectures is probably a holy grail in this field.
= 27d567bc2d48d9f40e9ccc20ea370b15)
= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d)
Returning to the post, I suspect that there is a lack of relevant mathematical theorems in this area. What is needed for example is a theorem which says something like:
"In a sufficiently general environment E the AI planning system must incorporate probabilistic reasoning to satisfy its goals."
Likewise a theorem characterising which environments require "asynchronous" planning architectures is probably a holy grail in this field.