An update logic for information systems

Authors:
Md. Aquil Khan;Mohua Banerjee;Roland Rieke
Affiliations:
Indian Institute of Technology, Indore, India and Fraunhofer SIT, Darmstadt, Germany;Indian Institute of Technology, Kanpur, India;Fraunhofer SIT, Darmstadt, Germany
Venue:
International Journal of Approximate Reasoning
Year:
2014

Citing 29
Cited 0

Modal logics for knowledge representation systems

Theoretical Computer Science
A rough set approach to attribute generalization in data mining

Information Sciences: an International Journal
Logical approaches to incomplete information: a survey

Logics for databases and information systems
Rules in incomplete information systems

Information Sciences: an International Journal
Modal logic

Modal logic
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Incomplete Information: Structure, Inference, Complexity

Incomplete Information: Structure, Inference, Complexity
Modal Logic for Evaluating Formulas in Incomplete Contexts

ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
Decision Logics for Knowledge Representation in Data Mining

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
A Generalized Decision Logic in Interval-Set-Valued Information Tables

RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Handling Missing Values in Rough Set Analysis of Multi-Attribute and Multi-Criteria Decision Problems

RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Rough Logic for Multi-Agent Systems

International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
A rough sets based characteristic relation approach for dynamic attribute generalization in data mining

Knowledge-Based Systems
A rough set approach for the discovery of classification rules in interval-valued information systems

International Journal of Approximate Reasoning
Formal reasoning with rough sets in multiple-source approximation systems

International Journal of Approximate Reasoning
Fuzzy rough approximations of process data

International Journal of Approximate Reasoning
Dynamic Epistemic Logic

Dynamic Epistemic Logic
A Logic for Complete Information Systems

ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
An Incremental Approach for Inducing Knowledge from Dynamic Information Systems

Fundamenta Informaticae - Fundamentals of Knowledge Technology
Propositional logics from rough set theory

Transactions on rough sets VI
Local and global approximations for incomplete data

Transactions on rough sets VIII
A rough set based dynamic maintenance approach for approximations in coarsening and refining attribute values

International Journal of Intelligent Systems
Logics for information systems and their dynamic extensions

ACM Transactions on Computational Logic (TOCL)
Arrow decision logic

RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Treating incomplete knowledge in formal concept analysis

Formal Concept Analysis
Rough sets based matrix approaches with dynamic attribute variation in set-valued information systems

International Journal of Approximate Reasoning
Tolerance Approximation Spaces

Fundamenta Informaticae
Incomplete decision contexts: Approximate concept construction, rule acquisition and knowledge reduction

International Journal of Approximate Reasoning
Multigranulation decision-theoretic rough sets

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

Updates in a knowledge base, given as an information system in rough set theory, may need to be made due to changes in (i) the set of attributes, (ii) attribute-values, or (iii) the set of objects (instances). In this article, we propose a logic for information systems which incorporates all these three aspects of updates. The logic can capture the flow of information as well as its effects on the approximations of concepts. A sound and complete deductive system for the logic is presented. The decidability issue is also discussed.