4 ms·
> One thing that always bothered me about the field was that the whole premise behind using logic as the basis for AI seemed to me to be obviously flawed becaus
by gambler 8y ago
> One thing that always bothered me about the field was that the whole premise behind using logic as the basis for AI seemed to me to be obviously flawed because neither the inputs to nor the outputs from my brain were logical propositions
Well, calculus is a bunch of logic propositions and it explains physics pretty well. So clearly some good things can be achieved by formal logic alone.
Decision trees are very much "logic" and they work pretty well.
Logic-based AI is pretty cool and would be great for fixing a lot of current problems in software engineering. Too bad it's mostly abandoned.
- whatshisface 8y ago>Well, calculus is a bunch of logic propositions and it explains physics pretty well. So clearly some good things can be achieved by formal logic alone. The idea to use logical rules to infer things about nature was arrived at through the non-logical "gestures and senses" methods that the parent was talking about. If all you had was logic you'd have no way to choose your axioms, or even your rules of inference. The axioms and rules of inference were, ultimately, selected from the vast sea of alternative options based on our observations, which rest on our senses.
- gambler 8y agoMy point is that abandoning simple algorithms just because they don't (seem to) lead to AGI is a mistake.
- lisper 8y ago> calculus is a bunch of logic propositions and it explains physics pretty well That's the wrong level of abstraction for AI.
- ivalm 8y ago> Well, calculus is a bunch of logic propositions and it explains physics pretty well. I mean, it is true that you can construct a Turing machine using predicate logic, and thus all computer algorithms can be expressed in this way, but what matters is the relevant level of abstraction, and thinking about things using predicate logic is not always the best.