zlacker

I don't have any strong opinion about this, but it's suggestive that AlphaGo combines a classical AI search with neural nets. Another example: Steven Pinker's theory that human language uses a combo of neural-net-style and logic-style processing (Words and Rules). This isn't to say that Skynet will run part of itself on Prolog -- more like, to get the best performance over the broadest range of domains will need multiple techniques.

One advantage of logic + deduction is potential clarity ahead of time about what the system might do, and ability to explain its actions. If AI safety is your top concern, those seem at least potentially valuable even when other techniques can build powerful systems sooner. (I wish more conventional software had that kind of transparency.)

>>abeced+(OP)
> One advantage of logic + deduction is potential clarity ahead of time about what the system might do, and ability to explain its actions. If AI safety is your top concern, those seem at least potentially valuable even when other techniques can build powerful systems sooner. (I wish more conventional software had that kind of transparency.)

i'm not particularly fearful of an AI apocolypse, but i couldn't agree with that more.

>>abeced+(OP)
I'm talking about logical inference on a database of facts in the hopes of representing common sense.

I have no issue with probabilistic state-space search.