The basic statement of a theory: a name such as bird, possibly negated. ArgForge never looks at what the name means, so fever and has_fever are unrelated unless a rule connects them.

Bir kuramın en temel ifadesi: bird gibi bir ad ya da onun olumsuzu. ArgForge adın ne anlama geldiğine bakmaz. Bu yüzden bir kural aralarında bağ kurmadıkça fever ile has_fever birbirinden bağımsızdır.

Writing a minus sign in front of a literal turns it into its opposite: -x means “not x”. Arguments for a literal and for its negation conflict: each attacks the other wherever the other can be attacked, at a premise or at a conclusion reached by a defeasible rule.

Bir ifadenin önüne eksi işareti koymak onu tersine çevirir: -x, “x değil” demektir. Bir ifade ile olumsuzu için kurulan argümanlar çatışır. Her biri, diğerinin saldırıya açık olduğu yerde ona saldırır: bir öncülde ya da feshedilebilir bir kuralla varılan bir sonuçta.

A fact that is taken as given but can still be challenged. An argument that rests on a premise can be attacked at that premise.

Verili kabul edilen ama yine de sorgulanabilen bir olgu. Bir öncüle dayanan argümana o öncül üzerinden saldırılabilir.

A fact that is certain.

Kesin olan bir olgu.

Leads from its antecedents to a conclusion. Several antecedents are joined with &, and every rule needs a name of its own.

Koşullarından bir sonuca götürür. Birden fazla koşul & ile birleştirilir ve her kuralın kendine ait bir adı olmalıdır.

A rule without exceptions. Its conclusion cannot be rebutted directly. Only the premises and defeasible steps it is built on can be attacked.

İstisnası olmayan kural. Sonucuna doğrudan saldırılamaz. Yalnızca dayandığı öncüllere ve feshedilebilir adımlara saldırılabilir.

A rule that holds as a rule of thumb. Its conclusion can be attacked, and so can the rule itself.

Genellikle geçerli olan, istisnaları olabilen kural. Hem sonucuna hem de kuralın kendisine saldırılabilir.

States that rule r2 is stronger than rule r1. Only defeasible rules are compared.

r2 kuralının r1'den güçlü olduğunu söyler. Yalnızca feshedilebilir kurallar karşılaştırılır.

States that premise a is more reliable than premise b.

a öncülünün b öncülünden daha güvenilir olduğunu söyler.

x attacks y, but y does not attack x. The attack lands wherever y is a premise or the conclusion of a defeasible rule, and it succeeds whatever the preferences.

x, y'ye saldırır ama y, x'e saldırmaz. Saldırı, y'nin bir öncül olduğu ya da feshedilebilir bir kuralla varıldığı her yerde gerçekleşir ve tercihler ne olursa olsun başarılı olur.

x and y rule each other out, just like x and -x. Each attacks the other wherever the other is a premise or the conclusion of a defeasible rule, and preferences decide which attacks succeed.

x ile y, tıpkı x ile -x gibi birbirini dışlar. Her biri, diğerinin öncül olduğu ya da feshedilebilir bir kuralla varıldığı yerde ona saldırır. Hangi saldırıların başarılı olacağına tercihler karar verir.

A rule that concludes -r1 says that rule r1 does not apply here. It attacks every argument that uses r1, and preferences cannot stop it.

-r1 sonucuna varan bir kural, r1 kuralının burada geçerli olmadığını söyler. r1'i kullanan her argümana saldırır ve tercihler bu saldırıyı durduramaz.

A chain of reasoning shaped like a tree: a premise or an axiom on its own, or a rule applied to arguments for each of its antecedents. Every different way of reaching a conclusion counts as a separate argument.

Ağaç biçiminde bir akıl yürütme zinciri: tek başına bir öncül ya da aksiyom veya koşullarının her biri için birer argümana uygulanmış bir kural. Bir sonuca ulaşmanın her farklı yolu ayrı bir argüman sayılır.

