Tuesday, 27 October 2015

Call for papers WCCI 2016 Special Session "Recent trends in many-valued logic and fuzziness"

Many-valued logics have constituted for several decades key conceptual tools for the formal description and management of fuzzy, vague and uncertain information. In the last few years, the study of these logical systems has seen a bloom of new research related to the most diverse areas of mathematics and applied sciences. Relevant recent developments in this field are connected to the natural semantics of non-classical events. A non-classical event is described by a formula in the language of a given many-valued logic. A satisfying semantics for such events must account for their different aspects, in particular the "ontic" aspect, related to their vague nature, and the "epistemic" aspect, related to our ignorance, or approximate knowledge about them. The combination in a unique conceptual framework of the logic and the probability of a class of non-classical events, usually reached through the algebraic semantics and their topological or combinatorial dualities, provides both the theoreticians and the application-oriented scholars with powerful tools to deal with this kind of events.

This special session is devoted to the most recent development in the realm of many-valued logics, with particular emphasis on theoretical advances related to algebraic or alternative semantics, combinatorial aspects, topological and categorical methods, proof theory and game theory, many-valued computation. In particular, results directed towards a better understanding of the natural semantics of non-classical events will be appreciated. Further, a special attention is also given to connections and synergies between many-valued logics and other different formal approaches to vague and approximate reasoning, such as Rough Sets, Formal Concept Analysis and Relational Methods.

A partial list of topics is the following:
  • Algebraic semantics of many-valued logics
  • Applications of many-valued logics to Formal Concept Analysis and Relational Methods
  • Applications of many-valued logics to Fuzzy Sets and to Rough Sets
  • Combinatorial or topological dualities
  • Computational complexity of many-valued logics
  • Many-valued computational models
  • Modal logic approaches to probability and uncertainty in many-valued logics
  • Natural and alternative semantics for many-valued logics
  • Proof theory for many-valued logics
  • Representation theory
  • Subjective probability approaches to many-valued logics and non-classical events

Important Dates

Paper Submission Deadline: 15 January 2016;
Paper Acceptance Notification Date: 15 March 2016;
Final Paper Submission and Early Registration Deadline: 15 April 2016;
IEEE WCCI 2016: 25-29 July 2016.

Submission

Paper submission deadline is on January 15, 2016.
All papers must be submitted through the Online Submission System of the conference.
Please submit your paper selecting the option "Main research topic": Special Session on Recent trends in many-valued logic and fuzziness.

In order for your papers to be included in the congress program and the proceedings, final accepted papers must be submitted and the corresponding registration fees must be paid by April 15, 2016.

Organizers

Stefano Aguzzoli, Università degli Studi di Milano
Pietro Codara, Università degli Studi di Milano
Diego Valota, IIIA-CSIC

For more informations, please visit:
http://www.iiia.csic.es/~diego/fuzzieee2016.htm

No comments:

Post a Comment