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)
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)
  • David Aikman, Piergiorgio Alessandri, Bruno Eklund, Prasanna Gai, Sujit Kapadia, Elizabeth Martin +74 others
  • 2009
We demonstrate how the introduction of liability-side feedbacks affects the properties of a quantitative model of systemic risk. The model is known as RAMSI and is still in its development phase. It is based on detailed balance sheets for UK banks and encompasses macro-credit risk, interest and non-interest income risk, network interactions, and feedback(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)
  • Paula J Forbes, Simon Wells, Judith Masthoff, Hien Nguyen
  • 2012
The SUPERHUB project (SUstainable and PERsuasive Human Users moBility in future cities) promotes the creation of a new urban mobility services ecosystem to facilitate the take-up of environmentally sustainable behaviours. It will design and test an open platform able to combine in real time all mobility offers from the relevant stakeholders together with a(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)