A literal that at least one argument concludes. The same claim can be supported by several arguments.

En az bir argümanın vardığı ifade. Aynı iddiayı birden fazla argüman destekleyebilir.

Any part of an argument that is an argument in its own right. An argument also counts as a sub-argument of itself.

Bir argümanın, kendi başına da bir argüman olan her parçası. Her argüman, kendisinin de bir alt argümanı sayılır.

Shows how an argument is put together. Here, rule r6 is applied to the arguments A2 and A3.

Bir argümanın nasıl kurulduğunu gösterir. Bu örnekte r6 kuralı, A2 ve A3 argümanlarına uygulanmıştır.

A conflict between one argument and a part of another. There are three kinds: rebutting, undermining and undercutting.

Bir argümanla başka bir argümanın bir parçası arasındaki çatışma. Üç türü vardır: sonuca saldırı, öncüle saldırı ve kurala saldırı.

Challenging the conclusion of a defeasible step. For example, an argument for -flies rebuts an argument for flies.

Feshedilebilir bir adımın sonucuna karşı çıkmak. Örneğin -flies için kurulan bir argüman, flies argümanının sonucuna saldırır.

Challenging a premise that another argument rests on.

Başka bir argümanın dayandığı öncüle karşı çıkmak.

Challenging the use of a defeasible rule by arguing that the rule does not apply in this case. Undercuts always succeed.

Feshedilebilir bir kuralın bu durumda geçerli olmadığını öne sürerek kuralın kullanılmasına karşı çıkmak. Kurala saldırılar her zaman başarılı olur.

An attack that still succeeds once preferences are taken into account. Only defeats count when extensions are computed; the red arrows in the graph are defeats.

Tercihler hesaba katıldıktan sonra da başarılı olan saldırı. Kapsamlar hesaplanırken yalnızca yenilgiler dikkate alınır. Grafikteki kırmızı oklar yenilgileri gösterir.

An attack that does not succeed because, under the chosen preferences, the attacker is weaker than the part it attacks.

Seçilen tercihlere göre saldıran taraf saldırdığı kısımdan daha zayıf olduğu için sonuç vermeyen saldırı.

Two arguments are compared by their last defeasible rules: usually the rule of the final step, or, when that step is strict, the last defeasible rules below it. If neither argument uses a defeasible rule, their premises are compared instead.

İki argüman son feshedilebilir kurallarına göre karşılaştırılır. Bu genellikle son adımın kuralıdır. Son adım katıysa onun altındaki son feshedilebilir kurallara bakılır. İkisi de feshedilebilir kural kullanmıyorsa öncüllerine bakılır.

If both arguments use only strict rules, their premises are compared. If both use only axioms, their defeasible rules are compared. Otherwise an argument counts as weaker only if both its premises and its defeasible rules are weaker. An argument is only as strong as its weakest step.

İki argüman da yalnızca katı kurallar kullanıyorsa öncülleri karşılaştırılır. İkisi de yalnızca aksiyomlara dayanıyorsa feshedilebilir kuralları karşılaştırılır. Diğer durumlarda bir argüman, ancak hem öncülleri hem de feshedilebilir kuralları daha zayıfsa daha zayıf sayılır. Bir argüman, en zayıf adımı kadar güçlüdür.

A set of rules or premises is weaker if one of its members is weaker than every member of the other set.

Bir kural ya da öncül kümesi, elemanlarından biri öteki kümenin bütün elemanlarından zayıfsa daha zayıf sayılır.

A set is weaker if each of its members is weaker than at least one member of the other set.

Bir küme, her elemanı öteki kümenin en az bir elemanından zayıfsa daha zayıf sayılır.

A set of arguments that can be accepted together.

Birlikte kabul edilebilecek argüman kümesi.

The rule that decides which sets count as extensions. Different semantics can give different answers for the same theory.

Hangi kümelerin kapsam sayılacağına karar veren kural. Aynı kuram için farklı semantikler farklı sonuçlar verebilir.

