MoL-2007-09: Clarity in Non-Monotonic Logic

MoL-2007-09: Bastiaanse, Harald (2007) Clarity in Non-Monotonic Logic. [Report]

[img]
Preview
Text (Full Text)
MoL-2007-09.text.pdf

Download (410kB) | Preview
[img] Text (Abstract)
MoL-2007-09.abstract.txt

Download (846B)

Abstract

It is telling that historically mathematics and even the sciences have often made great leaps forward by switching to new formalisms and paradigms in terms of which the phenomena under study were easier to express and comprehend. Evidently unclarity can stifle a field, or at least prevent readily available results from being picked up on when needed. In this thesis we will ascertain as much by looking into the field of non-monotonic logic. We take a look at a system for default rules that has great empirical adequacy but also no lack of complexity, and that has thus remained basically unnoticed for a long time. And exactly as our little theory suggests, a fruitful application presents itself immediately after we've rephrased the system to increase its clarity...

Item Type: Report
Report Nr: MoL-2007-09
Series Name: Master of Logic Thesis (MoL) Series
Year: 2007
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/781

Actions (login required)

View Item View Item