MULOG MULOG

MULOG MULOG

 : 

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

A Project coordinated by IIIA.

Principal investigator:

Francesc Esteva Francesc Esteva

Team members:

Collaborating organisations:

Funding entity:

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

Funding call:

Project #:

MULOG MULOG

Funding amount:

0,00€ 0,00€

Duration:

2004-12-13 2004-12-13

 -

2007-12-13 2007-12-13
2008
Teresa AlsinetC. ChesñevarLluís GodoSandra SandriG. Simari; Formalizing Argumentative Reasoning in a Possibilistic Logic Programming Setting with Fuzzy Unification. International Journal of Approximate Reasoning; 2008.  [PDF]  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logical Quarterly; 2008.  [PDF]  [BibTeX]
2007
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; A Complete Resolution Calculus for Signed Max-SAT. 2007.  [PDF]  [BibTeX]
Francesc EstevaJoan GispertLluís GodoCarles Noguera; Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results. Fuzzy Sets and Systems; 2007.  [PDF]  [BibTeX]
Tommaso FlaminioLluís Godo; A logic for reasoning about the probability of fuzzy events. Fuzzy Sets and Systems; 2007.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; Inference Rules for High-Order Consistency in Weighted CSP. 2007.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; Mapping CSP into Many-Valued SAT. 2007.  [PDF]  [BibTeX]
Fèlix BouFrancesc EstevaLluís Godo; Modal systems based on many-valued logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007; 2007.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; On completeness results for the expansions with truth-constants of some predicate fuzzy logics. New dimensions in fuzzy logic and related technologies. Proceedings EUSFLAT 2007; 2007.  [PDF]  [BibTeX]
Roberto CignoliFrancesc EstevaLluís Godo; On Lukasiewicz logic with truth constants. 2007.  [PDF]  [BibTeX]
Rostislav HorcíkCarles NogueraMilan Petrík; On n-contractive fuzzy logics. Mathematical Logic Quarterly; 2007.  [PDF]  [BibTeX]
María Luisa BonetJordi LevyFelip Manyà; Resolution for Max-SAT. Artificial Intelligence; 2007.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; The Logic behind Weighted CSP. 2007.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJordi LevyFelip Manyà; The Logic Behind Weighted CSP. 2007.  [PDF]  [BibTeX]
Francesc EstevaLluís Godo; Towards the generalization of Mundici's Gamma functor to IMTL algebras: the linearly ordered case. 2007.  [PDF]  [BibTeX]
2006
María Luisa BonetJordi LevyFelip Manyà; A Complete Calculus for Max-SAT. 2006.  [PDF]  [BibTeX]
Ana CasaliLluís GodoCarles Sierra; A methodology to Engineer Graded BDI Agents. WASI - CACIC Workshop.XII Congreso Argentino de Ciencias de la Computación; 2006.  [PDF]  [BibTeX]
Jordi LevyManfred Schmidt-SchaussMateu Villaret; Bounded Second-Order Unification Is NP-Complete. 2006.  [PDF]  [BibTeX]
\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ájekcolleagues 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 ŁukasiewiczProduct 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 showdiscuss 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}.; Coherent conditional probability in a fuzzy logic setting. Logic Journal of the IGPL; 2006.  [PDF]  [BibTeX]
Chu Min LiFelip ManyàJ. Planes; Detecting Disjoint Inconsistent Subformulas for Computing Lower Bounds for Max-SAT. 2006.  [BibTeX]
J. ArgerlichFelip Manyà; Exact Max-SAT solvers for over-constrained problems. Journal of Heuristics; 2006.  [BibTeX]
Francesc EstevaLluís Godo; Generalization of Mundici's functor to linearly ordered involutive monoidal t-norm based logic IMTL. Second Czech-Catalan conference in Mathematics; 2006.  [PDF]  [BibTeX]
Lluís GodoAdriana Zapico; Lexicographic Combinations of Preference Relations in the Context of Possibilistic Decision Theory. Mathware and Soft Computing; 2006.  [PDF]  [BibTeX]
Teresa AlsinetC. ChesñevarLluís GodoSandra SandriG. Simari; Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification. Proc. 11th Intl. Conference IPMU 2006; 2006.  [PDF]  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; On n-contractive fuzzy logics: first results. 2006.  [BibTeX]
Petr SavickyRoberto CignoliFrancesc EstevaLluís GodoCarles Noguera; On product logic with truth constants. Journal of Logic and Computation; 2006.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; On rational weak nilpotent minimum logics. Journal of multiple valued-logic and soft computing; 2006.  [PDF]  [BibTeX]
Romà AdillonAngel García-CerdañaVentura Verdú; On some classical fragments of t-norm based fuzzy logics. 2006.  [BibTeX]
Franco MontagnaCarles NogueraRostislav Horcík; On weakly cancellative fuzzy logics. Journal of Logic and Computation; 2006.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; Real, rational and finite-chain semantics for fuzzy logics. Actas del XIII Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2006; 2006.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; Real, rational and finite semantics for fuzzy logics. The Logic of Soft Computing & Workshop of the ERCIM working group on Soft Computing (LSC'06); 2006.  [PDF]  [BibTeX]
Jordi LevyManfred Schmidt-SchaussMateu Villaret; Stratified Context Unification is NP-complete. 2006.  [PDF]  [BibTeX]
2005
C. ChesñevarG. SimariLluís Godo; Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. Lecture notes in artificial intelligence; 2005.  [PDF]  [BibTeX]
Ana CasaliLluís GodoCarles Sierra; Graded BDI Models for Agent Architectures. Lecture Notes in Computer Science; 2005.  [PDF]  [BibTeX]
Lluís GodoAdriana Zapico; Lexicographic refinements in the context of possibilistic decision theory. Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain.; 2005.  [PDF]  [BibTeX]
Petr SavickyRoberto CignoliFrancesc EstevaLluís GodoCarles Noguera; On product fuzzy logic with truth constants. Algebraic and topological methods in non-classical logics II. Barcelona. 2005; 2005.  [PDF]  [BibTeX]
Roberto CignoliFrancesc EstevaLluís GodoCarles Noguera; On product fuzzy logic with truth-constants. Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005; 2005.  [PDF]  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; On some varieties of MTL-Algebras. Logic Journal of the IGPL. May 2005.; 2005.  [PDF]  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; On the variety of WNM-algebras. 2005.  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; On varieties generated by Weak Nilpotent Minimum t-norms. 2005.  [BibTeX]
C. ChesñevarG. SimariLluís GodoTeresa Alsinet; On Warranted Inference in Possibilistic Defeasible Logic Programming. 2005.  [PDF]  [BibTeX]
Franco MontagnaCarles NogueraRostislav Horcík; On weakly cancellative fuzzy logics. 2005.  [BibTeX]
Carles NogueraFrancesc EstevaJoan Gispert; Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic; 2005.  [PDF]  [BibTeX]
Jordi LevyJoachim NiehrenMateu Villaret; Well-Nested Context Unification. 2005.  [PDF]  [BibTeX]