summaryrefslogtreecommitdiff
path: root/graphics/pgf/contrib/argumentation/argumentation-doc.tex
blob: d524e50afd3ed735109b1f4207a696e6aa49e638 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
\documentclass{article}

\title{The \argumentation Package}
\author{Lars Bengel\footnote{Please report any issues at \url{https://github.com/aig-hagen/tikz_argumentation}}\\\small lars.bengel@fernuni-hagen.de}
\date{Version 1.2 [2024/06/07]}

%%%%%%%%% IMPORTS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\usepackage[]{argumentation}                    % Main Package
\usepackage{amsmath}                            % For example environment
\usepackage{xspace}                             % For dynamic spacing after commands
\usepackage{xcolor}                             % Coloring
\usepackage[hidelinks]{hyperref}                % Hyperlinks
\usepackage{subcaption}                         % For two-part figures

%%% Various commands used in the document
\newcommand{\todo}[1]{\textcolor{magenta}{TODO: #1}} % for todos
\newcommand{\tikzname}{Ti\emph{k}Z\xspace}
\newcommand{\argumentation}{\texttt{argumentation}\xspace}
\newcommand{\opt}[2][red]{\ensuremath{\textcolor{#1}{\langle #2\rangle}}}
\newtheorem{example}{Example}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}
\maketitle

\begin{minipage}{.28\textwidth}
    \centering
        \begin{af}
            \argument{$a$}
            \argument[right=of a1]{$b$}
            \argument[below=of a1]{$c$}
            \argument[right=of a3]{$d$}
    
            \attack{a1}{a2}
            \attack{a2}{a3}
            \attack[bend right]{a3}{a4}
        \end{af}
\end{minipage}
\begin{minipage}{.5\textwidth}
    \begin{verbatim}
        \begin{af}
            \argument{$a$}
            \argument[right=of a1]{$b$}
            \argument[below=of a1]{$c$}
            \argument[right=of a3]{$d$}
    
            \attack{a1}{a2}
            \attack{a2}{a3}
            \attack[bend right]{a3}{a4}
        \end{af}
    \end{verbatim}
\end{minipage}


\tableofcontents
\newpage

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Quick Guide}\label{sec:quick}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\noindent
To create an argumentation framework in your \LaTeX document, you have to import the \argumentation package:\\

\vspace{-0.3cm}
\verb|\usepackage{argumentation}|\\

\noindent
You can then create a new \texttt{af} environment in which the argumentation framework can then be built:\\

\vspace{-0.3cm}
\verb|\begin{af}|

\quad\opt[green]{environment~content}

\verb|\end{af}|\\

\noindent
You may want to wrap the \texttt{af} environment in a \texttt{figure} environment in order to add a caption and reference label.
The easiest way to create an argument in the argumentation framework is:\\

\vspace{-0.3cm}
\verb|\argument{|\opt{name}\verb|}|\\

\noindent
Here, \opt{name} is the name of the argument displayed in the graph and the argument is automatically assigned an \emph{identifier} of the form: $a1$, $a2$, \dots.

To properly add further arguments, you also need to specify a position.
The \argumentation package offers two easy ways of doing that:\\

\vspace{-0.3cm}
\verb|\argument[|\opt{dir}\verb|=of |\opt{arg\_id}\verb|]{|\opt{name}\verb|}|

\verb|\argument{|\opt{name}\verb|}| \verb|at (|\opt{posX},\opt{posY}\verb|)|\\

\noindent
The first instance is \emph{relative position} where \opt{dir} is the direction of placement relative to the argument with the identifier \opt{arg\_id}, with \opt{dir} typically being one of the values: \textsf{right}, \textsf{left}, \textsf{above}, \textsf{below}.

The second instance is \emph{absolute positioning} where (\opt{posX}, \opt{posY}) is a set of coordinates, for example something like $(2, 0)$, $(0, -2)$ or $(2, 4)$.\\

\noindent
To create an attack between two arguments, you simply use the command:\\

\vspace{-0.3cm}
\verb|\attack{|\opt{a1}\verb|}{|\opt{a2}\verb|}|\\

\noindent
Substitute \opt{a1} and \opt{a2} with the identifier of the two arguments.
Alternatively, you can also directly create bidirectional attacks and self-attacks with the following two commands:\\

\vspace{-0.3cm}
\verb|\dualattack{|\opt{a1}\verb|}{|\opt{a2}\verb|}|

\verb|\selfattack{|\opt{a1}\verb|}|\\

\noindent
To customize the look of the arguments and attacks and for a detailed overview over all options and commands provided by this package, please refer to the following example or to the full documentation in Section~\ref{sec:documentation}.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newpage\section{Example}\label{sec:example}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{-0.7cm}
\begin{figure}[ht]
    \centering
    \begin{af}
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[right=of a3]{d}
        \argument[right=of a4,incomplete]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[inactive,argin,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        %\annotation[right]{a5}{$a\lor b$}

        \afname[left of=a1,yshift=-0.8cm,xshift=-0.2cm]{\textbf{F:}}

        \selfattack{a1}
        \dualattack{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        
        \attack[inactive]{a8}{a7}
        \attack[inactive]{a7}{a2}
        \annotatedattack{a3}{a2}{$3$}
        \attack[incomplete]{a4}{a5}
        \attack{a5}{a10}
        \attack{a10}{a9}
        \attack{a9}{a4}

        \support{a4}{a3}
        \support{a9}{a3}
    \end{af}
    \caption{An exemplary AF created with the \argumentation package.}
    \label{fig:example}
\end{figure}
\vspace{-0.4cm}
\begin{verbatim}
    \usepackage{argumentation}
    \begin{figure}[ht]
        \centering
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
            \argument[right=of a3]{d}
            \argument[right=of a4,incomplete]{e}
            \argument[below=of a1]{f}
            \argument[inactive,right=of a6]{g}
            \argument[inactive,argin,right=of a7]{h}
            \argument[right=of a8]{i}
            \argument[right=of a9]{j}
    
            \afname[left of=a1,yshift=-0.8cm,xshift=-0.2cm]{\textbf{F:}}
    
            \selfattack{a1}
            \dualattack{a1}{a6}
            \dualattack[inactive]{a6}{a7}
            
            \attack[inactive]{a8}{a7}
            \attack[inactive]{a7}{a2}
            \annotatedattack{a3}{a2}{$3$}
            \attack[incomplete]{a4}{a5}
            \attack{a5}{a10}
            \attack{a10}{a9}
            \attack{a9}{a4}

            \support{a4}{a3}
            \support{a9}{a3}
        \end{af}
        \caption{An exemplary AF created with the \argumentation package.}
        \label{fig:example}
    \end{figure}
\end{verbatim}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newpage\section{Documentation for Version 1.2 [2024/06/07]}\label{sec:documentation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

The \argumentation package provides an easy way for creating argumentation frameworks\footnote{Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intelligence.} in \LaTeX documents.
It builds on the \tikzname package for drawing the graphs and provides simplified syntax while keeping the same customisation options and keeping full compatibility with all \tikzname commands.
The package comes with multiple predefined style options for arguments, attacks and supports.
In the following, we give an overview over the functionality of the \argumentation package.
The \argumentation package can be imported via the command
    
    \verb|\usepackage{argumentation}|

    \noindent
    Alternatively, one can also adjust the appearance by providing some package options via

    \verb|\usepackage[|\opt{options}\verb|]{argumentation}|

\subsection{Style Options}\label{sec:style}
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item The \argumentation package provides the following options to customize the look of the argumentation frameworks. They can both be set globally (as an option for the \emph{usepackage} command) and also locally for each \texttt{af} environment (see Section~\ref{sec:af}).
    \end{list}
    \vspace{-0.3cm}
    \begin{align*}
        \mathsf{argumentstyle} &\quad \text{Customizes the appearance of argument nodes.}\\
        \mathsf{attackstyle} &\quad \text{Customizes the appearance of attack edges.}\\
        \mathsf{supportstyle} &\quad \text{Customizes the appearance of support edges.}\\
        \mathsf{namestyle} &\quad \text{Customizes the font style of the argument names.}\\
    \end{align*}

    In the following, we list the available options for each of the style parameters.\\

\noindent\texttt{argumentstyle=}\opt{option}

    The \textsf{argumentstyle} parameter accepts three options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the argument nodes.}\\
        \mathsf{large} &\quad \text{Same node size, but larger font.}\\
        \mathsf{thick} &\quad \text{Same node size, thicker outline.}\\
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[argumentstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
            \label{af:test}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{standard}}
        \label{fig:argumentstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[argumentstyle=large]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{large}}
        \label{fig:argumentstyle_large}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[argumentstyle=thick]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{argumentstyle}=\textit{thick}}
        \label{fig:argumentstyle_thick}
    \end{subfigure}
    \caption{The available options for \textsf{argumentstyle}.}
    \label{fig:argumentstyle}
\end{figure}

\newpage
\noindent\texttt{attackstyle=}\opt{option}
    
    The \textsf{attackstyle} parameter accepts three options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the attack arrow tips.}\\
        \mathsf{large} &\quad \text{Arrow tip is larger and sharper.}\\
        \mathsf{modern} &\quad \text{\tikzname ModernCS arrow tip.}\\
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[attackstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{standard}}
        \label{fig:attackstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[attackstyle=large]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{large}}
        \label{fig:attackstyle_large}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[attackstyle=modern]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{attackstyle}=\textit{modern}}
        \label{fig:attackstyle_thick}
    \end{subfigure}
    \caption{The available options for \textsf{attackstyle}.}
    \label{fig:attackstyle}
\end{figure}

\noindent\texttt{supportstyle=}\opt{option}
    
    The \textsf{supportstyle} parameter accepts three options
    \begin{align*}
        \mathsf{standard} &\quad \text{(default) Standard style for the attack arrow tips.}\\
        \mathsf{dashed} &\quad \text{Dashed arrow line, same tip.}\\
        \mathsf{double} &\quad \text{Double arrow line and large flat tip.}\\
    \end{align*}

\begin{figure}[!h]
    \begin{subfigure}{0.32\textwidth}
        \centering
        \begin{af}[supportstyle=standard]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{standard}}
        \label{fig:supportstyle_standard}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[supportstyle=dashed]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{dashed}}
        \label{fig:supportstyle_dashed}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[supportstyle=double]
            \argument{a}
            \argument[right=of a1]{b}
    
            \support[]{a1}{a2}
        \end{af}
        \caption{\textsf{supportstyle}=\textit{double}}
        \label{fig:supportstyle_double}
    \end{subfigure}
    \caption{The available options for \textsf{supportstyle}. Note that for \textit{standard} and \textit{dashed} the arrow tip of the selected \textsf{attackstyle} will be used.}
    \label{fig:supportstyle}
\end{figure}

\newpage
\noindent\texttt{namestyle=}\opt{option}
    
    The \textsf{namestyle} parameter offers five different options
    \begin{align*}
        \mathsf{none} &\quad \text{(default) No effect applied to argument name.}\\
        \mathsf{math} &\quad \text{The argument name is rendered as $math$ text.}\\
        &\quad\quad \text{(name must be given without mathmode).}\\
        \mathsf{italics} &\quad \text{The argument name is rendered in \textit{italics}.}\\
        &\quad\quad \text{(name must be given in mathmode to apply effect).}\\
        \mathsf{bold} &\quad \text{The argument name is rendered in $\boldsymbol{bold}$.}\\
        &\quad\quad \text{(name must be given in mathmode to apply effect).}\\
        \mathsf{monospace} &\quad \text{The argument name is rendered in \texttt{monospace} font.}\\
        &\quad\quad \text{(name must be given in mathmode to apply effect).}\\
    \end{align*}


\begin{figure}[!h]
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[namestyle=none]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{none}}
        \label{fig:namestyle_none}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[namestyle=math]
            \argument{a}
            \argument[right=of a1]{b}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{math}}
        \label{fig:namestyle_math}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.3\textwidth}
        \centering
        \begin{af}[namestyle=italics]
            \argument{$a$}
            \argument[right=of a1]{$b$}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{italics}}
        \label{fig:namestyle_italics}
    \end{subfigure}
    \par\bigskip
    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[namestyle=bold]
            \argument{$a$}
            \argument[right=of a1]{$b$}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{bold}}
        \label{fig:namestyle_bold}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.49\textwidth}
        \centering
        \begin{af}[namestyle=monospace]
            \argument{$a$}
            \argument[right=of a1]{$b$}
    
            \attack[]{a1}{a2}
        \end{af}
        \caption{\textsf{namestyle}=\textit{monospace}}
        \label{fig:namestyle_monospace}
    \end{subfigure}
    \caption{The available options for \textsf{namestyle}. You can of course apply any formatting yourself when using the default \textsf{namestyle}=\textit{none}.}
    \label{fig:namestyle}
