Gert-Jan C. Lokhorst has written a paper on "computational metaethics" (Computational Meta-Ethics: Towards the Meta-Ethical Robot), which explores the ability of formal systems (i.e. computers/robots) to reason about ethics. I'm wondering if there are other sources which discuss this.
Particularly, are there any which examine a consequentialist view? (Lokhorst's is deontological).