The single, most cautious extension. It accepts only what can be defended without making any choice.

Tek ve en temkinli kapsam. Yalnızca hiçbir seçim yapmadan savunulabilenleri kabul eder.

A conflict-free set that defends all of its members and also contains every argument it defends. There can be several.

Çatışmasız olan, bütün üyelerini savunan ve savunduğu her argümanı da içeren küme. Birden fazla olabilir.

A complete extension that no other complete extension contains, so it cannot be enlarged while staying complete. Several preferred extensions mean several defensible points of view.

Başka hiçbir tam kapsamın içinde kalmayan, yani tam kalarak daha fazla genişletilemeyen tam kapsam. Birden fazla tercih edilen kapsam, birden fazla savunulabilir bakış açısı olduğunu gösterir.

A conflict-free set that defeats every argument outside it. A theory may have none, for example when the defeats form a cycle of odd length that nothing outside the cycle breaks.

Çatışmasız olan ve dışında kalan her argümanı yenen küme. Bir kuramın hiç kararlı kapsamı olmayabilir. Örneğin yenilgiler, dışarıdan hiçbir şeyin bozmadığı tek uzunlukta bir döngü oluşturduğunda böyle olur.

An argument is defended by a set when every argument that defeats it is in turn defeated by a member of that set.

Bir argümanı yenen her argüman bir kümenin üyelerinden biri tarafından yeniliyorsa, o argüman bu küme tarafından savunulmuş olur.

The label of an argument in the selected extension: it is in the extension; a member of the extension defeats it; or neither.

Bir argümanın seçilen kapsamdaki etiketi: ya kapsamın içindedir, ya kapsamın bir üyesi onu yener ya da ikisi de değildir.

There is at least one extension, and every extension contains an argument for the claim, though not necessarily the same one.

En az bir kapsam vardır ve her kapsam iddia için bir argüman içerir. Bu argüman her seferinde aynı olmak zorunda değildir.

Some extensions contain an argument for the claim, but not all of them.

Kapsamların bazıları iddia için bir argüman içerir, ama hepsi değil.

In every extension, every argument for the claim is defeated by a member of that extension.

Her kapsamda, iddia için kurulan her argüman o kapsamın bir üyesi tarafından yenilir.

No extension contains an argument for the claim, but in at least one extension some argument for it is not defeated.

Hiçbir kapsam iddia için bir argüman içermez, ama en az bir kapsamda iddia için kurulan bir argüman yenilmez.

The chosen semantics has no extension at all for this theory, which can happen with stable semantics. The grounded labels are shown instead.

Seçilen semantiğin bu kuram için hiç kapsamı yoktur. Kararlı semantikte bu mümkündür. Bunun yerine temelli etiketler gösterilir.

The share of extensions that contain an argument for the claim.

İddia için bir argüman içeren kapsamların oranı.

The step in which an argument's grounded label was settled. Round 0 means that nothing defeats it. A higher round means that its label was settled only after more rounds of attack and counter-attack.

Bir argümanın temelli etiketinin hangi adımda kesinleştiğini gösterir. 0. tur, onu hiçbir şeyin yenmediği anlamına gelir. Daha yüksek bir tur, etiketinin ancak daha fazla saldırı ve karşı saldırı turundan sonra kesinleştiğini gösterir.

A score between 0 and 1 (the h-categorizer): 1 / (1 + the sum of the strengths of the arguments that defeat it). 1 means nothing defeats the argument. A single undefeated defeater brings it down to 0.5. Strength is not the same as being accepted.

0 ile 1 arasında bir puan (h-categorizer): 1 / (1 + argümanı yenenlerin güçlerinin toplamı). 1, argümanı hiçbir şeyin yenmediği anlamına gelir. Yenilmemiş tek bir yenen bu değeri 0,5'e düşürür. Güç, kabul edilmiş olmakla aynı şey değildir.