diff options
Diffstat (limited to 'Master/texmf-dist/doc')
| -rw-r--r-- | Master/texmf-dist/doc/latex/argumentation/README.md | 2 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/argumentation/argumentation-doc.pdf | bin | 307239 -> 516606 bytes | |||
| -rw-r--r-- | Master/texmf-dist/doc/latex/argumentation/argumentation-doc.tex | 556 |
3 files changed, 361 insertions, 197 deletions
diff --git a/Master/texmf-dist/doc/latex/argumentation/README.md b/Master/texmf-dist/doc/latex/argumentation/README.md index b0df71dbd01..0c78428ee2a 100644 --- a/Master/texmf-dist/doc/latex/argumentation/README.md +++ b/Master/texmf-dist/doc/latex/argumentation/README.md @@ -4,5 +4,5 @@ The argumentation package provides utility to create abstract argumentation fram For bug reports and feedback, please contact: Lars Bengel <lars.bengel@fernuni-hagen.de> -Version: 1.2 [2024/06/07] +Version: 1.3 [2024/09/25] This package is subject to the LaTeX Project Public License 1.3c
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.pdf b/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.pdf Binary files differindex 48f396a1feb..7a203014791 100644 --- a/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.pdf +++ b/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.pdf diff --git a/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.tex b/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.tex index d524e50afd3..aab7c32a48e 100644 --- a/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.tex +++ b/Master/texmf-dist/doc/latex/argumentation/argumentation-doc.tex @@ -1,16 +1,28 @@ -\documentclass{article} +\documentclass[headings=normal]{scrartcl} +%====================================================================================================== +\KOMAoptions{ + paper=a4, + fontsize=10pt, + cleardoublepage=empty, + footinclude=true +} + +\usepackage[top=1.35in, bottom=1.33in, left=1.35in, right=1.35in]{geometry} +\usepackage[macros]{argumentation} % Main Package +\usepackage[T1]{fontenc} % Font encoding +\usepackage[utf8]{inputenc} % Input font encoding +\usepackage[english]{babel} % Language +\usepackage[hidelinks]{hyperref} % Hyperlinks +\usepackage{subcaption} % Multi-part figures +\usepackage[breakable,]{tcolorbox} % Fancier Examples +\usepackage{booktabs} % Fancier tables \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]} +\date{Version 1.3 [2024/09/25]} %%%%%%%%% 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 @@ -18,18 +30,19 @@ \newcommand{\argumentation}{\texttt{argumentation}\xspace} \newcommand{\opt}[2][red]{\ensuremath{\textcolor{#1}{\langle #2\rangle}}} \newtheorem{example}{Example} +\tcolorboxenvironment{example}{colframe=aigblue,colback=aigyellow!30,breakable,before skip=10pt,after skip=10pt} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \begin{document} \maketitle -\begin{minipage}{.28\textwidth} +\begin{minipage}{.26\textwidth} \centering - \begin{af} - \argument{$a$} - \argument[right=of a1]{$b$} - \argument[below=of a1]{$c$} - \argument[right=of a3]{$d$} + \begin{af}[argumentstyle=gray,namestyle=monospace] + \argument{a} + \argument[right=of a1]{b} + \argument[below=of a1]{c} + \argument[right=of a3]{d} \attack{a1}{a2} \attack{a2}{a3} @@ -37,18 +50,20 @@ \end{af} \end{minipage} \begin{minipage}{.5\textwidth} + \begin{small} \begin{verbatim} - \begin{af} - \argument{$a$} - \argument[right=of a1]{$b$} - \argument[below=of a1]{$c$} - \argument[right=of a3]{$d$} + \begin{af}[argumentstyle=gray,namestyle=monospace] + \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{small} \end{minipage} @@ -60,7 +75,7 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \noindent -To create an argumentation framework in your \LaTeX document, you have to import the \argumentation package:\\ +To create an argumentation framework in your \LaTeX-document, you have to import the \argumentation package:\\ \vspace{-0.3cm} \verb|\usepackage{argumentation}|\\ @@ -77,6 +92,7 @@ You can then create a new \texttt{af} environment in which the argumentation fra \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} @@ -94,7 +110,7 @@ The \argumentation package offers two easy ways of doing that:\\ \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 first instance is \emph{relative positioning} 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: \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)$.\\ @@ -119,24 +135,24 @@ To customize the look of the arguments and attacks and for a detailed overview o %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \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[rejected,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[accepted,right=of a7]{h} \argument[right=of a8]{i} \argument[right=of a9]{j} - %\annotation[right]{a5}{$a\lor b$} + \annotation[right,yshift=-0.4cm]{a5}{$a\lor b$} - \afname[left of=a1,yshift=-0.8cm,xshift=-0.2cm]{\textbf{F:}} + \afname{$F_{\ref{af:ex1}}:$} at (-1,-0.9) \selfattack{a1} \dualattack{a1}{a6} @@ -144,7 +160,7 @@ To customize the look of the arguments and attacks and for a detailed overview o \attack[inactive]{a8}{a7} \attack[inactive]{a7}{a2} - \annotatedattack{a3}{a2}{$3$} + \annotatedattack[above]{a3}{a2}{$3$} \attack[incomplete]{a4}{a5} \attack{a5}{a10} \attack{a10}{a9} @@ -152,54 +168,63 @@ To customize the look of the arguments and attacks and for a detailed overview o \support{a4}{a3} \support{a9}{a3} + \label{af:ex1} \end{af} - \caption{An exemplary AF created with the \argumentation package.} + \caption{The AF $F_{\ref{af:ex1}}$ created with the \argumentation package.} \label{fig:example} \end{figure} -\vspace{-0.4cm} + +\hspace{-1.2cm} +\begin{minipage}[c]{0.99\textwidth} +%\begin{small} \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.} + \argument{a} + \argument[right=of a1]{b} + \argument[right=of a2]{c} + \argument[rejected,right=of a3]{d} + \argument[right=of a4,incomplete]{e} + \argument[below=of a1]{f} + \argument[inactive,right=of a6]{g} + \argument[accepted,right=of a7]{h} + \argument[right=of a8]{i} + \argument[right=of a9]{j} + + \annotation[right,yshift=-0.4cm]{a5}{$a\lor b$} + + \afname{$F_{\ref{af:ex1}}:$} at (-1,-0.9) + + \selfattack{a1} + \dualattack{a1}{a6} + \dualattack[inactive]{a6}{a7} + + \attack[inactive]{a8}{a7} + \attack[inactive]{a7}{a2} + \annotatedattack[above]{a3}{a2}{$3$} + \attack[incomplete]{a4}{a5} + \attack{a5}{a10} + \attack{a10}{a9} + \attack{a9}{a4} + + \support{a4}{a3} + \support{a9}{a3} + \label{af:ex1} + \end{af} + \caption{The AF $F_{\ref{af:ex1}}$ created with the \argumentation package.} \label{fig:example} \end{figure} \end{verbatim} +%\end{small} +\end{minipage} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\newpage\section{Documentation for Version 1.2 [2024/06/07]}\label{sec:documentation} +\newpage\section{Documentation for Version 1.3 [2024/09/25]}\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. +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. @@ -212,7 +237,10 @@ The \argumentation package can be imported via the command \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} @@ -221,18 +249,21 @@ The \argumentation package can be imported via the command \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.}\\ + \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.\\ + In the following, we list the available options for each of the style parameters. + Detailed definitions of each of these style parameters can be found in Section~\ref{sec:style-definitions}.\\ -\noindent\texttt{argumentstyle=}\opt{option} +{\bfseries\sffamily\noindent argumentstyle=\opt{option}} - The \textsf{argumentstyle} parameter accepts three options + The \textsf{argumentstyle} parameter accepts five 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.}\\ + \mathsf{large} &\quad \text{Larger font.}\\ + \mathsf{thick} &\quad \text{Thick outline.}\\ + \mathsf{gray} &\quad \text{Thick gray outline, light gray background.}\\ + \mathsf{colored} &\quad \text{Thick blue outline, light blue background.} \end{align*} \begin{figure}[!h] @@ -272,18 +303,45 @@ The \argumentation package can be imported via the command \caption{\textsf{argumentstyle}=\textit{thick}} \label{fig:argumentstyle_thick} \end{subfigure} - \caption{The available options for \textsf{argumentstyle}.} + + \par\bigskip + + \begin{subfigure}{0.49\textwidth} + \centering + \begin{af}[argumentstyle=gray] + \argument{a} + \argument[right=of a1]{b} + + \attack[]{a1}{a2} + \end{af} + \caption{\textsf{argumentstyle}=\textit{gray}} + \label{fig:argumentstyle_gray} + \end{subfigure} + \hfill + \begin{subfigure}{0.49\textwidth} + \centering + \begin{af}[argumentstyle=colored] + \argument{a} + \argument[right=of a1]{b} + + \attack[]{a1}{a2} + \end{af} + \caption{\textsf{argumentstyle}=\textit{colored}} + \label{fig:argumentstyle_colored} + \end{subfigure} + + \caption{Available options for \textsf{argumentstyle}.} \label{fig:argumentstyle} \end{figure} \newpage -\noindent\texttt{attackstyle=}\opt{option} +{\bfseries\sffamily\noindent 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.}\\ + \mathsf{modern} &\quad \text{\tikzname ModernCS arrow tip.} \end{align*} \begin{figure}[!h] @@ -322,17 +380,17 @@ The \argumentation package can be imported via the command \caption{\textsf{attackstyle}=\textit{modern}} \label{fig:attackstyle_thick} \end{subfigure} - \caption{The available options for \textsf{attackstyle}.} + \caption{Available options for \textsf{attackstyle}.} \label{fig:attackstyle} \end{figure} -\noindent\texttt{supportstyle=}\opt{option} +{\bfseries\sffamily\noindent 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.}\\ + \mathsf{double} &\quad \text{Double arrow line and large flat tip.} \end{align*} \begin{figure}[!h] @@ -371,29 +429,27 @@ The \argumentation package can be imported via the command \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.} + \caption{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} + +{\bfseries\sffamily\noindent namestyle=\opt{option}} - The \textsf{namestyle} parameter offers five different options + The \textsf{namestyle} parameter offers four 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).}\\ + &\quad\quad \text{(name must be given without mathmode).}\\ \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).}\\ + &\quad\quad \text{(name must be given without mathmode).}\\ + \mathsf{monoemph} &\quad \text{The argument name is rendered as {\ttfamily\emph{name}}.} \end{align*} - -\begin{figure}[!h] - \begin{subfigure}{0.3\textwidth} +\begin{figure}[!ht] + \begin{subfigure}{0.32\textwidth} \centering \begin{af}[namestyle=none] \argument{a} @@ -405,7 +461,7 @@ The \argumentation package can be imported via the command \label{fig:namestyle_none} \end{subfigure} \hfill - \begin{subfigure}{0.3\textwidth} + \begin{subfigure}{0.32\textwidth} \centering \begin{af}[namestyle=math] \argument{a} @@ -417,46 +473,50 @@ The \argumentation package can be imported via the command \label{fig:namestyle_math} \end{subfigure} \hfill - \begin{subfigure}{0.3\textwidth} + \begin{subfigure}{0.32\textwidth} \centering - \begin{af}[namestyle=italics] - \argument{$a$} - \argument[right=of a1]{$b$} + \begin{af}[namestyle=bold] + \argument{a} + \argument[right=of a1]{b} \attack[]{a1}{a2} \end{af} - \caption{\textsf{namestyle}=\textit{italics}} - \label{fig:namestyle_italics} + \caption{\textsf{namestyle}=\textit{bold}} + \label{fig:namestyle_bold} \end{subfigure} + \hfill \par\bigskip \begin{subfigure}{0.49\textwidth} \centering - \begin{af}[namestyle=bold] - \argument{$a$} - \argument[right=of a1]{$b$} + \begin{af}[namestyle=monospace] + \argument{a} + \argument[right=of a1]{b} \attack[]{a1}{a2} \end{af} - \caption{\textsf{namestyle}=\textit{bold}} - \label{fig:namestyle_bold} + \caption{\textsf{namestyle}=\textit{monospace}} + \label{fig:namestyle_monospace} \end{subfigure} \hfill \begin{subfigure}{0.49\textwidth} \centering - \begin{af}[namestyle=monospace] - \argument{$a$} - \argument[right=of a1]{$b$} + \begin{af}[namestyle=monoemph] + \argument{a} + \argument[right=of a1]{b} \attack[]{a1}{a2} \end{af} - \caption{\textsf{namestyle}=\textit{monospace}} - \label{fig:namestyle_monospace} + \caption{\textsf{namestyle}=\textit{monoemph}} + \label{fig:namestyle_monoemph} \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}.} + \caption{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} @@ -475,7 +535,7 @@ The \argumentation package provides an environment for creating abstract argumen 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. + 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| (\verb|6.6ex|) 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. @@ -566,9 +626,32 @@ The \argumentation package provides an environment for creating abstract argumen \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. +\subsubsection{Referencing} +The package provides to ability to label the created argumentation frameworks and reference them via the \verb|\ref| command. +For that, place the command \verb|\label{|\opt{name}\verb|}| anywhere in an \texttt{af}-environment and you can reference to it via \verb|\ref{|\opt{name}\verb|}| anywhere in the document. + +Additionally, the following commands are provided to facilitate referencing argumentation frameworks. +To activate them, add the parameter \textsf{macros=true} when loading the package. +Most importantly the command \verb|\afref{|\opt{name}\verb|}| which works like the \verb|ref| command but adds the reference number directly into the index of the \verb|\AF| symbol. +You may redefine any of the first four commands if you prefer a different naming scheme for AFs. +\begin{table}[ht] + \centering + \begin{tabular}{lll} + \verb|\AF|&& \AF \\ + \verb|\arguments|&& \arguments\\ + \verb|\attacks|&&\attacks\\ + \verb|\AFcomplete|&&\AFcomplete\\ + \verb|\afref{af:ex1}|&&\afref{af:ex1}\\ + \verb|\fullafref{af:ex1}|&\qquad\qquad\qquad&\fullafref{af:ex1} + \end{tabular} + \caption{Commands and their respective output.} + \label{tab:referencing} +\end{table} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \subsection{Creating Arguments} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Arguments can be created with the \verb|\argument| command. The full command is defined as follows\\ @@ -585,27 +668,30 @@ While the following commands are intended to be used inside the \texttt{af} envi 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{minipage}{0.35\textwidth} \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$} + \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{minipage} + \begin{minipage}{0.5\textwidth} + \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} + \end{minipage}% \end{example} \subsubsection{Relative Positioning}\label{sec:relpos} @@ -619,45 +705,44 @@ While the following commands are intended to be used inside the \texttt{af} envi \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|. + The value \opt{v} is the horizontal/vertical offset, e.\,g., \verb|-6.6ex| or \verb|1cm|. \end{list} \begin{example}~ - \begin{verbatim} + \begin{minipage}{0.25\textwidth} + \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} + \argument[right=of a1,yshift=0.75cm]{b} + \argument[below=of a2,xshift=-2ex]{c} + \argument[right=of a3,yshift=5.5ex]{d} \end{af} - \end{verbatim} - - \begin{center} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \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} + \argument[right=of a1,yshift=0.75cm]{b} + \argument[below=of a2,xshift=-2ex]{c} + \argument[right=of a3,yshift=5.5ex]{d} \end{af} - \end{center} - + \end{verbatim} + \end{minipage}% \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$. + If you prefer 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} +\subsubsection{Additional Argument Styling} 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: + For that you can use all \tikzname-style options and additionally the following predefined style parameters (Refer to Section~\ref{sec:style-definitions} for a detailed description of these 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.}\\ @@ -665,23 +750,13 @@ While the following commands are intended to be used inside the \texttt{af} envi \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.}\\ + \mathsf{highlight} &\quad \text{The argument is displayed with yellow 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 @@ -706,8 +781,11 @@ While the following commands are intended to be used inside the \texttt{af} envi Of course, all \tikzname style parameters can be used here as well. + \newpage \begin{example}~ - \begin{verbatim} + + \begin{minipage}{0.32\textwidth} + \begin{center} \begin{af} \argument{a} \argument[right=of a1]{b} @@ -718,9 +796,10 @@ While the following commands are intended to be used inside the \texttt{af} envi \attack[bend right]{a2}{a3} \attack[bend left=10,inactive]{a3}{a4} \end{af} - \end{verbatim} - - \begin{center} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \begin{verbatim} \begin{af} \argument{a} \argument[right=of a1]{b} @@ -731,7 +810,9 @@ While the following commands are intended to be used inside the \texttt{af} envi \attack[bend right]{a2}{a3} \attack[bend left=10,inactive]{a3}{a4} \end{af} - \end{center} + \end{verbatim} + \end{minipage}% + \end{example} Additionally, there is a shortcut for creating a symmetric attack between two arguments with @@ -749,29 +830,35 @@ While the following commands are intended to be used inside the \texttt{af} envi For both commands, you can use the same optional parameters as for the \verb|\attack| command. \begin{example}~ - \begin{verbatim} + + \begin{minipage}{0.4\textwidth} + \begin{center} \begin{af} \argument{a} \argument[right=of a1]{b} \selfattack{a2} \dualattack{a1}{a2} - \end{af} - \end{verbatim} - - \begin{center} + \end{af} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \begin{verbatim} \begin{af} \argument{a} \argument[right=of a1]{b} \selfattack{a2} \dualattack{a1}{a2} - \end{af} - \end{center} + \end{af} + \end{verbatim} + \end{minipage} \end{example} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \subsection{Creating Support Relations} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% You can create a support relation between two arguments with the command\\ \noindent @@ -783,30 +870,37 @@ While the following commands are intended to be used inside the \texttt{af} envi Supports can be customized in the same way as attacks. \end{list} \begin{example}~ - \begin{verbatim} + + \begin{minipage}{0.4\textwidth} + \begin{center} \begin{af} - \argument{a} - \argument[right=of a1]{b} - \argument[right=of a2]{c} + \argument{$a_1$} + \argument[right=of a1]{$a_2$} + \argument[right=of a2]{$a_3$} \support{a1}{a2} \support[bend right]{a2}{a3} - \end{af} - \end{verbatim} - - \begin{center} + \end{af} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \begin{verbatim} \begin{af} - \argument{a} - \argument[right=of a1]{b} - \argument[right=of a2]{c} + \argument{$a_1$} + \argument[right=of a1]{$a_2$} + \argument[right=of a2]{$a_3$} \support{a1}{a2} \support[bend right]{a2}{a3} - \end{af} - \end{center} + \end{af} + \end{verbatim} + \end{minipage} \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\\ @@ -820,30 +914,37 @@ While the following commands are intended to be used inside the \texttt{af} envi \end{list} \begin{example}~ - \begin{verbatim} + + \begin{minipage}{0.18\textwidth} + \begin{center} \begin{af} \argument{a} \argument[right=of a1]{b} - \argument[right=of a2]{c} + \argument[below=of a2]{c} \annotatedattack[below]{a1}{a2}{$x$} - \annotatedattack[above,bend right]{a2}{a3}{$0.6$} + \annotatedattack[left,bend right]{a2}{a3}{$0.6$} \end{af} - \end{verbatim} - - \begin{center} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \begin{verbatim} \begin{af} \argument{a} \argument[right=of a1]{b} - \argument[right=of a2]{c} + \argument[below=of a2]{c} \annotatedattack[below]{a1}{a2}{$x$} - \annotatedattack[above,bend right]{a2}{a3}{$0.6$} + \annotatedattack[left,bend right]{a2}{a3}{$0.6$} \end{af} - \end{center} + \end{verbatim} + \end{minipage}% \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:\\ @@ -873,30 +974,39 @@ While the following commands are intended to be used inside the \texttt{af} envi Additionally, positioning information, via \textsf{xshift} or \textsf{yshift}, can be provided via the optional parameters. \end{list} + \newpage \begin{example}~ - \begin{verbatim} + + \begin{minipage}{0.11\textwidth} + \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$} + \argument[below=of a1]{b} + \afname{$F:$} at (-1,-1) + \annotation[yshift=-0.5cm,xshift=0.4cm]{a2}{$\neg a$} \support{a1}{a2} \end{af} - \end{verbatim} - - \begin{center} + \end{center} + \end{minipage}% + \begin{minipage}{0.5\textwidth} + \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$} + \argument[below=of a1]{b} + \afname{$F:$} at (-1,-1) + \annotation[yshift=-0.5cm,xshift=0.4cm]{a2}{$\neg a$} \support{a1}{a2} \end{af} - \end{center} + \end{verbatim} + \end{minipage}% \end{example} + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\subsection{Style Definitions}\label{sec:style-definitions} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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} @@ -912,12 +1022,66 @@ While the following commands are intended to be used inside the \texttt{af} envi \begin{list}{}{\leftmargin=\parindent\rightmargin=0pt} \item where \opt{style} is a list of \tikzname style parameters. + For reference, the style parameters provided by this package are listed below. + You may use or override them at your own discretion. + For instance, one could use them to combine or adapt styles, e.\,g., + + \noindent + \verb|\setargumentstyle{argument large,argument gray,text=white}| \end{list} -%\section{Style Definitions} + \begin{table}[ht] + \centering + \ttfamily + \begin{tabular}{l|l} + \toprule + \tikzname-keyword & style parameters \\ + \midrule + \textsf{argument size} & \emph{contains the currently selected argument size}\\ + \textsf{argument} & \emph{contains the currently selected argument style and size}\\ + \textsf{argument standard} & circle,inner sep=0,outer sep=0,draw=black\\ + \textsf{argument large} & circle,inner sep=0,outer sep=0,draw=black,font=\verb|\|large\\ + \textsf{argument thick} & circle,inner sep=0,outer sep=0,draw=black,line width=0.1em\\ + \textsf{argument gray} & argument thick,fill=gray!30,draw=gray!65,text=black!80\\ + \textsf{argument colored} & argument thick,fill=aigblue!40,draw=aigblue!80,text=black!80\\ + \midrule + \textsf{attack} & \emph{contains the currently selected attack style}\\ + \textsf{attack standard} & -\{stealth'\}\\ + \textsf{attack large} & -\{Stealth[scale=1.25]\}\\ + \textsf{attack modern} & -\{To[sharp,length=0.65ex,line width=0.05em]\}\\ + \textsf{selfattack} & loop,min distance=0.4em,in=0,out=60,looseness=4.5\\ + \midrule + \textsf{support} & \emph{contains the currently selected support style}\\ + \textsf{support standard} & attack,postaction=\{decorate,decoration=\{\dots\}\}\\ + \textsf{support dashed} & attack,densely dashed\\ + \textsf{support double} & -\{Classical TikZ Rightarrow\},double\\ + \midrule + \textsf{inactive} & fill=none,draw=gray!50,text=gray!60\\ + \textsf{incomplete} & densely dashed\\ + \textsf{accepted} & fill=green!40\\ + \textsf{rejected} & fill=red!40\\ + \textsf{undecided} & fill=cyan!40\\ + \textsf{highlight} & fill=aigyellow!60\\ + \textsf{invisible} & draw=none,text=black!0,fill=none\\ + \bottomrule + \end{tabular} + \caption{Reference list of \tikzname-style parameters provided by the \argumentation package.} + \label{tab:styles} + \end{table} \newpage +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \section{Version History}\label{sec:history} +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +\subsection*{[v1.3 2024/09/25]} +\begin{itemize} + \item Added support for \verb|\label{ }| and \verb|\ref{ }| to \texttt{af} environment. + \item Added commands \verb|\AF|, \verb|\arguments|, \verb|\attacks| and \verb|\AFcomplete| to facilitate consistent naming of AFs. Have to be loaded with the package option \textsf{macros=true}. + \item Added commands \verb|\afref{ }| and \verb|\fullafref{ }| to reference AFs. + \item adjusted scaling of nodes and arrows for larger page sizes. + \item added new style options for arguments. + \item Various minor fixes and changes regarding the \textsf{namestyle} package option. +\end{itemize} \subsection*{[v1.2 2024/06/07]} \begin{itemize} |