Re:Symbolic Regression is NP-hard
by tgv on Monday November 14, 2022 @03:00AM
(#33591292)
So many symbolic tasks are NP complete, e.g. crossword puzzles. IIRC, Go is even PSPACE hard.
> It also aligns quite well with Kahneman's System 1 - System 2 distinction, where the symbolic System 2 is reserved for situations that most strongly require such computation.
It would be very, very remarkable if that were the case. Our brains don't work like Turing Machines. We're finite. Our symbolic reasoning is different. What Kahneman dubs System 2 decisions also is not necessarily related to symbolic reasoning, certainly not of the type mentioned in the paper.
> It also aligns quite well with Kahneman's System 1 - System 2 distinction, where the symbolic System 2 is reserved for situations that most strongly require such computation.
It would be very, very remarkable if that were the case. Our brains don't work like Turing Machines. We're finite. Our symbolic reasoning is different. What Kahneman dubs System 2 decisions also is not necessarily related to symbolic reasoning, certainly not of the type mentioned in the paper.