Formal reasoning in preference-based multiple-source rough set model

DOI10.1016/j.ins.2015.11.038zbMath1395.68262OpenAlexW2192944615MaRDI QIDQ1671288

Md. Aquil Khan

Publication date: 6 September 2018

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2015.11.038

zbMATH Keywords

first-order predicate logicrough set theorymodal logicsaxiomatizationlower and upper approximations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Agent technology and artificial intelligence (68T42)

Related Items (2)

On the belief structures and reductions of multigranulation spaces with decisions ⋮ A unified framework for characterizing rough sets with evidence theory in various approximation spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Theory and applications of granular labelled partitions in multi-scale decision tables
• Multigranulation rough sets: from partition to covering
• Intuitionistic fuzzy multigranulation rough sets
• A logic for multiple-source approximation systems with distributed knowledge base
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• Formal reasoning with rough sets in multiple-source approximation systems
• DAL -- a logic for data analysis
• Variable precision rough set model
• A logic with relative knowledge operators
• Knowledge representation and reasoning under uncertainty. Logic at work
• NMGRS: neighborhood-based multigranulation rough sets
• MGRS: a multi-granulation rough set
• Kripke semantics for knowledge representation logics
• The investigation of the Bayesian rough set model
• ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
• A Study of Multiple-Source Approximation Systems
• Propositional Logics from Rough Set Theory
• Rough sets
• Incomplete information: Structure, inference, complexity
• Term-modal logics

This page was built for publication: Formal reasoning in preference-based multiple-source rough set model