18. NUMBER

This paper presents an experiment with human subjects concerning the vague spatial relation ‘near’ in environmental space. After the topic is introduced and relevant previous work surveyed, the experiment is described. Three approaches to experimental analysis are presented and discussed: nearness neighbourhoods as regions with broad boundaries, fuzzy nearness and distance measures, and four-va...

s of the Talks In the order in which the talks were given. Walter Carnielli { Non-deterministic Semantics 5 Matthias Baaz { Analytic Calculi for Many-valued Logics 5 Hiroakira Ono { Many-valued Logics as Logics without the Contraction Rule 6 Reiner H ahnle { Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz { Determining the Truth Degree in Real Time Settings 7 Pete...

We prove several results on Almgren’s multiple valued functions and their links to integral currents. In particular, we give a simple proof of the fact that a Lipschitz multiple valued map naturally defines an integer rectifiable current; we derive explicit formulae for the boundary, the mass and the first variations along certain specific vectorfields; and exploit this connection to derive a d...

In AI and other branches of Computer Science expert models are often studied and used. Here we examine experts which evaluate formulas of modal logic. An expert model consists of a set of experts and a domination relation which dictates how each expert’s opinion is dependent upon the opinions expressed by other experts. Such multiple-expert modal models were introduced and investigated by Fitti...

We consider the problem of learning a vector-valued function f in an online learning setting. The function f is assumed to lie in a reproducing Hilbert space of operator-valued kernels. We describe two online algorithms for learning f while taking into account the output structure. A first contribution is an algorithm, ONORMA, that extends the standard kernel-based online learning algorithm NOR...

An r-valued m-variable reversible logic function maps each of the rm input patters to a unique output pattern. The synthesis problem is to realize a reversible function by a cascade of primitive reversible gates. In this paper, we present a simple heuristic algorithm that exploits the bidirectional synthesis possibility inherent in the reversibility of the specification. The primitive reversibl...