Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation.
Meghyn BienvenuCamille BourgauxPublished in: CoRR (2020)
Keyphrases
- complexity analysis
- abstract argumentation
- belief base
- preference relations
- knowledge base
- possibilistic logic
- theoretical analysis
- first order logic
- theorem proving
- lower bound
- computational complexity
- query language
- belief revision
- description logics
- knowledge based systems
- argumentation frameworks
- belief change
- logic programming
- query processing
- multiple agents
- possibility theory
- natural language
- argumentation theory
- knowledge representation
- expert systems
- uncertain information
- propositional logic
- desirable properties