0
$\begingroup$

I am computer scientist, not a mathematician, I've been reading some papers on argumentation in AI that uses the term 'maximal' set without defining it. I think it's left undefined because it's a term used widely in mathematics? The paper at the end of this post. I hope this question isn't too simple for this forum and I hope set theory is ok as a tag?!

Many thanks.

@article{Dung2007642, title = "Computing ideal sceptical argumentation", journal = "Artificial Intelligence", volume = "171", number = "10-15", pages = "642 - 674", year = "2007", note = "Argumentation in Artificial Intelligence", doi = "DOI: 10.1016/j.artint.2007.05.003", author = "P.M. Dung and P. Mancarella and F. Toni" }

$\endgroup$
1

2 Answers 2

0
$\begingroup$

Typically, the term maximal means that a set $A$ has a property but $A \cup \{x \}$ does not have this property for any $x \notin A$. (For example, a maximal matching is a set of edges which is a matching, but if any new edge is added it is no longer a matching.) This is weaker than a maximum set, which is the largest (in cardinality) set with the property.

$\endgroup$
1
  • $\begingroup$ I'd prefer "a set $A$ has a property but no set strictly containing it has this property" (think maximal ideal). $\endgroup$
    – Nik Weaver
    Nov 14, 2015 at 1:56
0
$\begingroup$

I agree with David. A maximal set is defined with some property in mind. In abstract argumentation for instance preferred extensions are maximal admissible sets. I can only guess on the exact context of your question, but the ideal extension of some argumentation framework can be defined as the maximal admissible set that is contained in all preferred extensions. A similar relationship as between grounded and complete semantics.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.