Intelligent Agent Foundations Forumsign up / log in
Index of some decision theory posts
discussion post by Tsvi Benson-Tilsen 499 days ago | Ryan Carey, Jack Gallagher, Jessica Taylor and Scott Garrabrant like this | discuss

What this is

Edit: this is now a general index for agent-foundations-related decision theory research. It is most-recent-first. I’ll add summaries for other posts if anyone wants.


Forum post:

Generalizing Foundations of Decision Theory

Forum post:

Prediction Based Robust Cooperation

Forum post:

Entangled Equilibria and the Twin Prisoners’ Dilemma

Forum post:

On motivations for MIRI’s highly reliable agent design research

Forum post:

Open problem: very thin logical priors

An open problem relevant to decision theory and to understanding bounded reasoning: is there a very easily computable prior over logical facts that, when updated on the results of computations, performs well in some sense?

Forum post:

postCDT: Decision Theory using post-selected Bayes nets

Forum post:

Updatelessness and Son of X

Forum post:

A failed attempt at Updatelessness using Universal Inductors

Forum post:

Training Garrabrant inductors to predict counterfactuals

A proposal for training UGIs to predict action- and policy-counterfactuals by learning from the consequences of actions taken by similar (“logically previous”) agents.

Forum post:

Github pdf:

Desiderata for decision theory

A list of desiderata for a theory of optimal decision-making for bounded rational agents in general environments.

Forum post:

Github pdf:

Transitive negotiations with counterfactual agents

Forum post:

Attacking the grain of truth problem using Bayes-Savage agents

Forum post:

Notation for induction and decision theory

A reference for notation that might be useful for using (universal) Garrabrant inductors as models for bounded reasoning, and some notation for modelling agents. (Not on the forum because tables.)

Github pdf:

Index of some decision theory posts

As advertised.

Forum post:

Github pdf:





[Delegative Reinforcement
by Vadim Kosoy on Stable Pointers to Value II: Environmental Goals | 1 like

Intermediate update: The
by Alex Appel on Further Progress on a Bayesian Version of Logical ... | 0 likes

Since Briggs [1] shows that
by 258 on In memoryless Cartesian environments, every UDT po... | 2 likes

This doesn't quite work. The
by Nisan Stiennon on Logical counterfactuals and differential privacy | 0 likes

I at first didn't understand
by Sam Eisenstat on An Untrollable Mathematician | 1 like

This is somewhat related to
by Vadim Kosoy on The set of Logical Inductors is not Convex | 0 likes

This uses logical inductors
by Abram Demski on The set of Logical Inductors is not Convex | 0 likes

Nice writeup. Is one-boxing
by Tom Everitt on Smoking Lesion Steelman II | 0 likes

Hi Alex! The definition of
by Vadim Kosoy on Delegative Inverse Reinforcement Learning | 0 likes

A summary that might be
by Alex Appel on Delegative Inverse Reinforcement Learning | 1 like

I don't believe that
by Alex Appel on Delegative Inverse Reinforcement Learning | 0 likes

This is exactly the sort of
by Stuart Armstrong on Being legible to other agents by committing to usi... | 0 likes

When considering an embedder
by Jack Gallagher on Where does ADT Go Wrong? | 0 likes

The differences between this
by Abram Demski on Policy Selection Solves Most Problems | 1 like

Looking "at the very
by Abram Demski on Policy Selection Solves Most Problems | 0 likes


Privacy & Terms