Abstract:
In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where 3p is understood as approximately p. Here, the similarity relations are introduced at the level of the Kripke models where possible worlds can be similar to some extent. We show that the former approach can be expressed inside the latter.
Registro:
| Documento: |
Conferencia
|
| Título: | A connection between similarity logic programming and gödel modal logic |
| Autor: | Blandi, L.; Godo, L.; Rodríguez, R.O. |
| Ciudad: | Barcelona |
| Filiación: | DMI-Universita' di Salerno, Via Ponte Don Melillo, 84084 Fisciano (SA), Italy
IIIA - CSIC, Campus UAB, 08193 Bellaterra, Spain
Dpto. de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad de Buenos Aires, Argentina
|
| Palabras clave: | Logic Programming Gödel Logic; Similarity; Approximate reasoning; Kripke model; Modal logic; Possible worlds; Similarity; Similarity relations; Fuzzy logic; Logic programming; Many valued logics |
| Año: | 2005
|
| Página de inicio: | 775
|
| Página de fin: | 780
|
| Título revista: | Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005
|
| Título revista abreviado: | Proc. - Conf. Eur. Soc. Fuzzy Logic Technol. Fr. Days Fuzzy Logic Appl., EUSFLAT-LFA Jt. Conf.
|
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_84765387_v_n_p775_Blandi |
Referencias:
- Apt, R.K., Logic programming (1990) Handbook of Theoretical Computer Science, pp. 492-574. , J. van Leeuwen (Ed.), B, Elsevier, Amsterdam
- Biacino, L., Gerla, G., Ying, M., Approximate reasoning based on similarity (2000) Math. Logic Quart, 46
- Caicedo, X., Rodriguez, R., A Godel modal logic Proc. of Logic, Computability and Randomness 2004, , Cordoba, Argentina
- Esteva, F., Garcia, P., Godo, L., On syntactical and semantical approaches to similarity-based approximate reasoning Proc. Joint 9th IFSA and 20th NAFIPS 2001, pp. 1598-1603. , July 25-28, Vancouver (Canada)
- Esteva, F., Godo, L., Noguera, C., On Rational Godel and Nilpotent Minimum logics Proc. of the Xth International Conference IPMU 2004, pp. 561-568. , Perugia (Italia), July 4-9
- Formato, F., Gerla, G., Sessa, M.I., Similaritybased unification (2000) Fundamenta Informaticae, 40, pp. 1-22
- Gerla, G., Sessa, M.I., Similarity in logic programming (1999) Fuzzy Logic and Soft Computing, pp. 19-31. , G. Chen, M. Ying, K.-Y. Cai (Ed.s)., Kluwer Acc. Pub., Norwell
- Gerla, G., Sessa, M.I., Similarity logic and similarity PROLOG (1999) Proc. Joint EUROFUSESIC99 International Conference, pp. 367-372. , 25-28 May, Budapest, Hungary
- Godo, L., Rodriguez, R., A fuzzy modal logic for similarity reasoning (1999) Fuzzy Logic and Soft Computing, pp. 33-48. , Guoqing Chen, Mingsheng Ying and Kai-Yuan Cai eds., Kluwer
- Medina, J., Ojeda-Aciego, M., Vojtas, P., Similarity-based unification: A multi-adjoint approach (2004) Fuzzy Sets and Systems, 146, pp. 43-62
- Ruspini, E.H., On the semantics of fuzzy logic (1991) Int. Journal of Approximate Reasoning, 5, pp. 45-88
- Sessa, M.I., Translations and similarity-based logic programming (2001) Soft Computing, 5 (2)
- Sessa, M.I., Approximate reasoning by similarity-based SLD Resolution (2002) Theoretical Computer Science, 275, pp. 389-426
- Ying, M.S., A logic for approximated reasoning (1994) The Journal of Symbolic Logic, 59, pp. 830-837
- Zadeh, L.A., Similarity relations and fuzzy orderings (1971) Information Sciences, 3, pp. 177-200A4 - International Fuzzy Systems Association; Ministerio de Ciencia y Tecnologia; Ajuntament de Barcelona
Citas:
---------- APA ----------
Blandi, L., Godo, L. & Rodríguez, R.O.
(2005)
. A connection between similarity logic programming and gödel modal logic. Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005, 775-780.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_84765387_v_n_p775_Blandi [ ]
---------- CHICAGO ----------
Blandi, L., Godo, L., Rodríguez, R.O.
"A connection between similarity logic programming and gödel modal logic"
. Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005
(2005) : 775-780.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_84765387_v_n_p775_Blandi [ ]
---------- MLA ----------
Blandi, L., Godo, L., Rodríguez, R.O.
"A connection between similarity logic programming and gödel modal logic"
. Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005, 2005, pp. 775-780.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_84765387_v_n_p775_Blandi [ ]
---------- VANCOUVER ----------
Blandi, L., Godo, L., Rodríguez, R.O. A connection between similarity logic programming and gödel modal logic. Proc. - Conf. Eur. Soc. Fuzzy Logic Technol. Fr. Days Fuzzy Logic Appl., EUSFLAT-LFA Jt. Conf. 2005:775-780.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_84765387_v_n_p775_Blandi [ ]
