A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
| Autor: | Emilio Muñoz-Velasco, Manuel Ojeda-Aciego, Alfredo Burrieza |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Qualitative reasoning
Theoretical computer science Logic Computer science 010102 general mathematics Closeness 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 02 engineering and technology 0101 mathematics 01 natural sciences Order of magnitude |
| Zdroj: | Logic Journal of the IGPL. 28:121-133 |
| ISSN: | 1368-9894 1367-0751 |
| DOI: | 10.1093/jigpal/jzz076 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|