Explainable Automated Reasoning in Law using Probabilistic Epistemic Argumentation.
Inga IbsNico PotykaPublished in: CoRR (2020)
Keyphrases
- automated reasoning
- probabilistic reasoning
- reasoning systems
- legal reasoning
- theorem proving
- knowledge representation
- theorem prover
- reasoning tasks
- bayesian networks
- probabilistic logic
- conceptual change
- decision procedures
- belief networks
- artificial intelligence
- probabilistic model
- inference rules
- automated verification
- socio cognitive
- propositional satisfiability
- argumentation systems
- neural network
- probability theory
- constraint satisfaction
- first order logic
- machine learning
- probabilistic inference
- constraint satisfaction problems
- high level