---
title: 'T-AIF: Trichotomic Argument Interchange Format'
url: https://www.emergentmind.com/topics/trichotomic-argument-interchange-format-t-aif
type: topic
---

# T-AIF: Trichotomic Argument Interchange Format

The Trichotomic Argument Interchange Format (T-AIF) is a formal, graph-based argumentation representation model that captures all three Aristotelian aspects of argument—Logos (reasoning), Ethos (credibility), and Pathos (emotional/strategic commitment)—within a single structured framework. Extending the Argument Interchange Format (AIF) and its variants, T-AIF enables fine-grained modeling of argument content, speakers, trust relationships, and expressive commitment levels, supporting both rich interactional and computational analysis of argumentation [1812.06745].

## 1. Graph-Theoretic Meta-Model

T-AIF encodes argumentation as a directed, labeled multi-graph
\[ G = (V, E, \tau_V, \tau_E) \]
where:
- \(V\): node set, partitioned by node type;
- \(E \subseteq V \times V\): edge set;
- \(\tau_V: V \rightarrow \mathrm{NodeType}\): node type assignment;
- \(\tau_E: E \rightarrow \mathrm{EdgeType}\): edge type assignment.

### Node Types

| Node Type | Denotation     | Description                                          |
|-----------|---------------|------------------------------------------------------|
| E-nodes   | "Entities"    | Agents, speakers, organizations                      |
| L-nodes   | "Locutions"   | Raw utterances or dialogue turns                     |
| I-nodes   | "Illocutions" | Logical proposition content conveyed by L-nodes      |
| SA-nodes  | "Scheme App." | Applications of argument, conflict, or dialogue move |

SA-nodes further specialize into RA-nodes (Rule Application), CA-nodes (Conflict Application), PA-nodes (Preference Application), TA-nodes (Transition Application), and YA-nodes (Illocutionary Force).

### Edge Types

| Edge Type           | Source        | Target           | Weight  | Role                                                                               |
|---------------------|--------------|------------------|---------|------------------------------------------------------------------------------------|
| reply               | L-node       | L-node           | no      | Dialogue turn structure                                                            |
| illocutionary (YA)  | L-node       | I-node           | no      | Links utterances to their propositional content (illocutionary force)              |
| scheme-premise/exc. | I-node/SA    | SA-node/I-node   | no      | Mapping premises/exceptions to scheme apps and conclusions                         |
| trust               | E-node       | E-node           | yes     | Weighted trust (\( \tau(x, y) \in [0, 1] \))                                       |
| commitment          | E-node       | I-node           | yes     | Weighted degree of actor’s commitment (\( c(x, p) \in [0, 1] \))                   |

## 2. Modeling Logos: Propositional and Structural Layer

Logos is modeled by AIF+ style networks connecting I-nodes (propositional content) via scheme applications and inference/attack/preference relations. Central definitions include:

### Propositional and Scheme Infrastructure

- \(P_i\): set of illocutionary propositions (I-nodes)
- \(S = S_{att} \cup S_{sup}\): set of atomic schemes (attack/support)
- \(as(s), es(s)\): arity and exception arity of scheme \(s\)
- \(I_s \subseteq P_i^{as(s)} \times P_i^{es(s)} \times P_i\): admissible groundings (which premises/exceptions yield which conclusion)
- \(\sigma_s : [0,1]^{as(s)} \times [0,1]^{es(s)} \times [0,1] \rightarrow [0,1]\): fuzzy scheme interpretation

The Trichotomic Argumentation Framework (T-AF) is
\[
\text{T-AF} = (P_i, S, as, es, (I_s)_{s \in S}, (\sigma_s)_{s \in S})
\]
with semantics allowing for graded evaluations across attacks, supports, and scheme instantiations.

### Example: “Position to Know” Scheme

Argumentative schemes can be defined with custom σ-functions. For instance, the "Position to Know" uses
\[
\sigma(p_1, p_2, p_3; c) = (p_1 \otimes p_2 \otimes p_3) \rightarrow c
\]
where \(\otimes\) is fuzzy conjunction and \(\rightarrow\) is fuzzy implication, following Łukasiewicz semantics [1812.06745].

## 3. Ethos: Trust Networks Among Entities

Ethos is represented explicitly as a network of directed, weighted “trust” relations among E-nodes:
\[
\tau: E \times E \rightarrow [0, 1]
\]
where \( \tau(x, y) \) encodes the degree to which actor \( x \) trusts actor \( y \).

### Trust as Propositions and Aggregation

Each E-node may be viewed as a proposition (“\( y \) is credible”). Trust can be injected into semantic labelings for reasoning consistency (via \(O_x(y, l(y))\)). For indirect trust (e.g., trust across intermediaries), path-based aggregation such as
\[
\tau^*(x, z) = \max_{\pi\,:\,x \to \cdots \to z} \min_{(u \to v)\,\in\,\pi} \tau(u,v)
\]
extracts the strongest bottleneck path.

