Argumentation-logic for creating and explaining medical hypotheses.
María Adela GrandoLaura MossDerek H. SleemanJohn KinsellaPublished in: Artif. Intell. Medicine (2013)
Keyphrases
- proof procedures
- argumentation theory
- classical logic
- medical diagnosis
- logic based argumentation
- modal logic
- logic programming
- medical imaging
- argumentation systems
- medical domain
- defeasible logic
- predicate logic
- defeasible reasoning
- medical data
- computational properties
- medical experts
- agent communication
- neural network
- inference rules
- dynamic logic
- multi valued
- formal model
- theorem proving