Original Research on Less Wrong

post by lukeprog · 2012-10-29T22:50:35.671Z · LW · GW · Legacy · 48 comments

Contents

  General philosophy
  Decision theory / AI architectures / mathematical logic
  Ethics
  AI Risk Strategy
None
48 comments

Hundreds of Less Wrong posts summarize or repackage work previously published in professional books and journals, but Less Wrong also hosts lots of original research in philosophy, decision theory, mathematical logic, and other fields. This post serves as a curated index of Less Wrong posts containing significant original research.

Obviously, there is much fuzziness about what counts as "significant" or "original." I'll be making lots of subjective judgment calls about which suggestions to add to this post. One clear rule is: I won't be linking anything that merely summarizes previous work (e.g. Stuart's summary of his earlier work on utility indifference).

Update 09/20/2013: Added Notes on logical priors from the MIRI workshop, Cooperating with agents with different ideas of fairness, while resisting exploitation, Do Earths with slower economic growth have a better chance at FAI?

Update 11/03/2013: Added Bayesian probability as an approximate theory of uncertainty?, On the importance of taking limits: Infinite Spheres of Utility, Of all the SIA-doomsdays in the all the worlds...

Update 01/22/2014: Added Change the labels, undo infinitely good, Reduced impact AI: no back channels, International cooperation vs. AI arms race, Naturalistic trust among AIs: The parable of the thesis advisor’s theorem


General philosophy


Decision theory / AI architectures / mathematical logic


Ethics


AI Risk Strategy

48 comments

Comments sorted by top scores.

comment by incariol · 2012-10-30T22:04:03.878Z · LW(p) · GW(p)

Um... perhaps Wei Dai's analysis of the absent-minded driver problem (with it's subsequent resolution in the comments) and paulfchristiano's AIXI and existential despair would qualify?

Replies from: lukeprog
comment by lukeprog · 2012-11-12T02:06:54.175Z · LW(p) · GW(p)

Added!

comment by Yoav Ravid · 2021-11-14T13:40:30.304Z · LW(p) · GW(p)

Wow, this is an awesome post! It would be difficult (though perhaps still worth it) to update this post with all the original research done since it was written and keep the format of the short summaries, but perhaps this should be a tag?

comment by roland · 2012-11-03T13:54:42.311Z · LW(p) · GW(p)

Privileging the Hypothesis . I don't think this bias has been describe anywhere else.

Replies from: Unnamed
comment by Unnamed · 2012-11-03T22:24:04.886Z · LW(p) · GW(p)

I don't think it has been named elsewhere, but there is related research. Kahneman described something very similar to it in Thinking, Fast and Slow:

“The probability of a rare event will (often, not always) be overestimated, because of the confirmatory bias of memory. Thinking about that event, you try to make it true in your mind. A rare event will be overweighted if it specifically attracts attention. …. And when there is no overweighting, there will be neglect. When it comes to rare probabilities, our mind is not designed to get things quite right. For the residents of a planet that may be exposed to events no one has yet experienced, this is not good news.”

comment by Epiphany · 2012-10-30T00:29:20.730Z · LW(p) · GW(p)

According to an article on PLOS Medicine, Most Published Research Findings Are False. Feynman provides an unsettling perspective on what's happened with research as well in Cargo Cult Science.

Have we done any better?

Replies from: Eliezer_Yudkowsky, lukeprog, gwern
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-30T01:07:14.878Z · LW(p) · GW(p)

That's for experimental statistical reports. Trying to do math runs into a different set of dangers.

You can easily beat "Most published research findings are false" by reporting Bayesian likelihood ratios instead of "statistical significance", or even just keeping statistical significance and demanding p < .001 instead of the ludicrous p < .05. It should only take <2.5 times as many subjects to detect a real effect at p < .001 instead of p < .05 and the proportion of false findings would go way down immediately. That's what current grantmakers and journals would ask for if they cared.

