MULOGMULOG

MULOGMULOG

 : 

Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisiónLógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión

A Project coordinated by IIIA.

Principal investigator:

Francesc EstevaFrancesc Esteva

Team members:

Collaborating organisations:

Funding entity:

TIN2004-07933-C03-01TIN2004-07933-C03-01

Funding call:

Project #:

MULOGMULOG

Funding amount:

0,00€0,00€

Duration:

2004-12-132004-12-13

 -

2007-12-132007-12-13
2008
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2008). Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2008). On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logical Quarterly. [BibTeX]  [PDF]
2007
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). A Complete Resolution Calculus for Signed Max-SAT. Proc. of the 37th International Symposium on Multiple-Valued Logic, ISMVL'07 . [BibTeX]  [PDF]
Francesc Esteva,  Joan Gispert,  Lluís Godo,  & Carles Noguera (2007). Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Tommaso Flaminio,  & Lluís Godo (2007). A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Inference Rules for High-Order Consistency in Weighted CSP. Proc. of the 22th AAAI Conference on Artificial Intelligence, AAAI-07 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Mapping CSP into Many-Valued SAT. Proc. of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT'07 . [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2007). Modal systems based on many-valued logics. In M. Stepnicka and V. Novák and U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 177-182). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2007). On completeness results for the expansions with truth-constants of some predicate fuzzy logics. In M. Stepnicka and V. Novák and U. Bodenhofer (Eds.), New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007 (pp. 21-26). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  & Lluís Godo (2007). On Lukasiewicz logic with truth constants. Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, ASC 42. [BibTeX]  [PDF]
Rostislav Horcík,  Carles Noguera,  & Milan Petrík (2007). On n-contractive fuzzy logics. Mathematical Logic Quarterly. [BibTeX]  [PDF]
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). Resolution for Max-SAT. Artificial Intelligence. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic behind Weighted CSP. Proc. of the 20th International Joint Conference on Artificial Intelligence, IJCAI'07 . [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2007). The Logic Behind Weighted CSP. Future and Trends in Constraint Programming. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2007). Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. Algebraic and Proof-theoretic Aspects of Non-classical Logics - Papers in honour of Daniele Mundici on the occasion of his 60th birthday. [BibTeX]  [PDF]
2006
María Luisa Bonet,  Jordi Levy,  & Felip Manyà (2006). A Complete Calculus for Max-SAT. Lecture Notes in Computer Science . [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2006). A methodology to Engineer Graded BDI Agents. WASI - CACIC Workshop.XII Congreso Argentino de Ciencias de la Computación . [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Bounded Second-Order Unification Is NP-Complete. Lecture Notes in Computer Science . [BibTeX]  [PDF]
\em given}$\psi$'', $\varphi\vert\psi$ for short, where $\psi$ is not the impossible event. The logic, called \FCP, exploits an idea already used by Hájek,  colleagues to define a logic for (unconditional) probability in the framework of fuzzy logics. Namely, we take the probability of the conditional event ``$\varphi\vert\psi$'' as the truth-value of the (fuzzy) modal proposition $P(\varphi \mid \psi)$, read as ``$\varphi\vert\psi$ is probable". The logic \FCP, which is built up over the many-valued logic \LPii\ (a logic which combines the well-known Łukasiewicz,  Product fuzzy logics), was shown to be complete for modal theories with respect to the class of probabilistic Kripke structures induced by coherent conditional probabilities. Indeed, checking coherence of a (generalized) probability assessment to an arbitrary family of conditional events becomes tantamount to checking consistency of a suitably defined theory over the logic \FCP. In this paper we provide further results for the logic \FCP. In particular, we extend the previous completeness result by allowing the presence of non-modal formulas in the theories, which are used to describe logical relationships among events. This increases the knowledge modelling power of \FCP. Then, we improve the results concerning checking consistency of suitably defined theories in \FCP\ to determine coherence showing parallel results w.r.t. the notion of {\em generalized coherence}when dealing with imprecise assessments. Moreover we also show,  & discuss compactness results for our logic. Finally, \FCP\ is shown to be a powerful tool for knowledge representation. Indeed, following ideas already investigated in the related literature, we show how \FCP\ allows the definition of suitable notions of default rules which enjoy the core properties of nonmonotonic reasoning characterizing system {\bf P}and {\bf R}. (2006). Coherent conditional probability in a fuzzy logic setting. Logic Journal of the IGPL. [BibTeX]  [PDF]
Chu Min Li,  Felip Manyà,  & J. Planes (2006). Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston/MA, USA . [BibTeX]
J. Argerlich,  & Felip Manyà (2006). Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics. [BibTeX]
Francesc Esteva,  & Lluís Godo (2006). Generalization of Mundici's functor to linearly ordered involutive monoidal t-norm based logic IMTL. Second Czech-Catalan conference in Mathematics (pp. 20). Universitat de Barcelona. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2006). Lexicographic Combinations of Preference Relations in the Context of Possibilistic Decision Theory. Mathware and Soft Computing. [BibTeX]  [PDF]
Teresa Alsinet,  C. Chesñevar,  Lluís Godo,  Sandra Sandri,  & G. Simari (2006). Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006 (pp. 1228-1235). Edition E.D.K.. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2006). On n-contractive fuzzy logics: first results. Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems . [BibTeX]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On product logic with truth constants. Journal of Logic and Computation. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). On rational weak nilpotent minimum logics. Journal of multiple valued-logic and soft computing. [BibTeX]  [PDF]
Romà Adillon,  Angel García-Cerdaña,  & Ventura Verdú (2006). On some classical fragments of t-norm based fuzzy logics. Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006 . [BibTeX]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2006). On weakly cancellative fuzzy logics. Journal of Logic and Computation. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite-chain semantics for fuzzy logics. Actas del XIII Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2006 (pp. 83-88). [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  & Carles Noguera (2006). Real, rational and finite semantics for fuzzy logics. In S. Gottwald, P. Hájek, M.Ojeda-Aciego (Eds.), The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing (LSC'06) (pp. 44-48). Universidad de Malaga. [BibTeX]  [PDF]
Jordi Levy,  Manfred Schmidt-Schauss,  & Mateu Villaret (2006). Stratified Context Unification is NP-complete. Lecture Notes in Computer Science . [BibTeX]  [PDF]
2005
C. Chesñevar,  G. Simari,  & Lluís Godo (2005). Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. In C. Baral et. al (Eds.), International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2005 (pp. 158-171). Springer. [BibTeX]  [PDF]
Ana Casali,  Lluís Godo,  & Carles Sierra (2005). Graded BDI Models for Agent Architectures. In Leite, João and Torroni, Paolo (Eds.), International Workshop on Computational Logic in Multi-Agent Systems - CLIMA 2004 (pp. 126 - 143). Springer-Verlag. [BibTeX]  [PDF]
Lluís Godo,  & Adriana Zapico (2005). Lexicographic refinements in the context of possibilistic decision theory. In Sobrevilla, Pilar and Montseny, Eduard (Eds.), Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain. (pp. 559 - 564). [BibTeX]  [PDF]
Petr Savicky,  Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth constants. In Universidad de Barcelona (Eds.), Algebraic and topological methods in non-classical logics II. Barcelona. 2005 (pp. 32-33). [BibTeX]  [PDF]
Roberto Cignoli,  Francesc Esteva,  Lluís Godo,  & Carles Noguera (2005). On product fuzzy logic with truth-constants. In Yingming Liu, Guoqing Chen and Mingsheng Ying (Eds.), Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005 (pp. 1244-1249). Tsinghua University Press, Springer. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On some varieties of MTL-Algebras. Logic Journal of the IGPL. May 2005.. [BibTeX]  [PDF]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On the variety of WNM-algebras. Algebraic and Topological Methods in Non-Classical Logics II June 15-18, 2005 University of Barcelona Barcelona, Spain . [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). On varieties generated by Weak Nilpotent Minimum t-norms. Proceedings of Fourth EUSFLAT . [BibTeX]
C. Chesñevar,  G. Simari,  Lluís Godo,  & Teresa Alsinet (2005). On Warranted Inference in Possibilistic Defeasible Logic Programming. Artificial Intelligence Reseach and Development. Frontiers in Artificial Intelligence and Applications.. [BibTeX]  [PDF]
Franco Montagna,  Carles Noguera,  & Rostislav Horcík (2005). On weakly cancellative fuzzy logics. The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing . [BibTeX]
Carles Noguera,  Francesc Esteva,  & Joan Gispert (2005). Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic. [BibTeX]  [PDF]
Jordi Levy,  Joachim Niehren,  & Mateu Villaret (2005). Well-Nested Context Unification. Lecture Notes in Artificial Intelligence . [BibTeX]  [PDF]