Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

We consider two kinds of similarity-based reasoning and formalise them in a logical setting. In one case, we are led by the principle that conclusions can be drawn even if they are only approximately correct. This leads to a graded approximate entailment, which is weaker than classical entailment. In the other case, we follow the principle that conclusions must remain correct even if the assumptions are slightly changed. This leads to a notion of a graded strong entailment, which is stronger than classical entailment. We develop two logical calculi based on the notions of approximate and of strong entailment, respectively. © 2011 Elsevier B.V.

Registro:

Documento: Artículo
Título:Logics for approximate and strong entailments
Autor:Esteva, F.; Godo, L.; Rodríguez, R.O.; Vetterlein, T.
Filiación:IIIA - CSIC, 08193 Bellaterra, Spain
University of Buenos Aires, 1428 Buenos Aires, Argentina
Johannes Kepler University Linz, Altenberger Straße 69, 4040 Linz, Austria
Palabras clave:Approximate entailment; Non-classical logics; Similarity-based reasoning; Strong entailment; Approximate entailment; Logical calculi; Non-classical logic; Similarity-based reasoning; Strong entailment; Artificial intelligence; Fuzzy sets; Biomineralization
Año:2012
Volumen:197
Página de inicio:59
Página de fin:70
DOI: http://dx.doi.org/10.1016/j.fss.2011.09.005
Título revista:Fuzzy Sets and Systems
Título revista abreviado:Fuzzy Sets Syst
ISSN:01650114
CODEN:FSSYD
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_01650114_v197_n_p59_Esteva

Referencias:

  • Bloch, I., Lang, J., Towards mathematical "morpho-logics" (2002) Technologies for Constructing Intelligent Systems, 2, pp. 367-380. , Springer-Verlag
  • Dubois, D., Prade, H., Esteva, F., Garcia, P., Godo, L., A Logical Approach to Interpolation Based on Similarity Relations (1997) International Journal of Approximate Reasoning, 17 (1), pp. 1-36. , PII S0888613X96001375
  • Esteva, F., Garcia, P., Godo, L., Rodriguez, R., A modal account of similarity-based reasoning (1997) International Journal of Approximate Reasoning, 16 (3-4 SPEC. ISS.), pp. 235-260. , PII S0888613X96001260
  • F. Esteva, On the logics of similarity-based approximate and strong entailment (2010) Proceedings of the 15th Spanish Congress on Fuzzy Logic and Technology, ESTYLF, pp. 187-192. , Huelva
  • Ginsberg, M.L., Parkes, A.J., Roy, A., Supermodels and robustness (1998) Proceedings of the 15th National Conference on Artificial Intelligence, AAAI'98, pp. 334-339. , Madison, Wiconsin
  • Godo, L., Rodríguez, R.O., Logical approaches to fuzzy similarity-based reasoning: An overview (2008) Preferences and Similarities, CISM Courses and Lectures, 504, pp. 75-128. , G. Della Riccia, Springer-Verlag Berlin
  • Kutz, O., Notes on logics of metric spaces (2007) Studia Logica, 85, pp. 75-104
  • Kutz, O., Sturm, H., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M., Logics of metric spaces (2003) ACM Trans. Comput. Logic, 4 (2), pp. 260-294
  • Lafage, C., Lang, J., Logical representation of preferences for group decision making (2000) Proceedings of the 7th International Conference on Knowledge Representation and Reasoning, KR 2000, pp. 457-468
  • Pino-Perez Ramon, Uzcategui Carlos, Jumping to explanations versus jumping to conclusions (1999) Artificial Intelligence, 111 (1), pp. 131-169
  • Rodríguez, R.O., (2002) Aspectos Formales en El Razonamiento Basado en Relaciones de Similitud Borrosas, , Ph.D. Thesis, Technical University of Catalonia (UPC)
  • Ruspini, E.H., On the semantics of fuzzy logic (1991) Int. J. Approx. Reason., 5, pp. 45-88
  • Ying, M., A logic for approximate reasoning (1994) J. Symbolic Logic, 59, pp. 830-837

Citas:

---------- APA ----------
Esteva, F., Godo, L., Rodríguez, R.O. & Vetterlein, T. (2012) . Logics for approximate and strong entailments. Fuzzy Sets and Systems, 197, 59-70.
http://dx.doi.org/10.1016/j.fss.2011.09.005
---------- CHICAGO ----------
Esteva, F., Godo, L., Rodríguez, R.O., Vetterlein, T. "Logics for approximate and strong entailments" . Fuzzy Sets and Systems 197 (2012) : 59-70.
http://dx.doi.org/10.1016/j.fss.2011.09.005
---------- MLA ----------
Esteva, F., Godo, L., Rodríguez, R.O., Vetterlein, T. "Logics for approximate and strong entailments" . Fuzzy Sets and Systems, vol. 197, 2012, pp. 59-70.
http://dx.doi.org/10.1016/j.fss.2011.09.005
---------- VANCOUVER ----------
Esteva, F., Godo, L., Rodríguez, R.O., Vetterlein, T. Logics for approximate and strong entailments. Fuzzy Sets Syst. 2012;197:59-70.
http://dx.doi.org/10.1016/j.fss.2011.09.005