Second Day at Dagstuhl

Today was full of talks. The theme of the workshop is Normative Reasoning for AI, but some of the talks seemed more like logic (or theorem proving) theory talks - perhaps that is a natural consequence of mixing communities. I'm talking tomorrow morning on the UK Highway Code - I do so because the organiser suggested it, but he's now denying responsibility and says he's happy for me to talk about verifying machine ethics if I want to. This is tempting. I have a much more solid body of work on machine ethics than I do on the Highway Code. On the other hand the Highway Code talk is now written and cheese is being served in 10 minutes - so if I start writing a talk on machine ethics I will miss out on cheese. There are gaps in the schedule, so I will tell the room tomorrow morning that I could give a "lightening talk" on machine ethics if they really want one, and then the assembled worthies can decide.