Skip to main content
SpringerLink
Log in

A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA

  • Chapter
  • First Online:
Enric Trillas: A Passion for Fuzzy Sets

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 322))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Article  MATH  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Article  MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Alsinet, T., Godo, L.: Towards an automated deduction system for logic programming with fuzzy constants. Int. J. Intell. Syst. 17(9), 887–924 (2002)

    Article  MATH  Google Scholar 

  6. 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)

    Google Scholar 

  7. Arcos, J.L., de Mantaras, R.L.: An Interactive CBR approach for generating expressive music. J. Appl. Intell. 27(1), 115–129 (2001)

    Article  Google Scholar 

  8. 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)

    Article  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Article  Google Scholar 

  11. 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)

    Article  MATH  Google Scholar 

  12. 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)

    Article  MATH  MathSciNet  Google Scholar 

  13. Cerami, M., García-Cerdaña, A., Esteva, F.: On finitely-valued fuzzy description logics. Int. J. Approx. Reason. (In Press)

    Google Scholar 

  14. 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)

    Article  Google Scholar 

  15. Domingo, M.: An Expert System Architecture for Taxonomic Domains. An Application in Porifera: The Development of Spongia. Ph.D. thesis, University of Barcelona (1995)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Article  MATH  Google Scholar 

  18. Dubois, D., Esteva, F., García, P., Godo, L., Prade, H.: Similarity-based consequence relations. Lect. Notes Artif. Intell. 946, 171–179 (1995)

    Google Scholar 

  19. 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)

    Article  MATH  Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Article  MATH  MathSciNet  Google Scholar 

  22. Esteva, F., Garcia, P., Godo, L.: Relating and extending semantical approaches to possibilistic reasoning. Int. J. Approx. Reason. 10(4), 311–344 (1994)

    Article  MATH  Google Scholar 

  23. Esteva, F., Garcia, P., Godo, L., Rodriguez, R.: A modal account of similarity-based reasoning. Int. J. Approx. Reason. 16, 235–260 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  24. 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)

    Article  MATH  MathSciNet  Google Scholar 

  25. Esteva, F., Godo, L., Hajek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Log. 39, 103–124 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  26. 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)

    Article  MATH  MathSciNet  Google Scholar 

  27. 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)

    Article  MATH  MathSciNet  Google Scholar 

  28. Flaminio, T., Godo, L., Marchioni, E.: Logics for belief functions on MV-algebras. Int. J. Approx. Reason. 54(4), 491–512 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  29. Gilboa, I., Schmeidler, D.: Case-based decision theory. Q. J. Econ. 110(3), 607–639 (1995)

    Article  Google Scholar 

  30. Godo, L.: Contribució a l’estudi de models d’inferència en els sistemes possibilistics. PhD thesis. Universitat Politècnica de Catalunya (1990)

    Google Scholar 

  31. Godo, L., Hajek, P.: Fuzzy inference as deduction. J. Appl. Non-Class. Log. 9(1), 37–60 (1997)

    Article  MathSciNet  Google Scholar 

  32. 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)

    Article  MATH  Google Scholar 

  33. 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)

    Google Scholar 

  34. Godo, L., Zapico, A.: On the possibilistic-based decision model: characterization of preference relations under partial inconsistency. J. Appl. Intell. 14, 319–333 (2001)

    Article  MATH  Google Scholar 

  35. 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)

    Google Scholar 

  36. Hajek, P., Godo, L., Esteva, F.: A complete manyvalued logic with product conjunction. Arch. Math. Log. 35(3), 191–208 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  37. 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)

    Google Scholar 

  38. López, B.: Aprenentatge i generació de plans per a sistemes experts. Ph.D. thesis, Universitat Politècnica de Catalunya (1993)

    Google Scholar 

  39. López, B., Plaza, E.: Case-based planning for medical diagnosis. Lect. Notes Artif. Intell. 689, 96–105 (1993)

    Google Scholar 

  40. López-Sánchez, M.: Approaches to Map Generation by means of Collaborative Autonomous Robots. Ph.D. thesis, Universitat Autònoma de Barcelona (1999)

    Google Scholar 

  41. 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)

    Article  Google Scholar 

  42. 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)

    Google Scholar 

  43. 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)

    Google Scholar 

  44. 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)

    Article  MATH  Google Scholar 

  45. 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)

    Google Scholar 

  46. 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)

    Google Scholar 

  47. Ruspini, E.H.: On the semantics of fuzzy logic. Int. J. Approx. Reason. 5(1), 45–88 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  48. 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)

    Google Scholar 

  49. Sierra, C.: MILORD: Arquitectura multinivell per a sistemes experts en classificació. Ph.D. thesis, Universitat Politècnica de Catalunya (1989)

    Google Scholar 

  50. Trillas, E.: Assaig sobre les relacions d’indistingibilitat, In: Proceedings of the First Catalan Congres on Mathematical Logics, Barcelona, pp. 51–59 (1982)

    Google Scholar 

  51. Trillas, E., Valverde, L.: An inquiry on indistinguishability operators. In: Skala, H. et al. (eds.) Aspects of Vagueness, pp. 231–256. Reidel, Dordrecht (1984)

    Google Scholar 

  52. 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)

    Google Scholar 

  53. 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)

    Article  Google Scholar 

  54. 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)

    Article  MathSciNet  Google Scholar 

Download references

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

  1. Artificial Intelligence Research Institute (IIIA), Spanish National Research Council (CSIC), Campus UAB, 08193, Bellaterra, Spain

    Ramon Lopez de Mantaras, Lluis Godo, Enric Plaza & Carles Sierra

Authors
  1. Ramon Lopez de Mantaras
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lluis Godo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Enric Plaza
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Carles Sierra
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ramon Lopez de Mantaras .

Editor information

Editors and Affiliations

  1. European Centre for Soft Computing, Asturias, Spain

    Luis Magdalena

  2. Depto. de Ciencias de la Computación e Inteligencia Artificial, University of Granada, Granada, Spain

    Jose Luis Verdegay

  3. Spanish Council for Scientific Research (CSIC), Artificial Intelligence Research Institute (IIIA-CSIC), Catalonia, Spain

    Francesc Esteva

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation