• https://carolinacleaningservice.com/
  • https://cbtmortgage.com/
    • Nonmonotonic Logic and Rule-Based Legal Reasoning | Universitas Islam Bunga Bangsa Cirebon This dissertation defends the use of nonmonotonic logic to represent rule-based legal reasoning, as exempl..."> This dissertation defends the use of nonmonotonic logic to represent rule-based legal reasoning, as exempl..."/>
    Image of Nonmonotonic Logic and Rule-Based Legal Reasoning
    Penanda Bagikan

    Text

    Nonmonotonic Logic and Rule-Based Legal Reasoning

    This dissertation defends the use of nonmonotonic logic to represent rule-based legal reasoning, as exemplified by a particular, complex statute: the Internal Revenue Code. The dissertation motivates and provides a theoretical basis for formalizing the United States tax code (and perhaps other statutes). Formalization of statutory language will make statutes more precise. Formalized statutory language that tracks the actual structure of the tax law will make it easier for theoretical work to converge with the law, and may lay the groundwork to apply artificial intelligence to tax compliance and avoidance.To this end, the dissertation investigates and refines John Horty's work, especially Reasons as Defaults, with particular focus on examples in that book of inappropriate equilibria---scenarios that Horty's approach endorses that Horty finds problematic or unintuitive. The dissertation looks at Horty's work in service of applying Horty's work, and default logic more generally, to legal reasoning, and in particular rule-based legal reasoning.

    Ketersediaan
    #
    Belum memasukkan lokasi Belum memasukkan lokasi
    27599
    Tersedia
    Informasi Detail
    Judul Seri
    -
    No. Panggil
    27599
    Penerbit
    : .,
    Deskripsi Fisik
    157
    Bahasa
    ISBN/ISSN
    9780355307498
    Klasifikasi
    -
    Tipe Isi
    -
    Tipe Media
    -
    Tipe Pembawa
    -
    Edisi
    -
    Subjek
    -
    Info Detail Spesifik
    -
    Pernyataan Tanggungjawab
    Versi lain/terkait

    Tidak tersedia versi lain

    Lampiran Berkas
    Tidak Ada Data
    Komentar
    Anda harus masuk sebelum memberikan komentar