-
-
-
Looking at the history of Artificial Intelligence, often theoretical rigor
seems inversely proportional to practical applicability. Particularly, in
the field of robotics, there is a gap between the research on knowledge
representation and practical robotics. In the present paper, a solution f...
-
Master Thesis Eyal Hurvitz
This paper relates to the question whether there is a uniform method
of collective quantification. Several approaches to plural quantification are
presented as a background for Winter's (1998) unified $dfit$ lifting strategy.
The main proposal is that so-called {\em ...
-
In this thesis I define the notion of normality for deductions in a Gentzen
system for the classical case; I prove the normalization theorem for this
notion, and I build two direct correspondences G_n \to N*, N* \to G_n between
normal Gentzen deductions and natural deductions in *-normal form, i....
-
-
This paper develops and contrasts three recursion-theoretic notions of
genericity: one for sets below 0', and two for the recursively enumerable
(r.e.) sets. The first is the classical notion of 1-genericity, developed
in the context of the finite extension method first developed by Kleene
and Po...
-
Analyses developed so far, failed to provide an adequate semantics for
the interpretation of which-interrogatives of the form "Which P are
Q?". In this paper a new logical language is developed, where
which-interrogatives are expressed by universally quantifying over
conditional interrogatives. F...
-
This thesis discusses a proposal for a duality theory for bounded
lattices with operators, amalgamating work on distributive lattices
and on lattices with operators
-
An Information Theoretic Approach to Finding Word Groups
for Text Classification
Sjaak Verbeek
This thesis concerns finding the `optimal' number of (non-overlapping)
word groups for text classification. We present a method to select
_which_ words to cluster in word groups and _how many_ such ...
-
This work is the result of my attempts to combine my Philosophy
background with the Mathematical Logic inclinations of the institution
within which this research was developed. In fact, this twofold
character is noticeable in many features thereof; I shall now outline
some of them.
The project h...