Package org.tweetyproject.arg.dung.principles
package org.tweetyproject.arg.dung.principles

ClassDescriptionAdmissibility Principle A semantics satisfies admissibility if for all extensions E it holds that: every argument in E is defended by E see Baroni, P., and Giacomin, M.CFReinstatement Principle A semantics satisfies cfreinstatement if for all extensions E it holds that: for all arguments a, if E u {a} is conflictfree and E defends a, then a is in E see: Baroni, P., and Giacomin, M.Conflictfree Principle A semantics satisfies conflictfreeness if for all extensions E it holds that: E is conflictfree trivial property satisfied by practically all semantics see: Baroni, P., and Giacomin, M.Directionality Principle A semantics satisfies directionality if for every unattacked set U in a dung theory F it holds that: The extensions of F restricted to U are equal to the extensions of F intersected with U see: Baroni, P., and Giacomin, M.IMaximality Principle A semantics satisfies IMaximality iff for all pairs of extensions E1, E2 it holds that: if E1 is a subset of E2, then E1 = E2 see: Baroni, P., and Giacomin, M.Irrelevance of Necessarily Rejected Arguments (INRA) Principle A semantics s satisfies INRA if for every AF F it holds that: for every argument a in F, if every sextension attacks a, then s(F) = s(F\{a}) i.e if an argument is attacked by every extension, then it does not influence the computation of extensions and can be ignored see: Cramer, M., and van der Torre, L.Modularization Principle A semantics s satisfies modularization iff for every AF F we have: if E1 is a sextension of F and E2 is a sextension of the E1reduct of F, then (E1 u E2) is a sextension of F see: Baumann et.Naivety Principle A semantics satisfies naivety if for all extensions E it holds that: E is conflictfree and maximal w.r.t set inclusion see: TODOModels a principle for argumentation semantics i.e.ReductAdmissibility Principle A semantics satisfies reduct admissibility iff for every AF F and every extension E we have: For all arguments a in E: if an argument b attacks a, then b is in no extension of the Ereduct of F see: Dauphin, Jeremie, Tjitze Rienstra, and Leendert Van Der Torre.Reinstatement Principle A semantics satisfies reinstatement if for all extensions E it holds that: for all arguments a, if E defends a, then a is in E i.e E is a complete extension see: Baroni, P., and Giacomin, M.SCC Decomposability Principle also: SCCRecursiveness A semantics satisfies SCC decomposability iff for all AFs we have: The extensions of F are the same as computing the extensions of each SCC individually and combining the result see: Pietro Baroni et al.Strong Complete Completeness Outside Odd Cycles Principle (SCOOC) A semantics satisfied SCOOC if for every extension E it holds that: for every argument a, if neither a nor its attackers are in an odd cycle and E does not attack a, then a is in E.SemiQualified Admissibility Principle A semantics s satisfies semiqualified admissibility iff for every AF F and every sextension E we have: For all arguments a in E: if an argument b attacks a and b is in any sextension, then E attacks b see: Dauphin, Jeremie, Tjitze Rienstra, and Leendert Van Der Torre.Principle of Strong Admissibility A semantics satisfies strong admissibility iff for every extensions E in every AF it holds that: all arguments in E are strongly defended by E, i.e.Weak Reinstatement Principle A semantics satisfies weak reinstatement if for all extensions E it holds that: if E strongly defends an argument a, then a is in E An argument a is strongly defended by E iff some argument in E \ {a} defends a see: Baroni, P., and Giacomin, M.