Intelligent Agent Foundations Forumsign up / log in
Relating Modal Polymorphism to PA with soundness
link by Siddharth Bhaskar 1030 days ago | Abram Demski, Nate Soares, Patrick LaVictoire and Scott Garrabrant like this | 2 comments


by Siddharth Bhaskar 1022 days ago | Patrick LaVictoire likes this | link

I would like to expand this paper to include how the theory MP + > n handles the procrastination paradox and similar Lobian tests. Are the results of these tests known for theories PA + n?

reply

by Patrick LaVictoire 1012 days ago | link

I may be misinterpreting the question, but the Lobstacle doesn’t apply to an agent using PA+N+1 building an agent that will use PA+N, and you can’t make the procrastination paradox with that finite descending chain of formal systems. Is that what you meant?

reply



NEW LINKS

NEW POSTS

NEW DISCUSSION POSTS

RECENT COMMENTS

Note: I currently think that
by Jessica Taylor on Predicting HCH using expert advice | 0 likes

Counterfactual mugging
by Jessica Taylor on Doubts about Updatelessness | 0 likes

What do you mean by "in full
by David Krueger on Doubts about Updatelessness | 0 likes

It seems relatively plausible
by Paul Christiano on Maximally efficient agents will probably have an a... | 1 like

I think that in that case,
by Alex Appel on Smoking Lesion Steelman | 1 like

Two minor comments. First,
by Sam Eisenstat on No Constant Distribution Can be a Logical Inductor | 1 like

A: While that is a really
by Alex Appel on Musings on Exploration | 0 likes

> The true reason to do
by Jessica Taylor on Musings on Exploration | 0 likes

A few comments. Traps are
by Vadim Kosoy on Musings on Exploration | 1 like

I'm not convinced exploration
by Abram Demski on Musings on Exploration | 0 likes

Update: This isn't really an
by Alex Appel on A Difficulty With Density-Zero Exploration | 0 likes

If you drop the
by Alex Appel on Distributed Cooperation | 1 like

Cool! I'm happy to see this
by Abram Demski on Distributed Cooperation | 0 likes

Caveat: The version of EDT
by 258 on In memoryless Cartesian environments, every UDT po... | 2 likes

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

RSS

Privacy & Terms