-
An agent can usually hold a very large number of beliefs. However, only a
small part of these beliefs is used at a time. Efficient operations for belief
change should affect the beliefs of the agent locally, that is, the changes
should be performed only in the relevant part of the belief state.
...
-
Belief revision deals with the problem of how to accommodate new assertions
into an existent body of knowledge. Traditionally, the body of knowledge is
represented by a belief set, a set of formulas closed under logical
implication. A belief set can also be represented by the set of possible...
-
In this paper, we investigate the prospects of basing logic on
cooperative information exchange instead of valid reasoning. To this
end, we introduce a simple dialogue game of interrogation. Relative
to a minimal logical query-language suitable for the game, and a
semantic interpretation fo...
-
-
In this paper, we discuss a decision-theoretic strategy for
surveillance as a first step towards automating the planning of the
movement of an autonomous surveillance robot. We extend a previous
proposal by including some heuristics based on an abstract
representation of the environment. We show,...
-
This paper explores the interface of elementary logic and game theory,
pointing out several commonalities. We search for a proper structural
invariance between extensive games, using notions of bisimulation and
modal languages. In this context, we also consider natural operations
creating new ga...
-
The paper develops a dynamic framework suitable for analysis of
practical reasoning. The application of functional approach in dynamic
semantics confirms the results obtained in philosophical analyses of
practical inference, regarding, in particular, defeasibility,
undetachability and distinctive...
-
In this paper, we revive the topological interpretation of modal
logic, turning it into a general language of patterns in space. In
particular, we define a notion of bisimulation for topological models
that compares different visual scenes. We refine the comparison by
introducing Ehrenfeucht-Frai...
-
Proceedings of the ILLC Workshop on Logic and Games.
Held in Amsterdam, November 19-20, 1999
Editors: Pauly, M.; Baltag, A.
These proceedings contain the abstracts of the following talks:
Semantics of Informational Independence, by Gabriel Sandu
Informatio...
-
Data oriented parsing systems employ redundant stochastic tree
substitution grammars STSGs to analyse natural language utterances on
the basis of an annotated corpus (a treebank). An important component
of such systems is the way in which the substitution probability of a
parse tree is estimated ...
-
The paper introduces a first order logic of incomplete information,
based on the idea that this can be achieved by an appropriate
formalisation of probabilistic conditional expectation. We show that
conditional expectation acts as a generalised quantifier, and
investigate various ways of conditio...