What is ArgForge?ArgForge nedir?

ArgForge is a computational argumentation interface based on the ASPIC+ framework for structured argumentation. It lets you examine the arguments that support or oppose a claim. Once premises, rules, preferences and conflicts are defined, it helps you see how arguments are built, which attacks succeed, and why claims are accepted under the settings you have chosen.ArgForge, ASPIC+ yapılandırılmış argümantasyon çerçevesine dayanan, bir iddiayı destekleyen veya ona karşı çıkan argümanları incelemenizi sağlayan bir hesaplamalı argümantasyon arayüzüdür. Öncüller, kurallar, tercihler ve çatışmalar tanımlandığı takdirde argümanların nasıl kurulduğunu, hangi saldırıların başarılı olduğunu ve seçilen ayarlarda iddiaların neden kabul edildiğini görmenize yardımcı olur.

In ArgForge you can write your own theory, explore the ready-made examples, or generate a theory with the features you choose. You can see how arguments are built, how they attack one another and which attacks succeed. The summaries of claim statuses and the explanations help you understand the results of the settings you have chosen.ArgForge içerisinde kendi kuramınızı yazabilir, hazır örnekleri inceleyebilir veya seçtiğiniz özelliklere göre bir kuram oluşturabilirsiniz. Argümanların nasıl kurulduğunu, birbirlerine nasıl saldırdığını ve hangi saldırıların başarılı olduğunu görebilirsiniz. İddiaların durumunu özetleyen bilgiler ve açıklamalar seçtiğiniz ayarların sonuçlarını anlamanıza yardımcı olur.

What happens when a theory is evaluated?Bir kuram değerlendirilirken neler olur?

Each evaluation consists of six steps:Her değerlendirme altı adımdan oluşur:

1. The theory is read. Syntax and names are checked. If you wish, the contrapositives of strict rules are added.Kuram okunur. Yazım kuralları ve adlar denetlenir. İsterseniz katı kuralların ters yönlü hâlleri de eklenir.
2. Arguments are built. Every way of reaching a conclusion from the premises through the rules is a separate argument.Argümanlar kurulur. Öncüllerden başlayıp kurallar üzerinden bir sonuca varan her yol ayrı bir argümandır.
3. Attacks are found. An argument can attack another one at a premise, at a conclusion it draws, or at a rule it uses.Saldırılar bulunur. Bir argüman, başka bir argümana öncüllerinden, vardığı bir sonuçtan ya da kullandığı bir kuraldan saldırabilir.
4. Preferences come in. In attacks that depend on preferences, the attack fails when the attacker is the weaker side. Attacks that succeed are called defeats.Tercihler devreye girer. Tercihe bağlı saldırılarda saldıran taraf daha zayıfsa saldırı başarısız olur. Başarılı saldırılara yenilgi denir.
5. A semantics is applied. The sets of arguments that can be accepted together, the extensions, are found.Bir semantik uygulanır. Birlikte kabul edilebilecek argüman kümeleri, yani kapsamlar bulunur.
6. Claims are reported. Each claim is marked justified, defensible, overruled or undecided, and the reason is explained.İddialar raporlanır. Her iddia gerekçelendirilmiş, savunulabilir, reddedilmiş ya da kararsız olarak işaretlenir ve bunun nedeni açıklanır.

The theoretical foundations of ArgForgeArgForge'un kuramsal temelleri

Abstract argumentation. In Dung's (1995) framework, arguments are shown as nodes and attacks as directed arrows. Different semantics determine which sets of arguments can be accepted together. The grounded, complete, preferred and stable semantics come from this framework. In ArgForge these semantics are computed not over all attacks but over the successful ones.Soyut argümantasyon. Dung'un (1995) çerçevesinde argümanlar düğümlerle, saldırılar ise yönlü oklarla gösterilir. Farklı semantikler hangi argüman kümelerinin birlikte kabul edilebileceğini belirler. Temelli, tam, tercih edilen ve kararlı semantikler bu çerçeveden gelir. ArgForge'da bu semantikler tüm saldırılar üzerinden değil, başarılı saldırılar üzerinden hesaplanır.

Structured argumentation with ASPIC+. ASPIC+ makes explicit which premises and inference rules an argument relies on. It distinguishes attacks on premises, on conclusions reached by defeasible rules, and on the defeasible rules themselves. For attacks where preferences matter, whether the attack succeeds is decided by those preferences. Following the corrected definitions in the work of Modgil and Prakken, ArgForge uses the last-link and weakest-link argument orderings together with the elitist and democratic set orderings.ASPIC+ ile yapılandırılmış argümantasyon. ASPIC+, bir argümanın hangi öncüllere ve çıkarım kurallarına dayandığını açıkça gösterir. Öncüllere, feshedilebilir kurallarla ulaşılan sonuçlara ve feshedilebilir kuralların kendisine yönelik saldırıları birbirinden ayırır. Tercihin etkili olduğu saldırılarda saldırının başarılı olup olmayacağı bu tercihlere göre belirlenir. ArgForge, Modgil ve Prakken'in çalışmalarındaki düzeltilmiş tanımları izleyerek son halka ve en zayıf halka argüman sıralamalarını, elitist ve demokratik küme sıralamalarıyla birlikte kullanır.

Rationality postulates. Caminada and Amgoud (2007) propose conditions for evaluating argumentation systems, such as consistency and closure under strict rules. Closure means that the accepted conclusions also include what the strict rules require. ASPIC+ satisfies these postulates when the theory and the argument preferences meet certain conditions.Rasyonellik postülatları. Caminada ve Amgoud (2007), argümantasyon sistemlerini değerlendirmek için tutarlılık ve katı kurallara göre kapalılık gibi koşullar önerir. Kapalılık, kabul edilen sonuçların katı kuralların gerektirdiği sonuçları da içermesi demektir. ASPIC+, kuram ve argüman tercihleri belirli koşulları sağladığında bu postülatları karşılar.

Argument scores. ArgForge uses the h-categorizer measure of Besnard and Hunter (2001) to compute scores over the graph of successful attacks. These scores offer an additional perspective for examining the graph.Argüman puanları. ArgForge, başarılı saldırı grafiği üzerinden puan hesaplamak için Besnard ve Hunter'ın (2001) h-categorizer ölçüsünü kullanır. Bu puanlar grafiği incelemek için ek bir bakış açısı sunar.