## 4. Pathos: Commitment and Emotional Investment

Pathos is encoded as weighted “commitment” edges from each E-node (actor) to every I-node (proposition):
\[
c: E \times P_i \rightarrow [0, 1]
\]
where \(c(x, p)\) represents the degree of emotional or strategic commitment by \(x\) to proposition \(p\).

This layer enables formal modeling of different levels of actor investment, supporting fine-grained analysis of argumentation dynamics and actor motivation.

## 5. Unified Graph Model

Bringing together all modalities, the T-AIF unified graph comprises:
\[
G = (E \cup L \cup I \cup SA,\, E_d \cup E_s \cup E_t \cup E_c \cup E_k)
\]

| Component  | Description                                                        |
|------------|--------------------------------------------------------------------|
| E          | Entities (agents, speakers)                                        |
| L          | Locutions (utterances)                                             |
| I          | Illocutions (propositions)                                         |
| SA         | Scheme applications (RA, CA, PA, TA, YA)                           |

Edge sets:
- \(E_d\): reply (L × L)
- \(E_s\): illocutionary (L × I)
- \(E_t\): scheme premises/exceptions (I × SA × {premise, exception})
- \(E_k\): scheme conclusions (SA × I)
- \(E_c\): trust (E × E, weighted)
- \(E_k\): commitment (E × I, weighted)

An illustrative fragment (Brexit debate): an E-node [Entity B] has trust weight 0.8 to another speaker, and a commitment weight \(c(B, "Brexit") = 0.8\) to the proposition "Brexit" [1812.06745].

## 6. Semantics and Reasoning Patterns

T-AIF defines a graded, fuzzy extension of Dung-style semantics for the evaluation of arguments and commitments:
- Each proposition \(p\) receives a real-valued label \(l(p) \in [0, 1]\).
- Each entity \(x\) has a belief predicate \(O_x(p, \ell)\) quantifying the agreement between its own trust or commitment and the system labeling.

### Attack, Support, and Labeling

Attack and support for proposition \(p\) under labeling \(l\) are defined as
\[
\begin{aligned}
\Att_l(p) &= \bigvee_{s \in S_{att}} \bigvee_{(\bar{q},\_, p) \in I_s} \Bigl( \bigwedge_{i=1}^{as(s)} l(q_i) \land \bigwedge_{j=1}^{es(s)} (1 - l(e_j)) \Bigr), \\
\Sup_l(p) &= \bigvee_{s \in S_{sup}} \bigvee_{(\bar{q},\_, p) \in I_s} \Bigl( \bigwedge_{i=1}^{as(s)} l(q_i) \land \bigwedge_{j=1}^{es(s)} (1 - l(e_j)) \Bigr).
\end{aligned}
\]
Defense, consistency, admissibility, completeness, groundedness, and preferred labelings are established analogously with fuzzy logic extensions [1812.06745].

### Actor-Specific Criteria and Metrics

Trichotomic extensions introduce further metrics:
- **Similarity** of actors (\(\Sim(x, y)\)) via comparison of their labeling agreement,
- **Agreement** (\(\Ag(l,x)\)), **Rationality** (\(\Ra(x)\)), **Justified Trust** (\(\Jt(x)\)), and **Trust Compliance** (\(\Tc(l, x)\)), all defined via logical and fuzzy quantifiers.

A trust-sensitive evaluation procedure iterates on initial labels given by an actor’s commitments, updating via attack/support propagation, and measures compliance as a function of the above criteria.

## 7. Applications and Profiling

The multi-layered T-AIF representation supports diverse applications:
- **Per-actor argumentation profiles**: Rationality metrics, trust-compliance, and commitment tracking for each participant.
- **Community structure**: Actor similarity metrics (\(\Sim(x, y)\)) enable clustering and detection of trust networks and echo chambers.
- **Emotion- and source-aware recommendations**: Pathos-driven tailoring of argument summaries, source evaluation, and identification of Ethos-based fallacies (e.g., Ad Hominem).
- **Automated NLP-driven mining**: Guiding natural language pipelines for extracting utterances (L-nodes), content (I-nodes), and quantifying argument, trust, and emotion from real-world data (such as social media).
- **Customizable summaries**: Trust-sensitive and commitment-sensitive debate presentations.

*These capabilities position T-AIF as a formalism for both theoretical analysis and computational reasoning in multi-agent, socially-embedded, and affect-laden argumentation contexts* [1812.06745].

Source: https://www.emergentmind.com/topics/trichotomic-argument-interchange-format-t-aif