Rule validation based on logical deduction
CIKM '93 Proceedings of the second international conference on Information and knowledge management
A high level net approach for discovering potential inconsistencies in fuzzy knowledge bases
Fuzzy Sets and Systems
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
UVT: A Unification-Based Tool for Knowledge Base Verification
IEEE Expert: Intelligent Systems and Their Applications
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets
IEEE Transactions on Knowledge and Data Engineering
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases
ECSQARU/FAPR '97 Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning
Complex Knowledge Base Verification Using Matrices
IEA/AIE '92 Proceedings of the 5th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Discrete models for data imputation
Discrete Applied Mathematics - Discrete mathematics & data mining (DM & DM)
Knowledge Management System for Emergency Preparedness: An Action Research Study
HICSS '06 Proceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 02
An argumentation framework for merging conflicting knowledge bases
International Journal of Approximate Reasoning
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Evaluating significance of inconsistencies
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Appropriate choice of aggregation operators in fuzzy decision support systems
IEEE Transactions on Fuzzy Systems
Hy-SN: Hyper-graph based semantic network
Knowledge-Based Systems
A knowledge driven approach to aerospace condition monitoring
Knowledge-Based Systems
An information presentation method based on tree-like super entity component
Journal of Systems and Software
Incremental Collaborative Filtering recommender based on Regularized Matrix Factorization
Knowledge-Based Systems
Communicative commitments: Model checking and complexity analysis
Knowledge-Based Systems
Generalized hesitant fuzzy sets and their application in decision support system
Knowledge-Based Systems
Hi-index | 0.00 |
Detecting logical inconsistency in collected information is a vital function when deploying a knowledge-based warning system to monitor a specific application domain for the reason that logical inconsistency is often hidden from seemingly consistent information and may lead to unexpected results. Existing logical inconsistency detection methods usually focus on information stored in a knowledge base by using a well-defined general purpose knowledge representation approach, and therefore cannot fulfill the demands of a domain-specific situation. This paper first proposes a state-based knowledge representation approach, in which domain-specific knowledge is expressed by combinations of the relevant objects' states. Based on this approach, a method for information logical inconsistency detection (ILID) is developed which can flexibly handle the demands of various domain-specific situations through reducing part of restrictions in existing methods. Finally, two real-case based examples are presented to illustrate the ILID method and its advantages.