This paper reports progress in realizing human-agent argumentation, which we argue will be part of future Computer-Supported Collaborative Argumentation (CSCA) tools. With a particular interest in argument mapping, we present two investigations demonstrating how a particular agent-oriented language and architecture can augment CSCA: (i) the use of the IBIS formalism enabling Brahms agents to si...

Rapid growth in the area of argument mining has resulted in an ever increasing volume of analysed argument data. Being able to store information about arguments people make in favour or against different opinions, decisions and actions is a highly valuable resource, yet extremely challenging for sense-making. How, for example, can an analyst quickly check whether in a corpus of citizen dialogue...

This paper presents our efforts to create argument structures from meeting transcripts automatically. We show that unit labels of argument diagrams can be learnt and predicted by a computer with an accuracy of 78,52% and 51,43% on an unbalanced and balanced set respectively. We used a corpus of over 250 argument diagrams that was manually created by applying the Twente Argument Schema. In this ...

A theory of defeasible arguments is proposed that combines logical and probabilistic properties. This logico-probabilistic argumentation theory builds on two foundational theories of nonmonotonic reasoning and uncertainty: the study of nonmonotonic consequence relations (and the associated minimal model semantics) and probability theory. A key result is that, in the theory, qualitatively define...

Inclusion diagrams are introduced as an alternative to using Venn diagrams to determine the validity of categorical syllogisms, and are used here for the analysis of diverse categorical syllogisms. As a preliminary example of a possible generalization of the use of inclusion diagrams, consideration is given also to an argument that includes more than two premises and more than three terms, the ...

I make a case to abandon the use of term “ground truth.” After brief history that indicates its military origins, two main arguments are presented against term. The first is from measurement theory. second by way presenting three examples: in crop mapping, which truth” may have some validity. This as exception prove rule. example looks at albedo, measurand same for local and remote measurements...

Edward Said is regarded as the originator of colonial discourse theory. He deploys Michel Foucault’s notion of discourse to accomplish his project in Orientalism and emphasizes Foucault’s notion of discourse and its relation to power, rendering discourse a carceral system. Although Said explicitly expresses the similarity between Orientalism and Foucault’s discourse theory, it seems he...

Extended Abstract Process verification is a key step in business process management. In this paper, we propose process logic as a new logical formalism and mathematical method to enable advanced process verification. We formally define the syntax and semantics of process logic, establish a formal relationship between process logic and graphical representation of process models, and transform th...

We provide yet another proof of the Otto-Villani theorem from the log Sobolev inequality to the Talagrand transportation cost inequality valid in arbitrary metric measure spaces. The argument relies on the recent development [2] identifying gradient flows in Hilbert space and in Wassertein space, emphasizing one key step as precisely the root of the Otto-Villani theorem. The approach does not r...

We derive a posteriori error estimates for nonconforming discretizations of Poisson's and Stokes' equations. The estimates are residual based and make use of weight factors obtained by a duality argument. Crouzeix-Raviart elements on triangles and rotated bilinear elements are considered. The quadrilateral case involves the introduction of additional local trial functions. We show that their in...