An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC.
Szymon ChlebowskiAndrzej GajdaMariusz UrbanskiPublished in: Stud Logica (2022)
Keyphrases
- question answer
- classical logic
- logic programming
- abductive reasoning
- asked questions
- formal language
- link analysis
- computational logic
- mathematical theory
- model theoretic
- logic programs
- deductive databases
- modal logic
- proof procedure
- reasoning tasks
- probabilistic logic
- background knowledge
- automated reasoning
- sound and complete with respect
- causal reasoning
- knowledge base
- highly expressive
- ctl model update
- logical framework
- probabilistic reasoning
- inference rules
- knowledge representation
- operational semantics
- predicate logic
- constraint logic programming
- multi valued
- theorem proving
- data analysis
- information retrieval