MULOG 2MULOG 2

MULOG 2MULOG 2

 : 

Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and OntologiesMany-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies

A Project coordinated by IIIA.

Principal investigator:

Francesc EstevaFrancesc Esteva

Collaborating organisations:

Funding entity:

TIN2007-68005-C04-01TIN2007-68005-C04-01

Funding call:

Project #:

MULOG 2MULOG 2

Funding amount:

0,00€0,00€

Duration:

2007-10-152007-10-15

 -

2010-10-152010-10-15
2012
Irina Perfilieva,  Didier Dubois,  Henri Prade,  Francesc Esteva,  Lluís Godo,  & Petra Hodáková (2012). Interpolation of fuzzy data: Analytical approach and overview. Fuzzy Sets and Systems. [BibTeX]  [PDF]
2011
Tommaso Flaminio,  Lluís Godo,  & Enrico Marchioni (2011). On the Logical Formalization of Possibilistic Counterparts of States over n-Valued Lukasiewicz Events. Journal of Logic and Computation. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2011). On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice. Journal of Logic and Computation. [BibTeX]  [PDF]
2010
Petr Cintula,  & Carles Noguera (2010). A general approach to non-classical first-order logics. 3rd World Congress on Universal Logic . [BibTeX]
Jordi Levy,  & Mateu Villaret (2010). An Efficient Nominal Unification Algorithm. Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2010). A New Algorithm for Weighted Partial MaxSAT. Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010 . [BibTeX]  [PDF]
Maliha S.,  Muhammad A.,  Ana María Martínez-Enriquez,  & Gonzalo Escalada-Imaz (2010). A rule based system for reliability centered maintenance. Ninth Mexican International Conference on Artificial Intelligence, MICAI 2010 . [BibTeX]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2010). Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]  [PDF]
Carles Noguera (2010). From fuzzy set theory to mathematical fuzzy logic. Tenth International Conference on Fuzzy Set Theory and Applications FSTA 2010 . [BibTeX]
Angel García-Cerdaña,  Eva Armengol,  & Francesc Esteva (2010). Fuzzy Description Logics and t-norm based Fuzzy Logics. International Journal of Approximate reasoning. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Lluís Godo (2010). Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics. Information Sciences. [BibTeX]  [PDF]
Petr Cintula,  & Carles Noguera (2010). Implicational logics vs. order algebraizable logics. Logic, Algebra and Truth Degrees 2010 . [BibTeX]
Petr Cintula,  & Carles Noguera (2010). Implicational (semilinear) logics I: a new hierarchy. Archive for Mathematical Logic. [BibTeX]  [PDF]
Eva Armengol,  & Angel García-Cerdaña (2010). Lazy induction of descriptions using two fuzzy versions of the Rand index. IPMU 2010 . [BibTeX]  [PDF]
Fi92a, Fi92b}of Fitting where the author defines a modal system over a logic of a finite Heyting algebra,  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,  having a preference relation. He defined the modal operators based on semantics,  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,  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$,  possibility $\Diamond$),  its semantic is defined by generalized Kripke models taking many-valued evaluation in each world $w \in W$,  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,  approaches to motivate,  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,  the accesibility relations. Next we describe these three groups,  & 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 (2010). Modalities and many-valued: modeling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics .. LINZ seminar . [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2010). On expansions of WNM t-norm based logics with truth-constants. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2010). On the Relation Between Context and Sequence Unification. Journal of Symbolic Computation. [BibTeX]  [PDF]
L.P. Belluce,  Antonio Di Nola,  & Enrico Marchioni (2010). Rings and Godel Algebras. Algebra Universalis. [BibTeX]
Yannis Kalfoglou,  & Marco Schorlemmer (2010). The Information-Flow Approach to Ontology-Based Semantic Integration. Theory and Applications of Ontology: Computer Applicactions. [BibTeX]
Fèlix Bou,  F. Paoli,  A. Ledda,  M. Spinks,  & R. Giuntini (2010). The logic of quasi-MV algebras. Journal of Logic and Computation. [BibTeX]
2009
Petr Cintula,  & Carles Noguera (2009). An abstract approach to fuzzy logics: implicational semilinear logics. Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. . [BibTeX]
Fèlix Bou,  Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2009). Characterizing Fuzzy Modal Semantics by fuzzy multimodal systems with crisp accessibility relations. In J.P. Carvalho, D. Dubois, U. Kaymak and J.M. da Costa Sousa (Eds.), IFSA - EUSFLAT 2009 (pp. 1541-1546). [BibTeX]  [PDF]
Roberto Cignoli,  & Francesc Esteva (2009). Commutative, integral bounded residuated lattices with an added involution. Annals of Pure and Applied Logic. [BibTeX]  [PDF]
Petr Cintula,  Francesc Esteva,  Joan Gispert,  Lluís Godo,  Franco Montagna,  & Carles Noguera (2009). Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalences. Annals of Pure and Applied Logic. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2009). First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Annals of Pure and Applied Logic. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  Josep Maria Font,  Angel Gil,  Lluís Godo,  Antoni Torrens,  & Ventura Verdú (2009). Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (doi:10.1093/logcom/exp030). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2009). On generalized continuous and left-continuous t-norms over chains: a survey. In U. Bodenhofer, B. de Baets, E.P. Klement, S. Saminger-Platz (Eds.), 30th Linz Seminar on Fuzzy Set Theory "The legacy of 30 seminars - where do we stand and where do we go?" (pp. 40 - 41). Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2009). On the Complexity of Bounded Second-order Unification and Stratified Context Unification. Journal of Algorithms in Cognition, Informatics, and Logic. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09 . [BibTeX]  [PDF]
Enrico Marchioni (2009). Ordered fields and LPi1/2 algebras. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]
Manuel Atencia Arcas,  & Marco Schorlemmer (2009). Reaching semantic agreements through interaction. 4th AIS SigPrag Int. Pragmatic Web Conference Track, ICPW'09, at the 5th Int. Conference on Semantic Systems, i-Semantics'09 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). Solving (Weighted) Partial MaxSAT Through Satisfiability Testing. Proc. of the 20th Int. Conf. on Theory and Applications of Satisfiability Testing, SAT'09 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2009). Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09 . [BibTeX]  [PDF]
2008
Fèlix Bou (2008). A first approach to the Deduction-Detachment Theorem in logics preserving degrees of truth. Proceedings of IPMU'08 . [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  & Lluís Godo (2008). Computation of Skeptical Outputs in P-DeLP Satisfying Indirect Consistency: a Level-based Approach. In L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay (Eds.), IPMU 2008 (pp. 497-504). [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2008). Exploring a Syntactic Notion of Modal Many-Valued Logics. Mathware & Soft Computing. [BibTeX]  [PDF]
Lluís Godo,  & Ricardo Oscar Rodriguez (2008). Logical approaches to fuzzy similarity-based reasoning: an overview. Preferences and Similarities. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2008). Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08 . [BibTeX]  [PDF]
Jordi Levy,  & Mateu Villaret (2008). Nominal Unification from a Higher-Order Perspective. Proc. of the 19th International Conference on Rewriting Techniques and Applications, RTA'08 . [BibTeX]  [PDF]
Enrico Marchioni (2008). On computational complexity of semilinear varietes. Journal of Logic and Computation. [BibTeX]
Enrico Marchioni (2008). On computational complexity of semilinear varieties. Journal of Logic and Computation. [BibTeX]
Angel García-Cerdaña,  & Francesc Esteva (2008). On Fuzzy Description Logics. CCIA 2008 . [BibTeX]
Francesc Esteva,  Carles Noguera,  & Joan Gispert (2008). On n-contractive Fuzzy Logics. First results. Uncertainty and Intelligent Information Systems. [BibTeX]
Angel García-Cerdaña (2008). On Some Implication-free Fragments of Substructural and Fuzzy Logics . [BibTeX]  [PDF]
Fèlix Bou,  Francesco Paoli,  Antonio Ledda,  & Hector Freytes (2008). On some properties of quasi-MV algebras and square root quasi-MV algebras. Part II. Soft Computing. [BibTeX]  [PDF]
Enrico Marchioni,  & Franco Montagna (2008). On triangular norms and uninorms definable in LPi1/2. International Journal of Approximate Reasoning. [BibTeX]
Carlos Ansótegui,  María Luisa Bonet,  & Jordi Levy (2008). Random SAT Instances à la Carte. Proc. of the 11th Int. Conf. of the ACIA, CCIA'08 . [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2008). The Complexity of Monadic Second-Order Unification. SIAM Journal on Computing. [BibTeX]  [PDF]
Carles Noguera (2008). Un apropament matemàtic al problema de vaguetat. Butlletí de la Societat Catalana de Matemàtiques. [BibTeX]  [PDF]
2007
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2007). On Completeness Results for Predicate Lukasiewicz, Product, Goedel and Nilpotent Minimum Logics Expanded with Truth-constantsc. Mathware and Soft Computing. [BibTeX]  [PDF]