contrast to Kahneman–formally specified frameworks and not humans, we are able to use formal methods in our evaluations. Thereby, our focus lies on an artificial intelligence method that can, as described above, be traced to the ideas of Leibniz, and that should, as a tool to objectively resolve disagreements, ideally reflect the principles of rational economic decision-making.

Theoretical Background {#background}
======================

This section introduces the foundations upon which this paper builds: the *rational man* paradigm in economic theory and abstract argumentation frameworks, in particular argumentation semantics and principles.

The Rational Economic Man Paradigm
----------------------------------

As a prerequisite, we introduce a definition of a partially ordered set [@DavPri02].

Let ${\cal Q}$ be a set. An order (or partial order) on ${\cal Q}$ is a binary relation $\succeq$ on ${\cal Q}$ such that, for all $x,y,z
    \in {\cal Q}$:

1.  $x \succeq x$ (reflexivity);

2.  $x \succeq y$ and $y \succeq x$ imply $x = y$ (antisymmetry);

3.  $x \succeq y$ and $y \succeq z$ imply $x \succeq z$ (transitivity).

We refer to a set ${\cal Q}$ that is equipped with an order relation $\succeq$ as an *ordered set* (or partial ordered set) and denote it by $({\cal Q}, \succeq)$. In economic 