TitleModalities and many-valued: modeling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics .
Publication TypeConference Paper
Year of Publication2010
AuthorsEsteva F
Editor
Conference NameLINZ seminar
Conference LocationLINZ (Austria)
Pagination45-48
Date Published9/02/2010
KeywordsFuzzy Logic, Modal many valued, Similarity reasoning
Abstract

The talk will began remembering results on papers \cite{hge, geh, ghe} where the authors model uncertainty measures as fuzzy modalities on a many-valued residuated logics. the basic idea is that uncertainty measures is not a truth degree but could be interpreted as a truth degree of the fuzzy sentence "the probability of $\varphi$". The main properties being that the language does not allow nested modalities and their semantic is not defined as generalized Kripke models in strict sense. We will give the example of probabilities (possibilities, belief functions) over classical propositions and its generalizations to uncertainty measures on many-valued (fuzzy) propositions. But the main goal of the talk is modal many-valued fuzzy logics defined by Kripke models and some applications. Modal many-valued logics is a topic that has deserved few attention until the nineties. The first known papers are the papers \cite{Fi92a, Fi92b} of Fitting where the author defines a modal system over a logic of a finite Heyting algebra and give a complete axiomatization of them. In its late paper Fitting justify it in a very nice an elegant semantics based on a multi-agent system each one using classical logic and having a preference relation. He defined the modal operators based on semantics and his definitions is the ones used in later papers on the topic as generalizations modal operators on many-valued systems based on Kripke semantics (with many-valued worlds and many-valued accessibility relations). In these approaches Modal many-valued language is built taking the language of the many-valued logic $(\land, \lor, &, \to_&, \neg_&, 0, 1)$ plus at least one the usual modal operators (necessity $\Box$ and possibility $\Diamond$) and its semantic is defined by generalized Kripke models taking many-valued evaluation in each world $w \in W$ and many-valued accessibility relations $S: W \times W \to [0,1]$. The evaluation of modal operators are given (following Fitting \cite {Fi92a, Fi92b}) by \begin{itemize} \item $V ( \Box \varphi, w ) = {\displaystyle \bigwedge} \{ R(w,w') \to V(\varphi,w'): w' \in W \}$. \item $V ( \Diamond \varphi, w ) = {\displaystyle \bigvee} \{ R(w,w') & V(\varphi,w'): w' \in W \}$. \end{itemize} There are different attempts and approaches to motivate and study modal logic formalisms based on Kripke semantics to the many-valued setting. Roughly speaking we can classify the approaches in three groups depending how the corresponding Kripke frames look like, in the sense of how many-valuedness affects the worlds and the accesibility relations. Next we describe these three groups and comment about our work in each of them. A first group (see e.g. \cite{ChFr92, EsGaGoRo97,Su97}) is formed by those logical systems whose class of Kripke frames are such that their {\em worlds are classical} (i.e. they follow the rules of classical logic) but their {\em accessibility relations are many-valued}, with values in some suitable lattice $A$. In such a case, the usual approach to capture the many-valuedness of an accessibility relation $R: W \times W \to A$ is by considering the induced set of classical accessibility relations $\{ R_a \mid a \in A \}$ defined by the different level-cuts of $R$, i.e. $ \langle w, w' ångle \in R_a$ iff $R(w, w') \geq a$. At the syntactical level, one then introduces as many (classical) necessity operators $\Box_a$ (or possibility operators $\Diamond_a$) as elements $a$ of the lattice $A$, interpreted by (classical) relations $R_a$. Therefore, in this kind of approach, one is led to a multi-modal language but where (both modal and non modal) formulas are Boolean in each world. In this setting we will present as example the similarity-based reasoning developed in \cite{DuEsGaGo95, EsGaGo94, EsGaGoRo97, DuPrEsGa97, EsGoRoVe10}. The starting point is the paper by Ruspini \cite{Ru91} about a possible semantics for fuzzy set theory. He develops the idea that we could represent a fuzzy concept by its set of prototypical elements (which will have fully membership to the corresponding fuzzy set) together with a similarity relation giving the degree of similarity of each element of the universe to the closest prototype. This degree is taken then as the membership to the fuzzy set. From this basic idea, we will see three graded entailments (approximate, proximity and strong) that can be represented in a multi-modal systems with frames where the (graded) accessibility is given by a fuzzy similarity relation on pairs of worlds, and for which we have proved completeness in several cases \cite{EsGaGoRo98}. A second group of approaches are the ones whose corresponding Kripke frames have {\em many-valued worlds}, evaluating propositional variables in a suitable lattice of truth-values $A$, but with {\em classical accessibility relations} (see e.g. \cite{HaHa96,Haj98,HaTe06}). In this case, we have languages with only one necessity and/or possibility operator ($\Box, \Diamond$), but whose truth-evaluation rules in the worlds is many-valued, so modal (and non-modal formulas) are many-valued. Finally, a third group of approaches are {\em fully many-valued}, in the sense that in their Kripke frames, both worlds and accessibility relations are many-valued, again over a suitable lattice $A$. In that case, some approaches (like \cite{Fi92a,Fi92b,KouNoPe02,CaRo10}) have a language with a single necessity/possibility operator ($\Box, \Diamond$), and some (like \cite{Mi05, BoEsGoRo09}) consider a multi-modal language with a family of indexed operators $\Box_a$ and $\Diamond_a$ for each $a \in A$, interpreted in the Kripke models via the level-cuts $R_a$ of a many-valued accessibility relations $R$. Actually, these two kinds of approaches are not always equivalent, in the sense that the operator $\Box$ and the set of operators $\{ \Box_a \mid a \in A\}$ are not always interdefinable (or analogously with the possibility operators). In this setting we will present recent results a summary \cite{BoEsGoRo09,CaRo10} on minimum modal many-valued logic over the logic of a finite residuated lattice and modal Gödel logic respectively. Next we will sketch what Fuzzy description logic could be following the proposal of Hájek in \cite{Ha05,Ha06} and developed in \cite{GaArEs10}. Finally we propose a research proposal which main goal to be the study of n-graded Description Logics (depending of the underlying logic and the expressiveness of the description language we want), a topic for which we have at hand many results: canonical completeness of first order finite-valued residuated logic, modal many-valued results, decidability results and many possible reasoning algorithms.