-
We define an abstract model of belief propagation on a graph based on
the methodology of the revision theory of truth together with the
Assertion Network Toolkit, a graphical interface designed to test our
semantics.
-
In the 4th century BC, the Greek philosopher Diodoros Chronos gave a
temporal definition of necessity. Because it connects modality and
temporality, this definition is of interest to philosophers working
within branching time or branching space-time models. This definition
of necessity can be f...
-
During the Renaissance there was a growing interest for the use of
diagrams within conceptual studies. This paper investigates the
historical and philosophical foundation of this renewed use of
diagrams in ontology as well as the modern relevance of this
foundation. We discuss the historical and ...
-
-
We introduce a distributed negotiation framework for multiagent
resource allocation where interactions between agents are limited by a
graph defining a negotiation topology. A group of agents may only
contract a deal if that group is fully connected according to the
negotiation topology. An impor...
-
In this paper, we present a normal form theorem for a version of
Independence Friendly logic, a logic with imperfect
information. Lifting classical results to such logics turns out not to
be straightforward, because independence conditions make the formulas
sensitive for signalling phenomena. In ...
-
We argue that intentions with autonomous consequences pose
difficulties that force us to go beyond traditional models of decision
making. Of course, this does not mean that all intentions require such
extensions. Intentions without autonomous consequences can readily be
described in terms of str...
-
We describe the pictorial representations of infinite ordinals used in
teaching set theory, and discuss a possible use in naturalistic
foundations of mathematics.i
-
A classical result in voting theory, the Gibbard-Satterthwaite
Theorem, states that for any non-dictatorial voting rule for choosing
between three or more candidates, there will be situations that give
voters an incentive to manipulate by not reporting their true
preferences. However, this theore...
-
We investigate the truth conditions of knowledge ascriptions for the
case of mathematical knowledge. The availability of a formalizable
mathematical proof appears to be a natural criterion: (*) X knows that
p iff X has available a formalizable proof of p. Yet, formalizability
plays no major role...
-
The paper is an exploration of the old Chinese texts called the the
Mohist Canons from a modern logical perspective. We explain what the
Mohists have contributed to logic, while we also provide some new
interpretations of the issues discussed in the Canons.