On consistent functions for neighborhood systems

Churn Jung Liau, En Bing Lin, Yu Ru Syau

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

In this paper, we propose a definition of system-consistent (sys-consistent) functions for neighborhood systems and compare it with a previous definition of granule-based consistent (gra-consistent) functions in the literature. We show that sys-consistency achieves the same level of generality as gra-consistency in the sense that the former subsumes all existing definitions of consistent functions that are known to be special cases of the latter. Then, we prove that sys-consistent functions are structure-preserving mappings with respect to interior and closure operators on neighborhood systems, whereas gra-consistent functions are not. In addition, we connect consistent functions with well-known model-theoretic notions of bisimulations and bounded morphisms in modal logic. As a consequence, this implies that properties described by modal formulas remain invariant under consistent mappings. Finally, we show that most (albeit not all) of the above-mentioned results still hold for some variants and extensions of the basic definition.

Original languageEnglish
Pages (from-to)39-58
Number of pages20
JournalInternational Journal of Approximate Reasoning
Volume121
DOIs
StatePublished - Jun 2020

Keywords

  • Closure and interior operators
  • Consistent function
  • Granular computing
  • Modal logic
  • Neighborhood semantics
  • Neighborhood system

Fingerprint

Dive into the research topics of 'On consistent functions for neighborhood systems'. Together they form a unique fingerprint.

Cite this