Model-theoretic approach for recovering consistent data from inconsistent knowledge bases

Keyphrases

• Inconsistency 100%
• Consistent Data 100%
• Classical Logic 100%
• Inconsistent Knowledge Bases 100%
• Knowledge Base 50%
• Logic Programming 50%
• Calculus 50%
• Drawing Conclusions 50%
• Multi-valued 50%
• Bilattice 50%
• Paraconsistent 50%
• Common Framework 50%
• Nonmonotonic Reasoning 50%
• Contradictory Data 50%

Mathematics

• Classical Logic 100%
• Knowledge Base 100%
• Theoretic Approach 100%
• Plausibility 50%
• Calculus 50%
• Logic Programming 50%
• Nonmonotonic Reasoning 50%

Computer Science

• Knowledge Base 100%
• Theoretic Approach 100%
• Logic Programming 50%
• Drawing Conclusion 50%