Replies from: gwern, Daniel_Burfoot, Deleet, Emily
comment by gwern · 2012-10-30T02:34:04.119Z · LW(p) · GW(p)

It should only take <2.5 times as many subjects to detect a real effect at p < .001 instead of p < .05 and the proportion of false findings would go way down immediately.

If anyone is curious about the details here - you can derive from the basic t-test statistics (easier to understand is the z-test) an equation for the power of an equation for 0.05 and 90% power which goes

The "1.64" here is a magic value derived from a big table for the normal distribution: it indicates a result which for the normal distribution of the null is 1.64 standard deviations out towards the tails, which turns out to happen 0.05 or 5% of the time when you generate random draws from the null hypothesis's normal distribution. But we need to know how many standard deviations out we have to go in order to have a result which appears only 0.001 or 0.1% of the time when you randomly draw. This magic value turns out to be 3.09. So we plug that in and now the equation looks like:

can be given a value too from the table, but it's smaller, just 1.28 (10% of the population will be that far out). So we can substitute in for both:

Simplify:

Multiply the standard deviation by both sides to start to get at n/n':

Square to expose the naked n/n':

%5E2%20\text{%20and%20}%20n'%20%3E%20(4.37%20\times%20\hat{\sigma}_D)%5E2)

Distribute:

Simplify:

Obviously we can divide both n and n' by to get rid of that, leaving us with:

So, how much bigger is n' than n? This requires an advanced operation known as division:

And 2.23 is indeed <2.5.

We can double check by firing up a power calculator and messing around with various sample sizes and effect sizes and powers to see how n changes with more stringent significances:

$ R

library(pwr)
pwr.t.test(d=0.1,sig.level=0.05,power=0.90)

Two-sample t test power calculation

n = 2102.445
d = 0.1
sig.level = 0.05
power = 0.9
alternative = two.sided

NOTE: n is number in each group

pwr.t.test(d=0.1,sig.level=0.001,power=0.90)

Two-sample t test power calculation

n = 4183.487
d = 0.1
sig.level = 0.001
power = 0.9
alternative = two.sided

NOTE: n is number in each group

4183 / 2102
[1] 1.99001

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-30T04:45:05.582Z · LW(p) · GW(p)

I was just mentally approximating log(.001)/log(.05) = 2.3.

Replies from: Mark_Eichenlaub
comment by Mark_Eichenlaub · 2012-10-30T15:34:28.912Z · LW(p) · GW(p)

Thanks. Sometimes I learn a lot from people saying fairly-obvious (in retrospect) things.

In case anyone is curious about this, I guess that Eliezer knew it instantly because each additional data point brings with it a constant amount of information. The log of a probability is the information it contains, so an event with probability .001 has 2.3 times the information of an event of probability .05.

If that's not intuitive, consider that p=.05 means that you have a .05 chance of seeing the effect by statistical fluke (assuming there's no real effect present). If your sample size is n times as large, the probability becomes (.05)^n. (Edit: see comments below) To solve

(.05)^n = .001

take logs of both sides and divide to get

n = log(.001)/log(.05)

Replies from: MTGandP, jsteinhardt
comment by MTGandP · 2012-11-02T20:52:51.425Z · LW(p) · GW(p)

The log of a probability is the information it contains

Why?

Replies from: gwern
comment by gwern · 2012-11-02T21:08:38.014Z · LW(p) · GW(p)

You mean why isn't the information of a particular number just its length, or its size, and is its log of all things?

Because you can think of each part of the number as telling you how to navigate a binary tree to the node target meaning, and the opposite of a binary tree is the logarithm; at least, that's how I think of it when I use it in my essays like Death Note anonymity.

comment by jsteinhardt · 2012-10-31T09:12:24.969Z · LW(p) · GW(p)

If your sample size is n times as large, the probability becomes (.05)^n

I'm not sure that follows.

Replies from: Eliezer_Yudkowsky, Mark_Eichenlaub
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-31T09:37:32.805Z · LW(p) · GW(p)

