Extension
Given a semantics and an AF , a -extension of is a set .
Reference
Dung, P.M. (1995). On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence, 77(2), pp. 321–357.
Referenced by
- Complete Semantics
- Eager Semantics
- Grounded Semantics
- Ideal Semantics
- Naive Semantics
- Preferred Semantics
- Semi-Stable Semantics
- Stable Semantics
- Stage Semantics
- Weakly Complete Semantics
- Weakly Grounded Semantics
- Weakly Preferred Semantics
- Credulous Acceptance
- -Complete Semantics
- Extension-based Semantics
- Skeptical Acceptance
- Necessary Extension
- Possible Extension
- Weakly Complete Semantics (SetAF)
- Weakly Grounded Semantics (SetAF)
- Weakly Preferred Semantics (SetAF)
- Credulous Acceptance
- Existence
- Non-empty Existence
- Skeptical Acceptance
- Verification
- Admissibility (Principle)
- Allowing Abstention
- CF-Reinstatement
- Conflict-Freeness (Principle)
- Conflict-Sensitiveness
- Decisiveness
- Defence (Principle)
- Downward Closure
- I-Maximality
- Indirect Conflict-Freeness
- Naivety
- Reinstatement
- Strong Admissibility (Principle)
- Unattack Inclusion
- Weak Reinstatement