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)
The Magtalo prototype environment harnesses dialogue protocols to support flexible, intuitive interaction with data in complex, contentious domains and provides mechanisms for eliciting structured knowledge. Magtalo represents the first example of an implemented online system that uses a closely specified argument-based dialogue protocol combined with a(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)
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)
This paper extends the Argument Interchange Format to enable it to represent dialogic argumentation. One of the challenges is to tie together the rules expressed in dialogue protocols with the inferential relations between premises and conclusions. The extensions are founded upon two important analogies which minimise the extra ontological machinery(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)