A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1903.09818v2.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
[article]
<span title="2019-06-15">2019</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
Other Versions
<span title="2019-03-23">2019</span>
<span class="release-stage" >pre-print</span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.09818v1">arXiv:1903.09818v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h5znf4bajfcajbvhgnuv7jw2oi">fatcat:h5znf4bajfcajbvhgnuv7jw2oi</a> </span>
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.09818v1">arXiv:1903.09818v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h5znf4bajfcajbvhgnuv7jw2oi">fatcat:h5znf4bajfcajbvhgnuv7jw2oi</a> </span>
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.09818v2">arXiv:1903.09818v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lhdiz576s5gilp3nrpnpajlnku">fatcat:lhdiz576s5gilp3nrpnpajlnku</a>
</span>
more »
... oundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191221210342/https://arxiv.org/pdf/1903.09818v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/a8/d6/a8d6b6e30af56f78e59e68840369aa8fe3182032.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1903.09818v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>