Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

@inproceedings{Fuenmayor2019HarnessingH,
  title={Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories},
  author={David Fuenmayor and Christoph Benzm{\"u}ller},
  booktitle={PRICAI},
  year={2019}
}
An ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is mechanized on the computer. Utilizing Church's type theory as meta-logic to semantically embed a rich combination of expressive non-classical logics as required for the task, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of ambitious ethical theories and their mechanization, resp. automation, on the computer are no longer antipodes. 

Figures and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 29 REFERENCES