\end{figure}

\subsection{The \texttt{af} Environment}\label{sec:af}
The \argumentation package provides an environment for creating abstract argumentation frameworks and many of its extensions in \LaTeX-documents.\\

\vspace{-0.2cm}
\noindent
\verb|\begin{af}[|\opt{options}\verb|]|

\opt[green]{environment~content}

\noindent
\verb|\end{af}|

\begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item
    The above described style options can be set locally for each instance of the \texttt{af} environment by setting the respective parameters in the options of the environment.
    Local settings override the defaults and globally set values (See Section~\ref{sec:style} 
 for examples).
    
    The \texttt{af} environment extends the \textsf{tikzpicture} environment, meaning all \tikzname commands can be used inside the \texttt{af} environment as well.
    Furthermore, all options for the \textsf{tikzpicture} environment can be used for the \texttt{af} environment as well, e.\,g the option \verb|node distance|, which is set to \verb|1cm| per default.

    If you want to create an argumentation framework with limited space available, you can use one of the following predefined options for the \texttt{af} environment. 
    This is especially useful for two-column layout documents.
    \begin{align*}
        \mathsf{tiny} &\quad \text{\textsf{node distance} is set to $0.35cm$ and nodes are smaller.}\\
        \mathsf{small} &\quad \text{\textsf{node distance} is set to $0.55cm$ and nodes are smaller.}
        %TODO:& argument size as parameter
    \end{align*}

    %\begin{example}
    %    Consider the two AFs in Figure~\ref{fig:mini_afs} created with the \textsf{small} and \textsf{tiny} option respectively.
    %\end{example}