If a given piece of evidence E1 provides Bayesian likelihood for theory T1 over T2, and E2 was generated by an isomorphic process, then we get the likelihood ratio squared, providing that T1 and T2 are single possible worlds and have no parameters being updated by E1 or E2 so that the probability of the evidence is conditionally independent.

Thus sayeth Bayes, so far as I can tell.

As for the frequentists...

Well, logically, we're allegedly rejecting a null hypothesis. If the "null hypothesis" contains no parameters to be updated and the probability that E1 was generated by the null hypothesis is .05, and E2 was generated by a causally conditionally independent process, the probability that E1+E2 was generated by the null hypothesis ought to be 0.0025.

But of course gwern's calculation came out differently in the decimals. This could be because some approximation truncated a decimal or two. But it could also be because frequentism actually calculates the probability that E1 is in some amazing class [E] of other data we could've observed but didn't, to be p < 0.05. Who knows what strange class of other data we could've seen but didn't, a given frequentist method will put E1 + E2 into? I mean, you can make up whatever the hell [E] you want, so who says you've got to make up one that makes [E+E] have the probability of [E] squared? So if E1 and E2 are exactly equally likely given the null hypothesis, a frequentist method could say that their combined "significance" is the square of E1, less than the square, more than the square, who knows, what the hell, if we obeyed probability theory we'd be Bayesians so let's just make stuff up. Sorry if I sound a bit polemical here.

See also: http://lesswrong.com/lw/1gc/frequentist_statistics_are_frequently_subjective/

Replies from: Unnamed, Kindly, jsteinhardt
comment by Unnamed · 2012-11-01T04:00:29.902Z · LW(p) · GW(p)

You can't just multiply p-values together to get the combined p-value for multiple experiments.

A p-value is a statistic that has a uniform(0,1) distribution if the null hypothesis is true. If you take two independent uniform(0,1) variables and multiply them together, the product is not a uniform(0,1) variable - it has more of its distribution near 0 and less near 1. So multiplying two p-values together does not give you a p-value; it gives you a number that is smaller than the p-value that you would get if you went through the appropriate frequentist procedure.

Replies from: DaFranker
comment by DaFranker · 2012-11-01T14:42:20.950Z · LW(p) · GW(p)

In the course of figuring out what the hell the parent comment was talking about and how one was supposed to do the calculation, I found this. p-values are much clearer for me now, thanks for bringing this up.

Replies from: Eliezer_Yudkowsky, Kindly
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T15:42:17.883Z · LW(p) · GW(p)

Don't get me wrong, this is a good paper, well-written to be clearly understandable and not to be deliberately obtuse like far too many math papers these days, and the author's heart is clearly in the right place, but I still screamed while reading it.

How can anyone read this, and not bang their head against the wall at how horribly arbitrary this all is... no wonder more than half of published findings are false.

Replies from: DaFranker
comment by DaFranker · 2012-11-01T15:59:19.510Z · LW(p) · GW(p)

Unfortunately, walls solid enough to sustain the force of the bang I wanted to produce were not to be found within a radius of five meters when I was reading it. I did want to bang my head on my desk, though.

The arbitrari-ness of all the decisions (who decides the cutoff point to reject the null and on what basis? "Meh, whatever" seems to be the ruling methodology) did strike me as unscientific. Or, well, as un-((Some Term For What I Used To Think "Science" Meant Until I Saw That Most Of It Was About Testing Arbitrary Hypotheses Rather Than Deliberate Cornering Of Facts)) as something actually following the scientific method can get.

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T16:09:30.545Z · LW(p) · GW(p)

I don't mind the arbitrary cutoff point. That's like a Bayesian reporting likelihood ratios and leaving the prior up to the reader.

