Intelligence as a Halting Oracle

Re:Intelligence as a Halting Oracle by chowells on Monday November 05, 2018 @04:47PM (#18386285)

I wonder if the author realizes Turing machines can be partial halting oracles. SAT/SMT solvers do that job pretty well over most of the same problem space as humans. And any technique humans invent can be added to a solver to use as well.

[ Parent | on HN ]

Re:Intelligence as a Halting Oracle by dooglius on Monday November 05, 2018 @05:02PM (#18386376)

Well, the definition given specifically says stronger than Turing Machines, what you're describing is more what I hoped the article would be about, making certain theoretical oracle machine algorithms partially realizable by putting a human in the loop, to e.g. come up with lower bounds on Chaitin's constant.

[ Parent | on HN ]

Re:Intelligence as a Halting Oracle by yters on Monday November 05, 2018 @05:45PM (#18386704)

This is what I'm working on, a human in the loop approach to Solomonoff induction.

[ Parent | on HN ]