A Formalisation of Abstract Argumentation in Higher-Order Logic.
Alexander SteenDavid FuenmayorPublished in: CoRR (2021)
Keyphrases
- higher order logic
- abstract argumentation
- theorem prover
- higher order
- theorem proving
- logical framework
- conditional logic
- argumentation frameworks
- automated reasoning
- inference rules
- legal reasoning
- first order logic
- artificial intelligence
- desirable properties
- preference relations
- belief revision
- abstract argumentation frameworks
- nonmonotonic reasoning
- default reasoning
- modal logic
- sufficient conditions
- expert systems