-
The AGM paradigm for belief revision provides a very elegant and
powerful framework to reason about idealized agents. The paradigm
assumes that the modelled agent is a perfect reasoner with infinite
memory. In this paper we propose a framework to reason about non
ideal agents that generalizes th...
-
Natural language is the primary vehicle of human communication. It involves
a series of interlocked processes at various levels of aggregation. Proof
theory and dynamic logic provide two paradigms for dealing with this variety.
This paper gives an analysis of some main issues that arise in mergin...
-
-
A new task put on the agenda of philosophical logic by the recent dynamic
turn, the account for the dynamics of anaphoric context shifts in reasoning,
is taken up. The paper gives a sequent axiomatisation of some well known
dynamic anaphora logics. The calculi are shown to be sound and complet...
-
An incremental semantics for a logic with dynamic binding is developed on the
basis of a variable free notation for dynamic logic that takes its cue from
De Bruijn's variable free notation for lambda calculus. De Bruijn indexing
replaces variables by indices which indicate the distance to their...
-
The AGM model has been criticized for not addressing the problem
of iterated change. This is true, but in some cases the invalid claim
that "AGM does not allow iteration" has been made. In this paper we
examine the most elementary scheme of iteration: an iterable function.
We formulate an iterabl...
-
Coping with ambiguity has recently received a lot of attention in
natural language processing. Most work focuses on the semantic
representation of ambiguous expressions. In this paper we complement
this work in two ways. First, we provide an entailment relation for a
language with ambiguou...
-
This paper applies resolution theorem proving to natural language
semantics. The aim is to circumvent the computational complexity
triggered by natural language ambiguities like pronoun binding, by
interleaving pronoun binding with resolution deduction. To this end,
disambiguation is only a...
-
-
We formalize several ways of accounting, in the context of logically closed
theories, for foundationalist intuitions that underlie change operations
applying to belief bases. A positive and a negative concept of entrenchment
is defined on the basis of the structure of a given, possibly priorit...
-
The paper addresses the question: How do we come to understand word-words
occurring in sentences, texts and utterances? Various writings of Frege are
consulted in an attempt to give an answer to this question. I first suggest
a way of conceiving how the Fregean principles of compositionality and
...