automatedkantianethics

KO | EN

gitlite — search

#python #react #ai #llm #golang #machine-learning #deep-learning #windows #awesome #kubernetes #awesome-list #vue #mcp #ios

automatedkantianethics

(★ 16)

This repository contains source code for my senior thesis, titled "Automated Kantian Ethics" and advised by Professor Nada Amin and Dr. William Cochran.

automatedkantianethics 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Automated Kantian Ethics

## Project Overview

This project automates ethical reasoning using Carmo and Jones' Dyadic Deontic Logic, Benzmueller, Farjami, and Parent's 
Isabelle framework, and Kant's ethical theory. From a bird's eye view, the strategy is to formalize ethics using 
deontic logic, implement the deontic logic in the Isabelle theorem prover, and use Isabelle's automated reasoning 
tools to prove facts about the logic, thus automating ethical reasoning. The completed version of the project includes
an implemented formalization of the categorical imperative, a variety of tests evaluating these formalizations, and examples
of concrete ethical reasoning performed using these formalizations. All reasoning is automated using Isabelle and a meta-goal
of the project is to demonstrate the power of automated theorem provers in performing ethical reasoning and helping 
philosophers evaluate ethical theories. Preprint of the paper is [https://arxiv.org/abs/2207.10152](https://arxiv.org/abs/2207.10152).

## Quick Links

The root directory contains development versions of my Isabelle theories, in files ending in `*.thy`. The directory `paper/` 
contains cleaned up versions of these theories, which can be compiled. The compiled version 
of my senior thesis is [here](https://github.com/lsingh123/cs91r/blob/main/paper/output/Automated_Kantian_Ethics_LS_Thesis.pdf). 
Files beginning in `thesis_` are included in the final draft of my senior thesis. File `thesis_*_[name].thy` will contain
source code for chapter * of the thesis. Everything else is developement work.

To get started, check out my recreation of Benzmueller, Farjami, and Parent's [implementation](https://www.researchgate.net/publication/323392435_Faithful_Semantical_Embedding_of_a_Dyadic_Deontic_Logic_in_HOL) of DDL in Isabelle in 
`thesis_2_methods.thy`. Necessarily logical background and my formalization of the FUL are in `thesis_3_methods.thy`. 
In `thesis_4_applications.thy`, I present examples of extended ethical reasoning (e.g., teling jokes is permissible) and 
my testing framework. For the development version of my implementation of Kroy's [formalization](https://www.proquest.com/openview/b3acb60a78f717e52b35171886fc1916/1?pq-origsite=gscholar&cbl=1817983), see `paper32.thy`. For
the final version, see `appendix.thy`.

## Compiling

To run the code, download the repo and open it in [JEdit](http://www.jedit.org/). To compile it, run `isabelle build -D .` from the repo root. The compiled PDF will
be in `paper/output/` and the tex files will be in `paper/output/document`.

automatedkantianethics

automatedkantianethics 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

automatedkantianethics

automatedkantianethics 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README