Abstract
The Artificial Intelligence Research Institute (IIIA) is a public research centre, belonging to the Spanish National Research Council (CSIC), dedicated to AI research. We focus our activities on a few well-defined sub-domains of Artificial Intelligence, positively avoiding dispersion and keeping a good balance between basic research and applications, and paying particular attention to training PhD students and technology transfer. In this article, we survey some of the most relevant results related to Fuzzy Logic and Fuzzy AI Systems that we have obtained since the initiation of our research activities in 1985.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
AgustÃ, J., Esteva, F., GarcÃa, P., Godo, L., López de Mántaras, R., Sierra, C.: Local multi-valued logics in modular expert systems. J. Exp. Theor. Artif. Intell. 6(3), 303–321 (1994)
Alsinet, T., Béjar, R., Godo, L., Guitart, F.: RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. J. Log. Comput. (In Press)
Alsinet, T., Chesñevar, C., Godo, L., Sandri, S., Simari, G.: Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification. Int. J. Approx. Reason. 48(3), 711–729 (2008)
Alsinet, T., Godo, L.: A Complete Calculus for Possibilistic Logic Programming with Fuzzy Propositional Variables. Uncertainty in Artificial Intelligence Conference (UAI’2000). Morgan Kaufmann, San Francisco (2000)
Alsinet, T., Godo, L.: Towards an automated deduction system for logic programming with fuzzy constants. Int. J. Intell. Syst. 17(9), 887–924 (2002)
Alsinet, T., Godo, L., Sandri, S.: On the Semantics and Automated Deduction for PLFC. Uncertainty in Artificial Intelligence Conference (UAI’99), pp. 1–12. Morgan Kaufmann, San Francisco (1999)
Arcos, J.L., de Mantaras, R.L.: An Interactive CBR approach for generating expressive music. J. Appl. Intell. 27(1), 115–129 (2001)
Arcos, J.L., de Mantaras, R.L., Serra, X.: SaxEx: A case-based reasoning system for generating expressive musical performances (Swets & Zeitlinger Award from the International Computer Music Association). J. New Music Res. 27(3), 194–210 (1998)
Belmonte, M.A.: RENOIR: un sistema experto para la ayuda en el diagnóstico de colagenosis y artropatÃas inflamatorias. Ph.D. thesis, Universitat Autònoma de Barcelona (1990)
Belmonte, M.A., Sierra, C., de Mantaras, R.L.: RENOIR an expert system using fuzzy logic for rheumatology diagnosis. Int. J. Intell. Syst. 9(11), 985–1000 (1994)
Bou, F., Esteva, F., Godo, L., RodrÃguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. J. Log. Comput. 21(5), 739–790 (2011)
Casali, A., Godo, L., Sierra, C.: A graded BDI agent model to represent and reason about preferences. Artif. Intell. 175(7–8), 1468–1478 (2011)
Cerami, M., GarcÃa-Cerdaña, A., Esteva, F.: On finitely-valued fuzzy description logics. Int. J. Approx. Reason. (In Press)
Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput. 4, 106–112 (2000)
Domingo, M.: An Expert System Architecture for Taxonomic Domains. An Application in Porifera: The Development of Spongia. Ph.D. thesis, University of Barcelona (1995)
Dubois, D., Esteva, F., Garcia, P., Godo, L., de Mantaras, R.L., Prade, H.: Fuzzy modelling of case-based reasoning and decision. In: Second International Conference on Case-Based Reasoning. Lecture Notes in Artificial Intelligence, vol. 1266, pp. 599–610 (1997)
Dubois, D., Esteva, F., Garcia, P., Godo, L., de Mantaras, R.L., Prade, H.: Fuzzy set modelling in case-based reasoning. Int. J. Intell. Syst. 13(4), 345–373 (1998)
Dubois, D., Esteva, F., GarcÃa, P., Godo, L., Prade, H.: Similarity-based consequence relations. Lect. Notes Artif. Intell. 946, 171–179 (1995)
Dubois, D., Esteva, F., GarcÃa, P., Godo, L., Prade, H.: A logical approach to interpolation based on similarity relations. Int. J. Approx. Reason. 17(1), 1–36 (1997)
Dubois, D., Godo, L., Prade, H., Zapico, A.: Making decisions in a qualitative setting: from decision under uncertainty to case-based decision. In: Cohn, Schubert, Shapiro, (eds.) Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR’98). Morgan Kaufmann (1998)
Dubois, D., Godo, L., Prade, H., Zapico, A.: On the possibilistic decision model: from decision under uncertainty to case-based decision. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 7(6), 631–670 (1999)
Esteva, F., Garcia, P., Godo, L.: Relating and extending semantical approaches to possibilistic reasoning. Int. J. Approx. Reason. 10(4), 311–344 (1994)
Esteva, F., Garcia, P., Godo, L., Rodriguez, R.: A modal account of similarity-based reasoning. Int. J. Approx. Reason. 16, 235–260 (1997)
Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)
Esteva, F., Godo, L., Hajek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39, 103–124 (2000)
Esteva, F., Godo, L., Montagna, F.: The L and L logics: two complete fuzzy systems joining Lukasiewicz and product logics. Arch. Math. Log. 40(1), 39–67 (2001)
Esteva, F., Godo, L., Noguera, C.: First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Ann. Pure Appl. Log. 161(2), 185–202 (2009)
Flaminio, T., Godo, L., Marchioni, E.: Logics for belief functions on MV-algebras. Int. J. Approx. Reason. 54(4), 491–512 (2013)
Gilboa, I., Schmeidler, D.: Case-based decision theory. Q. J. Econ. 110(3), 607–639 (1995)
Godo, L.: Contribució a l’estudi de models d’inferència en els sistemes possibilistics. PhD thesis. Universitat Politècnica de Catalunya (1990)
Godo, L., Hajek, P.: Fuzzy inference as deduction. J. Appl. Non-Class. Log. 9(1), 37–60 (1997)
Godo, L., de Mantaras, R.L., Sierra, C., Verdaguer, A.: MILORD: the architecture and the management of linguistically expressed uncertainty. Int. J. Intell. Syst. 4(4), 471–501 (1989)
Godo, L., Rodriguez, R.: A fuzzy modal logic for similarity reasoning. In: Chen, G., Ying, M., Cai, K.-Y. (eds.) Fuzzy Logic and Soft Computing, pp. 33–48. Kluwer (1999)
Godo, L., Zapico, A.: On the possibilistic-based decision model: characterization of preference relations under partial inconsistency. J. Appl. Intell. 14, 319–333 (2001)
Hajek, P., Godo, L., Esteva, F.: Fuzzy logic and probability. In: Besnard, P., Hanks, S. (eds.) Uncertainty in Artificial Intelligence Conference, pp. 237–244. Morgan Kaufmann Publisher (1995)
Hajek, P., Godo, L., Esteva, F.: A complete manyvalued logic with product conjunction. Arch. Math. Log. 35(3), 191–208 (1996)
Hájek, P., Harmancova, D., Esteva, F., GarcÃa, P., Godo, L.: On modal logics for qualitative possibility in a fuzzy setting. In: López de Mántaras, R., Poole, D. (eds.) Uncertainty in Artificial Intelligence, pp. 278–285. Morgan Kaufmann (1994)
López, B.: Aprenentatge i generació de plans per a sistemes experts. Ph.D. thesis, Universitat Politècnica de Catalunya (1993)
López, B., Plaza, E.: Case-based planning for medical diagnosis. Lect. Notes Artif. Intell. 689, 96–105 (1993)
López-Sánchez, M.: Approaches to Map Generation by means of Collaborative Autonomous Robots. Ph.D. thesis, Universitat Autònoma de Barcelona (1999)
López-Sánchez, M., Esteva, F., de Mántaras, R.L., Sierra, C., Amat, J.: Map generation by cooperative low-cost robots in structured unknown environments. Auton. Robot. J. 5, 53–61 (1998)
Lopez-Sánchez, M., de Mantaras, R.L., Sierra, C.: Incremental map generation by low cost robots based on possibility/necessity grids. In: 13th International Conference on Uncertainty in Artificial Intelligence pp. 351–357 (1997)
Lopez-Sanchez, M., de Mantaras, R.L., Sierra, C.: Possibility theory-based environment modelling by means of behaviour-based autonomous robots. In: European Conference on Artificial Intelligence (ECAI’98), pp. 590–594 (1998)
Plaza, E., Esteva, F., Garcia, P., Godo, L., de Mantaras, R.L.: A logical approach to case-based reasoning using fuzzy similarity relations. J. Inf. Sci. 106, 105–122 (1998)
Plaza, E., de Mántaras, R.L.: A case-based apprentice that learns from fuzzy examples. In: Ras, Z., et al. (eds.) Methodologies for Intelligent Systems-5, pp. 420–427. North-Holland (1990)
Puyol, J.: Modularization, Uncertainty, Reflective Control and Deduction by Specification in MILORD II, A Language for Knowledge-Based Systems. Ph.D. thesis, Universitat Autònoma de Barcelona (1994)
Ruspini, E.H.: On the semantics of fuzzy logic. Int. J. Approx. Reason. 5(1), 45–88 (1991)
Sandri, S., Godo, L.: Treatment of temporal information in possibilistic logic with fuzzy constants. In: Proceedings VIII Fuzzy Systems Association World Congress (IFSA’99), pp. 561–565 (1999)
Sierra, C.: MILORD: Arquitectura multinivell per a sistemes experts en classificació. Ph.D. thesis, Universitat Politècnica de Catalunya (1989)
Trillas, E.: Assaig sobre les relacions d’indistingibilitat, In: Proceedings of the First Catalan Congres on Mathematical Logics, Barcelona, pp. 51–59 (1982)
Trillas, E., Valverde, L.: An inquiry on indistinguishability operators. In: Skala, H. et al. (eds.) Aspects of Vagueness, pp. 231–256. Reidel, Dordrecht (1984)
Verdaguer, A.: PNEUMON-IA: desenvolupament i validació d’un sistema expert d’ajuda al diagnòstic mèdic. Ph.D. thesis, Universitat Autònoma de Catalunya (1989)
Vila, L., Sierra, C., MartÃnez, A.B., Climent, J.: Intelligent process control by means of expert systems and machine vision. Lect. Notes Comput. Sci. 604, 185–194 (1992)
Zapico, A., Godo, L.: Representation of preference relations induced by lattice-valued, generalised possibilistic utility functions. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 6(8), 719–734 (2000)
Acknowledgments
It is fair to say that the IIIA exists thanks to the vision of Professor Enric Trillas that, as mentioned in the introduction, in 1985 he commissioned Ramon Lopez de Mantaras to found the AI department within the Centre of Advanced Studies of Blanes of the CSIC that later became the Artificial Intelligence Research Institute. As early as 1985, Professor Trillas already saw the importance of including the field of Artificial Intelligence among the activities of the Spanish National Research Council (CSIC). This paper is in homage to him, to his wisdom and his vision.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Lopez de Mantaras, R., Godo, L., Plaza, E., Sierra, C. (2015). A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA. In: Magdalena, L., Verdegay, J., Esteva, F. (eds) Enric Trillas: A Passion for Fuzzy Sets. Studies in Fuzziness and Soft Computing, vol 322. Springer, Cham. https://doi.org/10.1007/978-3-319-16235-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-16235-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16234-8
Online ISBN: 978-3-319-16235-5
eBook Packages: EngineeringEngineering (R0)