The Lessons

Knowing your Morals

• It's hard to know (How do you choose 10 commandments?)
• It's hard to formalise (Who wrote the 10 commandments?)
• It's hard to encode (Could we encode the 10 commandments?)
• It's hard to predict (Who will break which commandments?)

Project

• Survey demographics, rankings, scenario choices, ethics
• Test accuracy of math model
• Statistics for demographics vs. ethics
• Compare STEM and Arts & Humanities data

Logic Development

• TF0 and arithmetic (Beagle, CVC4, Princess, SPASS+T, Vampire, Z3)
• Question answering (E, Vampire)
• TH0 for modal logic encoding (CVC4, Leo-III, Satallax, Vampire-NAR)
• Modalities, e.g., "It is necessary to swerve", or "It is possibly the baby will survive"