An update logic for information systems

DOI10.1016/j.ijar.2013.07.007zbMath1316.68154OpenAlexW1973709222MaRDI QIDQ2353689

Mohua Banerjee, Md. Aquil Khan, Roland Rieke

Publication date: 16 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.07.007

zbMATH Keywords

modal logicfirst-order predicate logicinformation systemlower and upper approximations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Classical first-order logic (03B10)

Related Items (6)

Knowledge and approximations: a formal study under the perspective of information systems and rough set theory ⋮ Special fuzzy ellipsoid numbers and expressions of information ⋮ Fuzzy free logic with dual domain semantics ⋮ Axiomatic approaches to rough approximation operators on complete completely distributive lattices ⋮ Dynamic maintenance of rough approximations in multi-source hybrid information systems ⋮ Logics for Temporal Information Systems in Rough Set Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rough sets based matrix approaches with dynamic attribute variation in set-valued information systems
• Representation of nondeterministic information
• Fuzzy rough approximations of process data
• Formal reasoning with rough sets in multiple-source approximation systems
• Logic of nondeterministic information
• Modal logics for knowledge representation systems
• Knowledge representation and reasoning under uncertainty. Logic at work
• Rules in incomplete information systems
• A rough set approach for the discovery of classification rules in interval-valued information systems
• Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction
• Logics for information systems and their dynamic extensions
• A rough set based dynamic maintenance approach for approximations in coarsening and refining attribute values
• An Incremental Approach for Inducing Knowledge from Dynamic Information Systems
• Relational Attribute Systems II: Reasoning with Relations in Information Structures
• Propositional Logics from Rough Set Theory
• Dynamic Epistemic Logic and Knowledge Puzzles
• A Logic for Complete Information Systems
• Rough sets
• A hierarchy of modal logics with relative accessibility relations
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Local and Global Approximations for Incomplete Data
• Incomplete information: Structure, inference, complexity

This page was built for publication: An update logic for information systems