Question 1

What is truth verification?

Accepted Answer

Truth verification is the systematic process of evaluating claims using formal methods. TruthGraph uses argumentation networks to model claims as nodes and their relationships as edges, then computes which claims are defensible, which are defeated, and which remain undecided.

Question 2

What are the six verification layers?

Accepted Answer

TruthGraph uses six verification layers: (1) Scope and Constraints for defining the problem, (2) World Traditions for framework context, (3) Temporal Classification for labelling arguments, (4) Cross-Cultural Mapping for argumentation semantics, (5) Timeline Explorer for sandbox experimentation, and (6) The Vision for real-world applications.

Question 3

What are the three truth labels?

Accepted Answer

TruthGraph uses three-valued truth labels based on Dung semantics: 'IN' (accepted - all attackers are defeated), 'OUT' (rejected - has an accepted attacker), and 'UNDECIDED' (status cannot be determined). This three-valued approach is more rigorous than forcing binary true/false when evidence is insufficient.

Question 4

What is an argumentation network?

Accepted Answer

An argumentation network is a visual graph showing how arguments relate to each other. Nodes represent claims, and directed edges represent attacks (contradictions). The network reveals the structure of any debate and enables formal computation of which arguments survive scrutiny using Dung's grounded, preferred, or stable semantics.

Question 5

What is Abstract Argumentation Framework (AAF)?

Accepted Answer

Abstract Argumentation Framework (AAF), introduced by Phan Minh Dung in 1995, represents arguments as nodes and attacks as directed edges. It provides a formal way to model conflicting arguments and compute which arguments are acceptable based on various semantics including grounded, preferred, and stable extensions.

Question 6

What are Labelled Deductive Systems (LDS)?

Accepted Answer

Labelled Deductive Systems (LDS), developed by Dov Gabbay, attach labels to logical formulas to track proof context, assumptions, and derivation history. In argumentation, this allows assigning each argument a status: IN (accepted), OUT (rejected), or UNDECIDED (neither clearly accepted nor rejected).

Question 7

What interactive tools does TruthGraph provide?

Accepted Answer

TruthGraph provides eight interactive educational tools: Argument Graph Builder for creating attack/support networks, Logic Puzzle Game for deductive reasoning practice, Truth Table Generator for propositional logic, Syllogism Validator for Aristotelian logic, Claim Builder for constructing arguments, Attack/Support Visualizer, EEAT Evaluator for source credibility, and Truth Tracker for provenance chains.

Question 8

What is grounded semantics?

Accepted Answer

Grounded semantics provides the most skeptical approach to argument acceptance. It computes the minimal set of arguments that must be accepted - only those arguments that have no attackers or whose attackers are all defeated. The grounded extension is always unique, making it ideal for cautious reasoning.

TruthGraph: Formal Truth Verification Platform