x

LESSWRONG
LW

Sam_A_Barnett

Subscribe

Message

22

1

8y

Motivating a Semantics of Logical Counterfactuals

(Disclaimer: This post was written as part of the CFAR/MIRI AI Summer Fellows Program, and as a result is a vocalisation of my own thought process rather than a concrete or novel proposal. However, it is an area of research I shall be pursuing in the coming months, and so...

Sep 22, 201722

Sam_A_Barnett

Subscribe

Message

22

1

8y

Motivating a Semantics of Logical Counterfactuals

(Disclaimer: This post was written as part of the CFAR/MIRI AI Summer Fellows Program, and as a result is a vocalisation of my own thought process rather than a concrete or novel proposal. However, it is an area of research I shall be pursuing in the coming months, and so...

Sep 22, 201722

Motivating a Semantics of Logical Counterfactuals

Sam_A_Barnett

8y

(Disclaimer: This post was written as part of the CFAR/MIRI AI Summer Fellows Program, and as a result is a vocalisation of my own thought process rather than a concrete or novel proposal. However, it is an area of research I shall be pursuing in the coming months, and so ought to lead to the germination of more ideas later down the line. Credit goes to Abram Demski for inspiring this particular post, and to Scott Garrabrant for encouraging the AISFP participants to actually post something.)

When reading Soares' and Levinstein's recent publication on decision theory, Death in Damascus, I was struck by one particular remark:

Unfortunately for us, there is as yet no

... (read 530 more words →)

3

22