Advertisement

Graduated Conjectures

  • Adolfo Rodríguez de SotoEmail author
Chapter
Part of the Studies in Fuzziness and Soft Computing book series (STUDFUZZ, volume 325)

Abstract

The study of the relationships between conjectures, hypotheses, refutations and speculations have been studied by Professor Enric Trillas and coworkers in the classical case to the point of having well clarified its main properties in rather general structures as the orthocomplemented lattices. In the framework of a possibilistic interpretation of fuzzy logic, these models have been studied from the point of view of a crisp reasoning. In this work these models defined by graduated consequences relations are studied under a fuzzy algebraic structure general enough that it can accommodate various common phenomena in natural language reasoning.

Notes

Acknowledgments

I would like to thank Professor Enric Trillas for their support in carrying out this work and for an enriching collaboration during my research career. Also I acknowledge the support of the Spanish Ministry for Economy and Innovation and the European Regional Development Fund (ERDF/FEDER) under grant TIN2011-29827-C02-02.

References

  1. 1.
    Lewis, C.: What the tortoise said to Achilles. Mind 104(416), 691–693 (1995)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Itziar, G-H., Enric, T.: On an attempt to formalize guessing. In: Rudolf, S., González, V.S. (eds.) Soft Computing in Humanities and Social Sciences. Studies in Fuzziness and Soft Computing, vol 273, pp. 237–255, Springer, Berlin (2012)Google Scholar
  3. 3.
    John, M.: From here to human-level AI. Artif Intell 171(18), 1174–1182 (2007). Special Review IssueCrossRefGoogle Scholar
  4. 4.
    Marvin, M.: The Emotion Machine. Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind. Simon and Schuster (2007)Google Scholar
  5. 5.
    Nilsson, N.J.: Human-level artificial intelligence? Be serious!. AI Mag. 26(4), 68 (2005)Google Scholar
  6. 6.
    Popper, K.R.: Conjectures and Refutations: The Growth of Scientific Knowledge. Harper and Row, New York (1968)Google Scholar
  7. 7.
    Tarski, A.: Methodology of deductive sciences. In: Logic, S. (ed.) Metamathematics, vol. 24, pp. 60–109. Clarendon Press, Oxford (1956)Google Scholar
  8. 8.
    Trillas, E., Alsina, C.: Elkan’s theoretical argument, reconsidered. Int. J. Approx. Reason. 26(2), 145–152 (2001)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Enric, T., Alsina, C., Pradera, A.: On a class of fuzzy set theories. In: IEEE International Fuzzy Systems Conference, 2007. July 2007, pp. 1-5 (2007)Google Scholar
  10. 10.
    Trillas, E., Sanchez, D.: Conjectures in de morgan algebras. In: 2012 Annual Meeting of the North American, Fuzzy Information Processing Society (NAFIPS), pp. 1–6 (2012)Google Scholar
  11. 11.
    Trillas, E.: Non contradiction, excluded middle, and fuzzy sets. In: Fuzzy Logic and Applications, pp. 1–11, Springer (2009)Google Scholar
  12. 12.
    Trillas, E.: A model for “crisp reasoning” with fuzzy sets. Int. J. Intell. Syst. 27(10), 859–872 (2012)CrossRefGoogle Scholar
  13. 13.
    Trillas, E., Cubillo, S., Castiñeira, E.: On conjectures in orthocomplemented lattices. Artif. Intell. 117(2), 255–275 (2000)CrossRefzbMATHGoogle Scholar
  14. 14.
    Trillas, E., García-Honrado, I., Pradera, A.: Consequences and conjectures in preordered sets. Inf. Sci. 180(19), 3573–3588 (2010)CrossRefzbMATHGoogle Scholar
  15. 15.
    Valverde, L.: On the structure of F-indistinguishability operators. Fuzzy Sets Syst. 17(3), 313–328 (1985)CrossRefzbMATHMathSciNetGoogle Scholar
  16. 16.
    Ying, M., Wang, H.: Lattice-theoretic models of conjectures, hypotheses and consequences. Artif. Intell. 139(2), 253–267 (2002)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Zadeh, L.A.: From computing with numbers to computing with words from manipulation of measurements to manipulation of perceptions. Int. J. Appl. Math. Comput. Sci. 12(3), 307–324 (2002)zbMATHMathSciNetGoogle Scholar
  18. 18.
    Zadeh, L.A.: Is there a need for fuzzy logic? Inf. Sci. 178(13), 2751–2779 (2008)CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Mechanical, Informatics and Aerospace DepartmentUniversity of LeónLeonSpain

Personalised recommendations