Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties.
Carlos Iván ChesñevarGuillermo Ricardo SimariPublished in: Logica Universalis (2007)
Keyphrases
- logical properties
- belief revision
- belief base
- evidential reasoning
- deductive reasoning
- modelling language
- knowledge representation
- bargaining solution
- probabilistic inference
- bayesian networks
- inference rules
- theorem proving
- probabilistic reasoning
- formal model
- defeasible argumentation
- merging operators
- decision theoretic
- belief networks
- multi dimensional
- probability distribution