-
Modern approaches to human learning suggest that the process of
learning is most effective when the environment is active and
social. Digital techniques of serious games and online social networks
are therefore becoming increasingly popular in today’s educational
system. This thesis contributes t...
-
Deliberative democracy is a political theory that places deliberation at the heart of political decision making. In a deliberation, people justify their preferences to one another. They are confronted with new information and new perspectives, which might lead them to change their preferences. Th...
-
We are concerned with an application of the "types as Abstract Interpretation" perspective of [Cousot 97] to the problem of typing overloaded operator symbols in a simple applicative language with dynamic dispatch. We begin by a development of abstract semantics, or type systems, for \lambda_C, a...
-
Both in theoretical and applied research of machine translation it is often assumed that translation between natural languages can be treated in a compositional fashion, but it has proven far from trivial to develop a compositional translation system, or theoretically show it exists. In this thes...
-
In this thesis a compositional distributional semantic approach, the Recursive Neural Network, is used to syntactically-semantically compose non-symbolic representations of words. Unlike previous Recursive Neural Network models which use either no linguistic enrichment or significant symbolic syn...
-
This thesis is mainly about classical realizability. We study a general construction of abstract Krivine structures from filtered order-partial combinatory algebras. This construction gives interesting models of classical realizability, in the sense that the corresponding Krivine toposes are not ...
-
Classically, semantic theories have assumed that words are endowed with universal, immutable meanings. This assumption is not tenable when modeling natural language dialogue; far from treating word meanings as fixed entities, linguistic agents are constantly coordinating useful semantic conventio...
-
We look at Wittgenstein’s epistemological work On Certainty from the point of view of formal epistemology. Different interpretations of the work are looked at and important aspects of them are worked out. We take probability theory as a basis and interpret probabilities in terms of betting quotie...
-
Social choice theory studies mathematically the processes involved when groups of people make choices. There are a number of beautiful and astonishing qualitative results in this area, for example Arrow's Theorem about the non-existence of ideal voting schemes, and the Gibbard-Satterthwaite Theor...
-
One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In this setting Weihrauch reductions play the role that Turing reductions do in standard computability theory. Via coding, we can transfer computability and topological results from ...
-
Theory of Mind (ToM) is an important cognitive capacity, that is by many held to be ubiquitous in social interaction. However, at the same time, ToM seems to involve solving problems that are intractable and thus cannot be performed by humans in a (cognitively) plausible amount of time. Several c...