\end{list}

\begin{figure}[ht]
    \begin{subfigure}{0.48\textwidth}
        \centering
        \begin{af}[small]
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[right=of a3]{d}
        \argument[right=of a4]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[inactive,argin,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \afname[left of=a1,yshift=-0.55cm,xshift=-0.2cm]{\textbf{F:}}

        \selfattack{a1}
        \dualattack[]{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        \attack[inactive]{a8}{a7}

        \attack[inactive]{a7}{a2}
        \attack[]{a3}{a2}

        \support[]{a4}{a3}
        \support[]{a9}{a3}

        \attack[]{a4}{a5}
        \attack[]{a5}{a10}
        \attack[]{a10}{a9}
        \attack[]{a9}{a4}
        \end{af}
        \caption{An exemplary AF created with the \textsf{small} option set.}
        \label{fig:example_small}
    \end{subfigure}
    \hfill
    \begin{subfigure}{0.48\textwidth}
        \centering
        \begin{af}[tiny]
        \argument{a}
        \argument[right=of a1]{b}
        \argument[right=of a2]{c}
        \argument[right=of a3]{d}
        \argument[right=of a4]{e}
        \argument[below=of a1]{f}
        \argument[inactive,right=of a6]{g}
        \argument[inactive,argin,right=of a7]{h}
        \argument[right=of a8]{i}
        \argument[right=of a9]{j}

        \afname[left of=a1,yshift=-0.4cm,xshift=-0.2cm]{\textbf{F:}}

        \selfattack{a1}
        \dualattack[]{a1}{a6}
        \dualattack[inactive]{a6}{a7}
        \attack[inactive]{a8}{a7}

        \attack[inactive]{a7}{a2}
        \attack[]{a3}{a2}

        \support[]{a4}{a3}
        \support[]{a9}{a3}

        \attack[]{a4}{a5}
        \attack[]{a5}{a10}
        \attack[]{a10}{a9}
        \attack[]{a9}{a4}
        \end{af}
        \caption{An exemplary AF created with the \textsf{tiny} option set.}
        \label{fig:example_tiny}
    \end{subfigure}
    \caption{Two AFs with smaller nodes, created by using the \textsf{small} and \textsf{tiny} options of the \texttt{af} environment.}
    \label{fig:mini_afs}
\end{figure}

While the following commands are intended to be used inside the \texttt{af} environment, they can also be used inside the \textsf{tikzpicture} environment.

\subsection{Creating Arguments}
    Arguments can be created with the \verb|\argument| command.
    The full command is defined as follows\\
    
    \noindent
    \verb|\argument[|\opt{options}\verb|](|\opt{id}\verb|){|\opt{name}\verb|}| \verb|at| (\opt{posX}, \opt{posY})

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item\opt{options}~ (optional) a list of \tikzname style parameters and/or relative positioning information (see Section~\ref{sec:relpos}).
        \item\opt{id}~ (optional) the identifier of the new argument. When omitted, arguments will automatically be assigned an identifier of the form: $a1, a2, a3,...$
        \item\opt{name}~ the displayed name of the argument.
        \item\opt{posX}, \opt{posY}~ (optional) the coordinates where the argument is placed. Should be omitted if relative positioning is used.
        
        \item When creating an argument you only have to provide the \opt{name}, all other parameters are optional.
        The \opt{id} of an argument is used for referencing, e.\,g., when creating attacks or for the relative positioning of other arguments.
    \end{list}

\newpage
\begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{$a$}
            \argument{$b$} at (1, 1)
            \argument[right=of a2]{$c$}
            \argument(argD){$d$} at (-2, 0)
            \argument[above=of argD]{$e$}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{$a$}
            \argument{$b$} at (1, 1)
            \argument[right=of a2]{$c$}
            \argument(argD){$d$} at (-2, 0)
            \argument[above=of argD]{$e$}
        \end{af}
    \end{center}
\end{example}

\subsubsection{Relative Positioning}\label{sec:relpos}
    Placement of argument nodes with the \argumentation package relies on relative placement via the \tikzname-library \textsf{positioning}.
    The relative positioning information is provided as an optional parameter as follows\\

    \noindent
    \verb|\argument[|\opt{dir}\verb|=of |\opt{arg\_id}\verb|](|\opt{id}\verb|){|\opt{name}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item\opt{dir}~ has to be one of: \emph{right}, \emph{left}, \emph{below} and \emph{above} 
        \item\opt{arg\_id}~ is the identifier of another argument
        \item Additionally, you can adjust the horizontal/vertical position of an argument via the options \verb|xshift=|\opt{v} and \verb|yshift=|\opt{v}.
        The value \opt{v} is the horizontal/vertical offset, e.\,g., \verb|5pt|, \verb|-3ex| or \verb|0.2cm|.
    \end{list}


    \begin{example}~

    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[below=of a1]{b}
            \argument[right=of a1, yshift=-24pt,xshift=-8pt]{c}
            \argument[right=of a3, xshift=-0.5cm]{d}
            \argument[right=of a4, yshift=5ex]{e}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[below=of a1]{b}
            \argument[right=of a1, yshift=-24pt,xshift=-8pt]{c}
            \argument[right=of a3, xshift=-0.5cm]{d}
            \argument[right=of a4, yshift=5ex]{e}
        \end{af}
    \end{center}
        
    \end{example}

%\subsubsection{Absolute Positioning}

\subsubsection{Argument Identifiers}
    When creating an argument, it is automatically assigned an identifier for the sake of simplicity.
    You can override this identifier by giving another identifier in parenthesis to the \verb|\argument| command.
    Per default, the argument identifiers will be numerical of the form $a1, a2, a3, \dots$ based on their order of creation inside the \texttt{af} environment.
    If you preferred alphabetical identifiers, you can set the package option \textsf{indexing}=\emph{alphabetic} and the argument identifiers will instead be $a, b, c, \dots$.

\subsubsection{Additional Argument Styles}
    Furthermore, you can provide optional parameters to adjust the style of the argument node.
    For that you can use all \tikzname-style options and additionally the following predefined style parameters:
    \begin{align*}
        \mathsf{inactive} &\quad \text{The argument is displayed with grey outline and text.}\\
        \mathsf{incomplete} &\quad \text{The argument is displayed with a dotted outline.}\\
        \mathsf{invisible} &\quad \text{The argument node is completely transparent.}\\
        \mathsf{accepted} &\quad \text{The argument is displayed with green background color.}\\
        \mathsf{rejected} &\quad \text{The argument is displayed with red background color.}\\
        \mathsf{undecided} &\quad \text{The argument is displayed with cyan background color.}\\
    \end{align*}

    %Some relevant \tikzname style-parameters are
    %\begin{align*}
        %\textsf{circle} &\quad \text{the shape of the argument.}\\
    %    \textsf{minimum~size=0.75cm} &\quad \text{the minimum size of the circle, to ensure consistent}\\
    %    &\quad \text{argument size.}\\
    %    \textsf{draw=black} &\quad \text{outline and text color of the argument.}\\
        %\textsf{thick} &\quad \text{the outline of the circle is rendered in \textsf{thick} mode.}\\
    %    \textsf{fill=white} &\quad \text{the background color of the argument.}\\
    %    \textsf{font=large} &\quad \text{the font size of the argument name.}\\
        %\textsf{text~centered} &\quad \text{positioning of the argument name inside the circle.}\\
    %    \textsf{inner~sep=0} &\quad \text{inner margins of the circle, set to \textsf{0} to optimize space.}
    %\end{align*}
    

\subsection{Creating Attacks}
    Attacks between two arguments can be created with the command\\

    \noindent
    \verb|\attack{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments.
    \end{list}

    
\subsubsection{Additional Attack Styles}
    To customize an attack you can provide additional optional parameters:
    \begin{align*}
        \mathsf{inactive} &\quad \text{The attack is displayed in grey.}\\
        \mathsf{incomplete} &\quad \text{The attack is displayed with a dotted line.}\\
        \mathsf{invisible} &\quad \text{The attack is completely transparent.}\\
        \mathsf{selfattack} &\quad \text{Use if source and target of the attack are the same node.}\\
        \mathsf{bend~right} &\quad \text{The attack arrow is bent to the right.}\\
        &\quad \text{Can additionally provide the angle, e.\,g., \textsf{bend~right=40}.}\\
        \mathsf{bend~left} &\quad \text{The attack arrow is bent to the left. Can also provide an angle.}
    \end{align*}
    
    Of course, all \tikzname style parameters can be used here as well.

    \begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack[bend right]{a2}{a3}
            \attack[bend left=10,inactive]{a3}{a4}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
            \argument[right=of a3]{d}
    
            \attack{a1}{a2}
            \attack[bend right]{a2}{a3}
            \attack[bend left=10,inactive]{a3}{a4}
        \end{af}
    \end{center}
    \end{example}

    Additionally, there is a shortcut for creating a symmetric attack between two arguments with

    \noindent
    \verb|\dualattack{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|\\

    \noindent
    and a shortcut for a self-attack for an argument with

    \noindent
    \verb|\selfattack{|\opt{arg1}\verb|}|\\

    \noindent
    For both commands, you can use the same optional parameters as for the \verb|\attack| command.

    \begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
    
            \selfattack{a2}
            \dualattack{a1}{a2}
        \end{af}  
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
    
            \selfattack{a2}
            \dualattack{a1}{a2}
        \end{af}
    \end{center}
    \end{example}
    

\subsection{Creating Support Relations}
    You can create a support relation between two arguments with the command\\

    \noindent
    \verb|\support{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments.
    The support arrow use the same tip as the attack arrows, but have a perpendicular mark to distinguish them from attacks.
    Supports can be customized in the same way as attacks.
    \end{list}
    \begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
    
            \support{a1}{a2}
            \support[bend right]{a2}{a3}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
    
            \support{a1}{a2}
            \support[bend right]{a2}{a3}
        \end{af}    
    \end{center}
    \end{example}

\subsection{Annotated Attacks}
    Many extensions of the original abstract argumentation framework rely on attacks with an associated value.
    This may, for instance, be probabilities in the case of probabilistic argumentation frameworks or numerical weights in the case of weighted argumentation frameworks.
    These annotations can be added manually via \tikzname or via the following command\\
    
    \noindent
    \verb|\annotatedattack[|\opt{position}\verb|]{|\opt{arg1}\verb|}{|\opt{arg2}\verb|}{|\opt{value}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item where \opt{arg1} and \opt{arg2} are the identifiers of two previously defined arguments and \opt{value} is the text or number that should be annotated to the attack.
        \opt{position} specifies where the annotation should be placed relative to the attack arrow and should be one of: \textsf{above}, \textsf{below}, \textsf{left}, \textsf{right}.
    \end{list}

    \begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
    
            \annotatedattack[below]{a1}{a2}{$x$}
            \annotatedattack[above,bend right]{a2}{a3}{$0.6$}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \argument[right=of a2]{c}
    
            \annotatedattack[below]{a1}{a2}{$x$}
            \annotatedattack[above,bend right]{a2}{a3}{$0.6$}
        \end{af}
    \end{center}
    \end{example}

\subsection{Further Commands}
    If you want to display an name (or some other text) for your argumentation framework in the picture, you can use the \verb|\afname| command.
    Just like the \verb|\argument| command it can include an optional identifier and supports both relative and absolute positioning.
    Some example usages:\\

    \vspace{-0.25cm}
    \noindent\verb|\afname{|\opt{name}\verb|}|

    \noindent\verb|\afname(|\opt{id}\verb|){|\opt{name}\verb|}|

    \noindent\verb|\afname[|\opt{relPos}\verb|]{|\opt{name}\verb|}|

    \noindent\verb|\afname{|\opt{name}\verb|}| \verb|at (|\opt{posX},\opt{posY}\verb|)|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{id} is an (optional) identifier for the created node (if omitted, the default identifier will be \textit{cap}) and \opt{name} is the text displayed in the picture.
    Additional positioning information, via \textsf{xshift} or \textsf{yshift}, can be provided via the optional parameters.
    \end{list}

    \noindent
    To create an annotation, e.\,g., an acceptance condition or a weight, next to an argument, the following command can be used.\\
    
    \noindent
    \verb|\annotation[|\opt{optional}\verb|]{|\opt{arg\_id}\verb|}{|\opt{text}\verb|}|

    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
    \item where \opt{arg\_id} is the identifier of some argument and \opt{text} is the text to be displayed.
    Additionally, positioning information, via \textsf{xshift} or \textsf{yshift}, can be provided via the optional parameters.
    \end{list}

    \begin{example}~
    \begin{verbatim}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \afname{$F:$} at (-1,0)
            \annotation[yshift=-0.4cm,xshift=0.4cm]{a2}{$\neg a$}
    
            \support{a1}{a2}
        \end{af}
    \end{verbatim}

    \begin{center}
        \begin{af}
            \argument{a}
            \argument[right=of a1]{b}
            \afname{$F:$} at (-1,0)
            \annotation[yshift=-0.4cm,xshift=0.4cm]{a2}{$\neg a$}
    
            \support{a1}{a2}
        \end{af}
    \end{center}
    \end{example}

    You can manually override the \textsf{argumentstyle}, \textsf{attackstyle} and \textsf{supportstyle} parameters and set a custom style globally via the following commands respectively.\\

    \vspace{-0.3cm}
    \noindent
    \verb|\setargumentstyle{|\opt{style}\verb|}|
    
    \noindent
    \verb|\setattackstyle{|\opt{style}\verb|}|
    
    \noindent
    \verb|\setsupportstyle{|\opt{style}\verb|}|
    
    \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt}
        \item
        where \opt{style} is a list of \tikzname style parameters.
    \end{list}

%\section{Style Definitions}

\newpage
\section{Version History}\label{sec:history}

\subsection*{[v1.2 2024/06/07]}
\begin{itemize}
    \item Changed Syntax of \verb|\argument| command. The \textit{id} parameter is now given inside parenthesis instead of curly braces and is optional.
    \item Added absolute positioning to \verb|\argument| command, like for \tikzname nodes.
    \item Added package option $\textsf{indexing}$ to toggle automatic generation of identifiers for created argument nodes. Can be set to \textit{none}, or selected between \textit{alphabetic} and \textit{numeric} (default).
    \item All package style options can now also be set locally in the \texttt{af} environment.
    \item Adjusted \verb|\annotatedattack| to require position parameter.
    \item Various minor bugfixes regarding the \textsf{namestyle} package option.
    \item Added new argumentstyle \textsf{large}.
\end{itemize}

\subsection*{[v1.1 2023/12/03]}
\begin{itemize}
    \item Adjusted standard styles.
    \item Added command for creating annotated attacks.
    \item Now only provides one environment, which can be parameterised.
    \item Changed option management to pgfkeys.
    \item Updated and improved documentation.
\end{itemize}

\subsection*{[v1.0 2023/11/05]}
\begin{itemize}
    \item First Version.
\end{itemize}

\end{document}