-
In this thesis, a logic for reasoning about cooperative ability,
actions and preferences is developed. It is an extention of a
cooperation logic with actions, developed by Sauro et al., which is a
modular modal logic consisting of an environment module for reasoning
about actions and their effect...
-
Through history logic has been used for several purposes, for example
as foundation of mathematics or in philosophy to provide an controlled
environment of argumentation. In this thesis we are interested in
using logic to describe mathematical structures. For example, it is
well know that algebra...
-
In this thesis I have tried to find an explanation for the difference between
literate and illiterate people in solving syllogistic tasks. I have formulated
a list of experimental tasks designed to test a range of existing and new
theories on this question. I interviewed over 23 illiterate subjec...
-
The aim of this thesis is to explore how an informed and revised
notion of normativity reclaims the a priori character of
logic. Chapter 2 explores the notion of fallacy and draws upon
experimental results to show that there is a gap between traditional
standards of rationality and how people act...
-
We introduce a coalgebraic generalization of an infinite word, namely
a sourced flow, followed by a definition of what it means for an
automaton to accept a sourced flow, thereby generalizing the notion of
\omega-regularity. We show that this definition yields a finitary
description of acceptance...
-
In this thesis we will investigate several supervised methods of learning the
syntactic structure of natural languages. Supervised learning is one of several
machine learning paradigms. It differs from the unsupervised methodologies in
the fact that it learns from a number of existing examples of...
-
Keywords:
-
The aim of my research was to develop a semantic model to account for
a kind of vague predicates: relative gradable adjectives. In the first
chapter I present the problem of vagueness in natural language and the
paradox that characterizes it: the Sorites paradox. In the second
chapter I consider ...
-
In this thesis we elaborate on logic-based automated reasoning tech-
niques for abduction, driven by the principle of goal-oriented rea-
soning. In the first part we develop two variants of a computational
framework for abduction in propositional logic, based on regular con-
nection tableaux and ...
-
Default Logic and Autoepistemic Logic are two forms of nonmonotonic
logic originating from the works of Reiter in 1980 and Moore in 1985,
respectively. Konolige showed that via a translation from defaults to
modal formulas default logic can be expressed in autoepistemic
logic. However, no transl...
-
This thesis on the polymodal provability logic GLP is divides into
three main sections. In the first section, we investigate relational
models of GLP. After presenting a simplified treatment of
Beklemishev's blow-up model construction, we exploit completeness for
such models to obtain a new, pure...