It's more things like, "And now we'll multiply all the significances together, and calculate the probability that their multiplicand would be equal to or lower than the result, given the null hypothesis" that make me want to scream. Why not take the arithmetic mean of the significances and calculate the probability of that instead, so long as we're pretending the actual result is part of an arbitrary class of results? It just seems horribly obvious that you just get further and further away from what the likelihood ratios are actually telling you, as you pile arbitrary test on arbitrary test...

comment by Kindly · 2012-11-01T15:25:45.178Z · LW(p) · GW(p)

That is a really interesting paper.

Also, I found that the function R_k in Section 2 has the slightly-more-closed formula ) where P_k(x) is the first k terms of the Taylor series for e^x (and has the formula with factorials and everything). Just in case anyone wants to try this at home.

comment by Kindly · 2012-10-31T13:58:22.776Z · LW(p) · GW(p)

A more generous way to think about frequentism (which can be justified by some conditional probability sleight-of-hand) is that the significance of some evidence E is actually the probability that the null hypothesis is true, given E and also some prior distribution that is swept under the rug and (mostly) not under the experimenter's control. Which is bad, yes, but in many cases the prior distribution is at least close to something reasonable. And there are some cases in which we can somewhat change the prior distribution to reflect our real priors: for example, when choosing to conduct a 1-tailed test rather than a 2-tailed one.

Under this interpretation, it is silly to expect significances to multiply. You'd really be saying something like Pr[H|E1+E2] = Pr[H|E1] Pr[H|E2]. And that's simply not true: you are double-counting the prior probability Pr[H] when you do this. The frequentist approach is a correct way to combine these probabilities, although this isn't obvious because nobody actually knows what the frequentist Pr[H] is.

But if you read about two experiments with a p-value of 0.05, and think of them as one experiment with a p-value of 0.0025, you are very very very wrong; not just frequentist-wrong but Bayesian-wrong as well.

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-31T14:39:46.035Z · LW(p) · GW(p)

the significance of some evidence E is actually the probability that the null hypothesis is true, given E

No frequentist says this. They don't believe in P(H|E). That's the explicit basis of the whole philosophy. People who talk about the probability of a hypothesis given the evidence are Bayesians, full stop.

Statistical significance is, albeit in a strange and distorted way, supposed to be about P(E|null hypothesis), and so, yes, two experiments with a p-value of 0.05 should add up to somewhere in the vicinity of p < 0.0025, because it's about likelihoods, which do multiply, and not posteriors.

Replies from: jsteinhardt, Kindly
comment by jsteinhardt · 2012-10-31T16:31:10.882Z · LW(p) · GW(p)

While some frequentist methods do use likelihoods, the mapping from likelihood to p-value is non-linear, so multiplying them would still be a mistake, at least as far as I can tell.

comment by Kindly · 2012-10-31T14:50:39.840Z · LW(p) · GW(p)

I'm not saying that frequentists believe this. I'm saying that the frequentist math (which computes Pr[E|H0]) is equivalent to computing Pr[H0|E] with respect to a prior distribution under which Pr[H0]=Pr[E]. Furthermore, this is a reasonable thing to look at, because from that point of view the way statistical significances combine actually makes sense.

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T04:41:59.984Z · LW(p) · GW(p)

Pr[H0]=Pr[E]

Whaa?

Replies from: Kindly
comment by Kindly · 2012-11-01T04:55:36.775Z · LW(p) · GW(p)

Well, we have, in general, Pr[H0|E] = Pr[E|H0] * Pr[H0]/Pr[E]. Frequentists compute Pr[E|H0] instead of Pr[H0|E], but this turns out not to matter if Pr[H0]/Pr[E] cancels, which happens when the above equality holds.

From a certain point of view, this is just mathematical sleight of hand, of course. Also, the "E" is actually some class of outcomes that are grouped together (e.g. all outcomes in which 8 or more coins, out of 10, came up heads). But if we combine sequences of experimental results in the correct way, then this means that the frequentist and Bayesian result differ only by a constant factor (precisely the factor which we assumed, above, to be 1).

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T07:09:31.423Z · LW(p) · GW(p)

