I detta dokument diskuteras experimentella argumenteringsverktyg. I motsats till automatiserade resonemang är syftet inte att ersätta resonemanget, utan att vägleda användarens framställning av argument. Två system är presenterade, ARGUE! och ARGUMED baserat på DEFLOG. Fokus ligger på defeasible argumentation med ett öga på lagen. Argumentassistenter för vanhedrande argumentation motsvarar naturligtvis en syn på lagens tillämpning som dialektisk teorikonstruktion. Experimenten ger insikter i utformningen av argumentassistenter, och visar för- och nackdelar med olika sätt att representera argumenterande data. Utvecklingen av de argumentationsteorier som ligger till grund för systemen har kulminerat i det logiska system DEFLOG som formaliserar tolkningen av prima facie motiverade antaganden. DEFLOG introducerar en innovativ användning av villkor som uttrycker stöd och angrepp. Detta gör det möjligt att uttrycka häktningsorder för stöd och angrepp, vilket gör det till ett öppet och flexibelt system för obesegrad argumentation.
I REF presenteras ett antal intressanta verktyg för argumenteringsstöd.
Artificial argument assistants for defeasible argumentation
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}