A LANCE OF LOGIC

Dex has set a goal of engineering machines that are capable of understanding ethics and human values.

Once our prototypical ethics and verification engine is complete, it will be able to analyse data pertaining to a situation and provide objective ethical judgment, through formal ethics and metaethics.

This framework is constructed using formal methods of logic, axioms, and first principles, game theory, and a carefully balanced network of values.