Why the heck would the probability of seeing the evidence, conditional on the mix of all hypotheses being considered, exactly equal the prior probability of the null hypothesis?

Replies from: Kindly
comment by Kindly · 2012-11-01T13:42:59.511Z · LW(p) · GW(p)

It wouldn't. Probably a better way to explain it would have been to factor their ratio out as a constant.

Anyway, I've totally messed up explaining this, so I will fold for now and direct you to a completely different argument made elsewhere in the comments which is more worthy of being considered.

comment by jsteinhardt · 2012-10-31T16:29:00.073Z · LW(p) · GW(p)

Suppose that our data are coin flips, and consider three hypotheses: H0 = always heads, H1 = fair coin, H2 = heads with probability 25%. Now suppose that the two hypotheses we actually want to test between are H0 and H' = 0.5(H1+H2). After seeing a single heads, the likelihood of H0 is 1 and the likelihood of H' is 0.5(0.5+0.25). After seeing two heads, the likelihood of H0 is 1 and the likelihood of H' is 0.5(0.5^2+0.25^2). In general, the likelihood of H' after n heads is 0.5(0.5^n+0.25^n), i.e. a mixture of multiple geometric functions. In general if H' is a mixture of many hypotheses, the likelihood will be a mixture of many geometric functions, and therefore could be more or less arbitrary.

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T04:43:15.531Z · LW(p) · GW(p)

That's why I specified single possible worlds / hypotheses with no internal parameters that are being learned.

Replies from: jsteinhardt
comment by jsteinhardt · 2012-11-01T05:30:46.950Z · LW(p) · GW(p)

Oops, missed that; but that specification doesn't hold in the situation we care about, since rejecting the null hypotheses typically requires us to consider the result of marginalizing over a space of alternative hypotheses (well, assuming we're being Bayesians, but I know you prefer that anyways =P).

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-11-01T07:05:19.678Z · LW(p) · GW(p)

Well, right, assuming we're Bayesians, but when we're just "rejecting the null hypothesis" we should mostly be concerned about likelihood from the null hypothesis which has no moving parts, which is why I used the log approximation I did. But at this point we're mixing frequentism and Bayes to the point where I shan't defend the point further - it's certainly true that once a Bayesian considers more than exactly two atomic hypotheses, the update on two independent pieces of evidence doesn't go as the square of one update (even though the likelihood ratios still go as the square, etc.).

comment by Mark_Eichenlaub · 2012-10-31T12:42:26.949Z · LW(p) · GW(p)

You're right. That would be true if we did n independent tests, not one test with n-times the subjects.

e.g. probability of 60 or more heads in 100 tosses = .028

probability of 120 or more heads in 200 tosses = .0028

but .028^2 = .00081

Replies from: Eliezer_Yudkowsky
comment by Eliezer Yudkowsky (Eliezer_Yudkowsky) · 2012-10-31T14:47:21.504Z · LW(p) · GW(p)

Amazing, innit? Meanwhile in the land of the sane people, the likelihood function from any given propensity to come up heads, to the observed data, is exactly squared for 120 in 200 vs. 60 in 100.

comment by Daniel_Burfoot · 2012-10-30T16:14:32.253Z · LW(p) · GW(p)

It should only take <2.5 times as many subjects to detect a real effect at p < .001 instead of p < .05 and the proportion of false findings would go way down immediately.

But then people could only publish 1/50 as many papers!

Replies from: DaFranker
comment by DaFranker · 2012-10-30T17:13:15.489Z · LW(p) · GW(p)

I had to do a double-take before I realized that this probably wasn't a serious attempt at a counterargument. I'm still not quite convinced that it isn't. Poe's Law and related things.

Yes, it does seem like some peoples' true rejections might turn out to be less opportunities for appeal to public and gaining popularity / funding.

comment by Deleet · 2012-10-30T13:10:10.104Z · LW(p) · GW(p)

