Chomsky and the Two Cultures of Statistical Learning (2011)
Posted by andsoitis 10 hours ago
Comments
Comment by NaiveEmpiricist 5 hours ago
Norvig confuses engineering for science. If an engineer wants something that works (and guarantees that it will work) then you use the most effective tool available to achieve that goal. No problem there. But there's absolutely no reason to think that tells you anything scientific about the phenomenon you're modeling. For example, aeronautical engineering says very little about how birds fly. And - currently relevant - LLMs learn to use and understand language, but they use millions of times more training data, and millions of times more computing power, than a child does. So an LLM may be a great technology, but it's probably not a good model for how humans learn and use language.
Chomsky OTOH doesn't see any use for statistics in science, at least not in linguistics. Fortunately for the field of linguistics, Chomsky's influence in linguistics is waning and linguists are beginning to use statistical tools to do science.
Comment by PaulHoule 1 hour ago
That is, you can apply for grants and write papers in the transformational grammar paradigm endlessly. You can pose and answer questions that make sense within in the system.
Chomskyism was disappointing in two respects: (1) was that it was an inadequate basis for machine understanding of text, (2) was that structuralists were hoping everything in culture could be understood in terms of "... having the structure of language" but syntactic structures weren't all adequate for that task.
(1) and (2) both pointed to Chomskyism being hermetic and not something really useful or inspiring to other fields and maybe just a little less "true".
Comment by NaiveEmpiricist 12 minutes ago
Also, I'll mention that there is a lot of empirical knowledge about natural language syntax in generative grammar, even if the details aren't quite right about their theoretical underpinnings. And a lot of them were "low-hanging fruit" waiting for someone to point out how to find them and characterize them. That Chomsky did that is the best argument for his intellectual value - permitting all that "normal science" to happen.
Science doesn't guarantee technological applications, whether or not that science is correct.
Finally, just saying: use of a word like "Chomskyism" makes you sound like one of those creationists who call evolution "Darwinism".
Comment by huijzer 1 hour ago
Yes this is one of my critiques of the academic system (I have finished a PhD and will hopefully never work at a university ever again). Many papers in the introduction start with explaining how the study builds on plenty of previous research, but that alone doesn’t prove that something is a good direction to investigate. If academics were completely honest, many papers would write “We researched topic X because we got funding for it. But since we actually don’t care about X, we just wrote a proposal about our favorite niche topic that only one of the co-authors cares about, namely topic Y, and wrote it such that it sounds like X. Next we show that Y is actually very cool in the hope to convince others that it is cool plus to convince others of the conclusion that our most senior professor already found during the PhD which was 30 years ago. Apart from the professor, we don’t believe in the main argument of the paper but since he got the grant we’ll just go with it in the hope to one day be able to push our own ideas forward”.
Comment by trgn 4 hours ago
in college, i was somewhat involved in cogsci wrt semantic mapping of linguistic concepts based on human surveys (this was well before LLM/AI-word2vec), and it surprises me today how the mathematical properties of relatedness/distance seem now to drive machine intelligence, something which we did not consider at the time at all.
maybe i'm getting in my metaphysical sentimental stage, a turn a lot of adults make after middle age, but i wouldn't fully dismiss the fact that there may be an equivalence.
Comment by NaiveEmpiricist 3 hours ago
There's pretty interesting (I think) research in how effectively it's possible to scale down LLMs. If you're interested, take a look at the BabyLM conferences:
(I have no connection to them.) The work there demonstrates that gap between what we can do now with human-relevant amounts of training text, and what remains to be discovered. Quite a bit, it looks like.
Comment by netdevphoenix 2 hours ago
Can you use a human language well enough and it not sound intelligent? And no, I don't mean just syntactically correct because semantics is a part of human languages too. I think the astounding thing is that they managed to model a language this well. It's like trying to learn English without a functional understanding of the word "Please".
My take is that a lot of the intelligence we natively ascribe to humans exist in human languages and just like the nutrients in your food, by harnessing a language that possesses latent intelligence, you too can behave like an intelligent person. And how did the nutrients of intellect got in there in the first place? Just like languages evolve nowadays: via contributions from speakers over time. Not unlike soil fertilisation.
Comment by codeulike 2 hours ago
Comment by ckcheng 1 hour ago
Comment by trgn 1 hour ago
Comment by codeulike 1 hour ago
Comment by dist-epoch 5 hours ago
but from all models, it's the closest, "all models are wrong, but some are useful"
Comment by Calavar 4 hours ago
Care to back this up? What evidence do we have to suggest that back propagation, self attention, and byte pair encoding are mechanistically similar to human cognition? Similarity of the outputs says nothing about similarity of the machinery underneath. Turboprop engines tell us nothing about how birds fly - doesn't matter that they successfully transport millions of people around the world.
I would say that when it comes to higher level cognition, logic engines are more human like even if they only have a tiny fraction of the practical utility of LLMs.
Comment by adrian_b 4 hours ago
That is not true.
Turboprop engines and flying birds are different things, but there is a set of common properties.
A blade of a screw propeller functions exactly in the same way as a flapping wing of a bird, except that the wing cannot rotate without limits around the body of the bird, so it must stop, change angles and revert the motion, while the blade can rotate continuously around the axis, functioning on one side like a falling wing and on the other side like a raising wing. The similarities between propeller blades and insect wings are even greater, because insect wings cannot change their shapes so much as those of birds.
For now, our understanding of the networks composed of the neurons of animals is much less advanced than our understanding of wings and propellers, which is why there is a much greater uncertainty about whether there are any similar mechanisms in biological neural networks and in LLMs.
Comment by NaiveEmpiricist 4 hours ago
"Nothing" may be a little too strong -- physics is physics, after all -- but (small) birds and airplanes have Reynolds numbers about 1000x different and different underlying material science.
Airplanes are engineered (with a very small number of exceptions) to be stable during flight, whereas bird flight is inherently unstable, requiring a lot of specialized cognition so birds can fly.
I would think a lot of cognitive ornithologists (who I really hope exist!) would be interested in finding out about this.
At this point, I'm at the complete end of my knowledge of bird flight!
Comment by suddenlybananas 4 hours ago
Comment by casualrandomcom 2 hours ago
Comment by cma 30 minutes ago
Comment by randcraw 4 hours ago
And I'd be hard pressed to identify many cognitive characteristics of LLMs during execution that resemble human thinking, aside from those that are readily parrotable.
As a model of human cognition, LLMs deep suck.
Comment by gizmo686 4 hours ago
We considered the hypothesis that humans are a general intelligence that figures language out by exposure. The evidence has consistently come back that that is not how humans actually work. A model where humans are hardwired with a lot of knowledge about language, then fill in the gaps based on exposure still appears to be far more accurate.
The only thing LLMs show is that it is possible to learn language de-novo.
Comment by emmelaich 26 minutes ago
Regarding "hard-wired"; it's not if you consider that "hard-wiring" of an individual is the result of millions of years of evolution.
Comment by NaiveEmpiricist 4 hours ago
I agree, but would add, "But not under conditions that humans learn language."
Comment by lostmsu 3 hours ago
Comment by rcxdude 2 hours ago
Comment by suddenlybananas 2 hours ago
Comment by emmelaich 34 minutes ago
Of older English words, there are extremely few genuine exceptions. Seize is one.
Comment by stillpointlab 1 hour ago
> I understand how Chomsky might arrive at the conclusion that probabilistic models are unnecessary, from his study of the generation of language.
I think the point turns here for me. We have probabilistic models now that generate unbelievably convincing language. Norvig's following argument on the value of interpreting language statistically becomes secondary.
In order to stay moored in reality, our models must follow from evidence. I think it would take a peculiar obstinance to deny that the latest models show evidence of generating language.
Comment by Alexander-Barth 5 hours ago
Why the "simplest" model? Is a probabilistic model not the only model able to deal with uncertainty? What other kind of models are possible to represent uncertainty and inherent ambiguity that are not probabilistic?
Comment by bux93 3 hours ago
Ternary logic is a super simple model; where true AND unknown equals unknown, and true OR unknown equals true. This deals with uncertainty and ambiguity, just not the probability; notionally you could say everything is 50-50.
Same thing if you have e.g. text-to-speech which returns "the b??? dog" rather than "the (0.8:black, 0.1:blue, 0.1:boy) dog" - no probabilities. Of course, maybe later in the processing you add probabilities back in.
Then there's fuzzy logic, which uses scores that are typically numbers, but those don't express actual probabilities, but more like vibes. They don't necessarily add up to 1, for instance, and you don't apply Bayes' formula to them, or even multiply them, you can use addition too - yolo.
Edit: and also of course backtracking, beam search, that sort of stuff - needn't use probabilities, just heuristics.
Comment by Alexander-Barth 1 hour ago
Comment by tgv 5 hours ago
Anyway, the probabilistic model doesn't exist. Simple probabilistic models work quite badly on speech recognition (word classification, etc.). A lot of structure needs to be added before they start performing.
Comment by pessimizer 4 hours ago
A probabilistic model is the most complicated model. It doesn't even attempt to model the problem, it just looks at the results of an enormous number of tries with different inputs, goes through them all, finds the most similar cases to the current input, and blends them together in a way that carefully avoids any self-contradictory or absurd result.
We see this plainly with LLMs. You train an LLM on a thousand times the (high-level, pre-digested) input that the average human has gotten, and the average human thinks it's a hallucinating moron. It doesn't start to converge on something that passes the smell test to you average human idiot until it has been trained on a million times the input the average human has gotten.
It's not doing what a human does, it's guessing what a human (or any system) might do when confronted with X input. They're not even similar activities, even if they have identical output in the limit. It's like confusing gravity for equations about gravity. Being able to make perfect predictions about the positions of moving, nearby frictionless spherical things in a vacuum at time t doesn't tell us a thing about what gravity is. It tells us how it looks. It should, we distilled it by watching things for a very long time.
> Is a probabilistic model not the only model able to deal with uncertainty?
No, all models deal with uncertainty. The entire point of a model is that it is what you know about a system when you don't know its inputs. The variables in a model are uncertainty. The model is dealing with it.
edit: I think you're interpreting "uncertainty" as a numerical probability. A numerical probability is an artifact of the set of data you're calculating it from, not a thing with independent existence. "Uncertainty" is just a thing that you don't know yet.
If you assume that "uncertainty" is a knowable numeric probability that contributes to some calculation, you're begging the question when you say that the only way you can model it is through probabilistic calculations.
Comment by Alexander-Barth 1 hour ago
For the domain I am working in, a model is considered deterministic if for a set of input it always provide the same output and the input are assumed to be perfectly known. A model become probabilistic, once the input or the model itself are considered as uncertain. As an example: previously weather models always provided singe prediction for tomorrow, for example rain or no rain. But now, such models are probabilistic in the sense that an ensemble of model forecast are made (with slightly different input representing our uncertainties) to provide an estimate of the probabilities. Indeed such probabilistic model is not the simplest, but to most complete and so far the only practical way to handle with uncertainty for system like the weather as far as I am aware of.
Comment by talon8635 1 hour ago
Comment by sambejk 10 hours ago
Have to say that I confronted myself with the fact that I can't read longer posts anymore due to overuse of AI. Guess a detox is required...
Comment by lo_zamoyski 2 hours ago
1. Norvig is correct that observation and fact/data collection are necessary for science. However, Chomsky is correct that the ultimate goal of science is to determine the principles governing something. Ergo: you need the first to do the second. The intellect abstracts from source data, but nothing is in the intellect that is not first in the senses.
2. Chomsky here is uninterested in things like speech - he only cares about the underlying syntax. But syntax - expressed and instantiated in matter - is known through speech, and probabilities presuppose an underlying determinate syntax. Ergo: a complete science of speech is end-to-end, from the "reading" or interpretation of noisy data through syntactic processing all the way through to expression.
3. Chomsky focuses heavily on internal generation. Norvig points out that interpretation is a separate, highly practical challenge. Figuring out what someone means in a noisy, ambiguous world is an exercise in prudence which involves weighing contingencies and probabilities to arrive at the most likely truth. Of course, this can only be done against a presupposed acceptance of the function of speech which is to communicate meaning and what is true (hence why lies work and why they are an abuse of speech). Probabilistic reasoning is still reasoning. It's reasoning in the face of incomplete information (against a backdrop of presuppositions) which is a component of prudential reasoning.
Comment by muh_gradle 3 hours ago
Comment by suddenlybananas 3 hours ago
It's sort of like criticising Galileo's putative experiment about dropping two balls from the leaning tower of Pisa by pointing out that a feather indeed falls slower than a iron ball.
Comment by effed3 3 hours ago
Comment by gyanchawdhary 6 hours ago
Comment by fnord77 3 hours ago
Comment by ath3nd 6 hours ago
Comment by eaisshutting 4 hours ago
Comment by Emma_Goldman 4 hours ago
Comment by tartoran 31 minutes ago
Comment by locallost 56 minutes ago
Comment by suddenlybananas 4 hours ago
Comment by IncreasePosts 1 hour ago
Comment by NaiveEmpiricist 4 hours ago
Unfortunately, Chomsky's always had a problem pulling the ripcord in similar situations. As one of his colleagues once explained, "When most people step in dogshit on the sidewalk, they scrape it off their shoe and keep walking. Chomsky gets stubborn and just keeps stepping in it again and again."
Not that this is relevant to his intellectual contributions, unless it crosses your personal line where involvement becomes complicity.
Comment by IncreasePosts 1 hour ago
Comment by rapnie 4 hours ago
[0] https://en.wikipedia.org/wiki/Noam_Chomsky#Friendship_with_J...