Reasoning by a Bipolar Argumentation Framework for PROLEG.
Tatsuki KawasakiSosuke MoriguchiKazuko TakahashiPublished in: JSAI-isAI Workshops (2018)
Keyphrases
- argumentation frameworks
- abstract argumentation
- logical framework
- defeasible reasoning
- argumentation systems
- practical reasoning
- argumentation semantics
- conflict free
- preference relations
- legal reasoning
- inference rules
- argumentation theory
- knowledge base
- reasoning tasks
- automated reasoning
- formal semantics
- nonmonotonic reasoning
- knowledge representation and reasoning
- general theory
- defeasible logic
- theorem proving
- desirable properties
- functional dependencies
- abstract argumentation frameworks
- decision problems