Learn More
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a persuasion dialogue to an instance of a negotiation dialogue. The rationale for this kind of shift is explored in the context of the fallacy of bargaining. Such a dialectical shift(More)
O ver the past two decades, many online argumentation systems have emerged that support debate. Most of these have been studies in an academic laboratory, although a few of the larger-scale projects have seen real-world use. 1 More recently, the online community has shown spontaneous interest in argument, spurred perhaps by high-visibility arguments with(More)
This paper builds upon the proposed dialogical extensions to the AIF, termed AIF + , by making explicit the representation of the role of illocutionary force in the connection between argument structures and dialogical structures. Il-locutionary force is realised in the form of Illocutionary Application (YA-) nodes that provide an explicit linkage between(More)
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for the computational implementation of such a system of argumentative dialogue. This paper introduces a formal framework for the specification of Hamblin-type systems that has a(More)
This paper describes the User-Centred Design process followed within the SUPERHUB project in order to investigate requirements, elicit user feedback and refine motivational features of a mobile app fostering the adoption of sustainable behaviors for urban mobility. We report the main lessons learnt from focus groups, participatory design sessions, and(More)
The teaching of argumentation theory, argumentation skills and critical thinking has only very recently enjoyed any bespoke software support for classroom activities. As software has started to become available , it has been characterised by idiosyncratic, incompatible approaches not only to data representation and processing but also to underlying theories(More)
Presenilin1 (PSEN1) and presenilin2 (PSEN2) are involved in the processing of type-1 transmembrane proteins including the amyloid precursor protein (APP), Notch and several others. PSEN1 has been shown to be crucial for proteolytic cleavage of Notch in developing animal embryos. Mouse embryos lacking Psen1 function show disturbed neurogenesis and somite(More)