Apologies for multiple copies ...
***************************************************
Call for Papers
***************************************************
IPMU 2012 - Catania, Italy
July 9-13, 2012
http://www.ipmu2012.unict.it/
Special Session on: Formal Methods to Deal with Uncertainty of Many-
Valued Events
***************************************************
The study of logical, algebraic, proof theoretic tools for the
management of uncertainty is
a well-established line of research, whose development has influenced
significantly many
areas of applied research, from Economics and Game Theory, to
Artificial Intelligence.
This special session titled
Formal Methods to Deal with Uncertainty of Many-Valued Events,
aims at collecting papers about the formal approach of those theories
of uncertainty based on
many-valued, imprecise, events. In many real-world situations, we need
to evaluate the degree
of uncertainty, or to estimate the feasibility, of a sentence (or a
class of sentences) that cannot
be exactly regarded as completely true or false, without a sensible
lack of precision.
Many-valued logics, fuzzy logics, and their algebraic semantics
represent the formal tools to deal
with imprecise events, whose truth comes in degrees. Theories of
uncertainty that are built over
those logico-algebraic structures that model many-valued events are
adequate tools to model those
situations in which a quantitative evaluation of the combination of
uncertainty and imprecision is
needed.
This special session will focus on (but will not limited to) the
following topics:
(1) Probability and conditional probability of fuzzy events;
(2) States and internal states on algebras of fuzzy logics;
(3) Demspter-Shafer Belief functions of fuzzy events;
(4) Possibility, Necessity and idempotent measures;
(5) Philosophical foundations for uncertainty of many-valued events;
(6) Modal expansion of fuzzy logics for uncertain reasoning;
(7) Betting-style semantics for uncertainty measures of many-valued
events.
=======================
Special session papers will be handled in the same way as regular
papers. In particular, they will be
peer-reviewed by the conference program committee on the basis of the
same criteria, and the final
decision of acceptance or rejection will be made by the conference
chairs.
Deadline to submit papers is December 10, 2011
The length of papers is at most 10 pages in Springer LNCS format.
Informations about submission are
available at:
http://www.ipmu2012.unict.it/submissions.html
The conference proceedings will be published by Springer-Verlag (LNAI/
CCIS series).
When submitting the paper through the EasyChair conference management
system, you will have to explicitly indicate that your contribution is
for this special session (notice that
Special Session are calles "groups" in the submission systems).
Please feel free to extend this invitation to colleagues of yours that
might be interested as well.
Best Regards,
Tommaso Flaminio
Ioana Leusten
Enrico Marchioni
_______________________________________________
uai mailing list
[email protected]
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
