Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Jesse HeyninckGabriele Kern-IsbernerTjitze RienstraKenneth SkibaMatthias ThimmPublished in: Artif. Intell. (2023)
Keyphrases
- belief revision
- defeasible reasoning
- conditional logic
- nonmonotonic inference
- nonmonotonic reasoning
- default reasoning
- argumentation frameworks
- defeasible logic programming
- epistemic states
- defeasible argumentation
- argumentation systems
- belief change
- defeasible logic
- inheritance reasoning
- propositional logic
- knowledge base
- logic programming
- argumentation schemes
- belief base
- inference process
- abductive reasoning
- probability distribution
- legal reasoning
- belief networks
- bayesian networks
- inference engine
- default logic
- belief update
- default rules
- probabilistic inference
- neural network
- expert systems
- modal logic
- argumentation theory
- revision operators
- high level
- bayesian inference
- probabilistic model
- low level
- higher level
- knowledge representation and reasoning
- possibility theory