Mīmāṃsā deontic reasoning using specificity: a proof theoretic approach.
Björn LellmannFrancesca GulisanoAgata CiabattoniPublished in: Artif. Intell. Law (2021)
Keyphrases
- mathematical proofs
- proof theory
- logical rules
- legal reasoning
- proof theoretic
- theorem prover
- default reasoning
- automated reasoning
- reasoning tasks
- reasoning process
- deontic logic
- resource bounded
- reasoning systems
- automated theorem proving
- analogical reasoning
- classical logic
- proof procedure
- proof planning
- model based reasoning
- reasoning problems
- artificial intelligence
- qualitative reasoning
- reasoning mechanisms
- meta level
- production rules
- knowledge representation
- knowledge base