RT Journal Article
T1 A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.
A1 Burrieza-Muñiz, Alfredo
A1 Muñoz-Velasco, Emilio José
A1 Ojeda-Aciego, Manuel
K1 Lógica
K1 Razonamiento cualitativo
AB In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities of the logic with respect to expressivity in order to denote particular positions of the proximity intervals.
PB Oxford Academic
YR 2020
FD 2020
LK https://hdl.handle.net/10630/36368
UL https://hdl.handle.net/10630/36368
LA eng
NO Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, A flexible logic-based approach to closeness using order of magnitude qualitative reasoning, Logic Journal of the IGPL, Volume 28, Issue 1, February 2020, Pages 121–133, https://doi.org/10.1093/jigpal/jzz076
NO https://openpolicyfinder.jisc.ac.uk/id/publication/664
NO Partially supported by the Spanish research project TIN15-70266-C2-P-1
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 3 feb 2026