I have made a habit out of ignoring p<.05 values when they are reported, unless its a special case where getting more subjects is too difficult or impossible.* I normally go with p<0.01 results unless its very easy to gather more subjects, in which case going with p<0.001 or lower is good.

  • For those cases, one can rely on repeated measurements over time of the same subjects over time. For instance, when comparing cross-country scores where the number of subjects is maxed out at 100-200. E.g. in The Spirit Level (book).
comment by Emily · 2012-11-03T15:37:27.221Z · LW(p) · GW(p)

it should only take <2.5 times as many subjects to detect a real effect at p < .001 instead of p < .05

Not to disagree with the overarching point, but the use of "only" here is inappropriate under some circumstances. Eg, a neuropsychological study requiring participants with a particular kind of brain injury is going to find more than doubling its n extremely difficult and time-consuming. For this kind of study (presuming insistence on working with p-values) it seems better to roll with the "ludicrous" p < .05 and rely on replication elsewhere for improved reliability. "Ludicrous" is too strong in fields with small effect sizes and small subject pools; they just need a much higher rate of replication.

comment by lukeprog · 2012-10-30T01:01:06.274Z · LW(p) · GW(p)

Dunno.

I bet math and logic papers have a higher frequency of valid results than medicine papers have of true results, and that LW math and logic results are more often valid than not.

Mainstream philosophy, however, is vastly less truth-tracking than medicine. I bet LW has a better philosophical track record than mainstream philosophy (merely by being naturalistic, reductionistic, relatively precise, cogsci-informed, etc.), but I'm not sure by how much.

comment by gwern · 2012-10-30T01:08:34.331Z · LW(p) · GW(p)

Those criticisms are largely irrelevant to 3 of the 4 sections, and the 4th is more history or applied statistics than science.

comment by lukeprog · 2012-10-30T17:54:25.488Z · LW(p) · GW(p)

No help from LW whatsoever? I was at least expecting people to mention the obvious stuff, like Eliezer's free wlil sequence. :(

Replies from: None, Benito, DaFranker
comment by [deleted] · 2012-10-30T18:04:23.102Z · LW(p) · GW(p)

Could you say something about your methods of deciding originality and significance? One of the problems with figuring something like this out is that LW and mainstream academia often use significantly different jargon. It may be that LW will be unhelpful here because in order to work out what's original and significant, you'd have to be an expert both in LW stuff and in mainstream academic discussions.

comment by Ben Pace (Benito) · 2012-10-31T19:06:05.374Z · LW(p) · GW(p)

Are you going to put on the Free Will sequence? And other important contributions from the sequences, like the reductionism post and dissolving the question (and Zombies too!)? (They're pretty important to philosophy.)

Replies from: lukeprog
comment by lukeprog · 2012-10-31T19:45:07.842Z · LW(p) · GW(p)

Eventually; I'll probably get a remote researcher to help me fill out the list, later.

comment by DaFranker · 2012-10-30T18:11:29.269Z · LW(p) · GW(p)

"I would help, but I suck at researching papers to compare LW stuff with mainstream science, so I can't really do much."

Unfortunately, I might also want to post that (for mostly status reasons) if I wouldn't help, which makes the information content near-zero and qualifies as noise.

Unless it's a meta post explaining why I wasn't posting and that I think many other users might judge themselves unable to help.

comment by A1987dM (army1987) · 2012-11-02T21:49:56.848Z · LW(p) · GW(p)

You forgot to escape the underscores in cousin_it's username.

Replies from: lukeprog
comment by lukeprog · 2012-11-02T22:41:53.594Z · LW(p) · GW(p)

It's an error in LW's rendering. Not sure how to fix it.

Replies from: Vladimir_Nesov
comment by Vladimir_Nesov · 2012-11-03T04:57:15.779Z · LW(p) · GW(p)

Fixed. (If you edit HTML source, LW software typically isn't involved in deciding how the post gets rendered.)