It's interesting how you describe current reasoning architectures as pre-Turing, lacking a fundamental theory. I completely agree that defining 'what it means to reason' formally is crucal for the field to progress beyond heuristics.
yes, though the heuristic work which has been produced over the last three years in the field will most likely be foundational to coming ToR approaches
It's interesting how you describe current reasoning architectures as pre-Turing, lacking a fundamental theory. I completely agree that defining 'what it means to reason' formally is crucal for the field to progress beyond heuristics.
yes, though the heuristic work which has been produced over the last three years in the field will most likely be foundational to coming ToR approaches