IACAS is a program written to do interactive argumentation on a computer. It allows you to start a dispute, given a number of facts, rules and cases. The program is written in LISP and is originally meant to demonstrate the theory outlined in my formal papers on defeasible argumentation.
(this is an extended abstract closely related to the material actually planned for presentation) ABSTRACT IACAS is a program written to do interactive argumentation on a computer. It allows you to start a dispute, given a number of facts, rules and cases. What is new with IACAS is that it uses the right combinatorics, and, more importantly, incorporates… (More)
This chapter is concerned with nonmonotonicity and partiality in the theory of defeasible argumentation. In this theory, a defeasible proof (or argument) establishes warrant for a conclusion only if it is not defeated by better coun-terarguments. We introduce a formal theory of argumentation, in which the notion of abstract argumentation system is… (More)
This report was written in order to complete the requirements for my Master's degree, under supervision of prof. In this report, an introspective machine, capable to pass judgement on its own deductive performances, is modelled and analyzed. First, the class of ideal machines which is provided with unlimited resources is studied. Since ideal introspective… (More)
Defeasible reasoning is concerned with the logics of non-deductive argument. As is described in the literature, the study of this type of reasoning is considerably more involved than the study of deductive argument, even so that, in realistic applications, there is often a lack of resources to perform an exhaustive analysis. It follows that, in a theory of… (More)
This paper aims to provide a collection of examples and case studies on self-modifying protocol games. It does so to achieve a better understanding of what is going on in self-regulating and self-modifying communication mechanisms. The summary aims at a gradual increasing complexity.
Argumentation Markup Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user struc-turing of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument… (More)