I agree. The question to ask is "how do you boil those problems down to computational problems?". Those problems you've listed are broad but solutions to subproblems would go a long way. I'm surprised this hasn't been explored deeply yet.