Learn More
a r t i c l e i n f o a b s t r a c t This paper introduces the Dialogue Game Description Language (DGDL), a domain specific language for describing dialectical games. Communication is an important topic within agent research and is a fundamental factor in the development of robust and efficient multiagent systems. Similarly, argumentation has been(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)
Abstract A frequency-domain procedure for the design of sliding mode controllers for multi-input, multi-output (MIMO) systems is presented. The methodology accommodates the effects of parasitic dynamics such as those introduced by unmodeled actuators through the introduction of multiple asymptotic observers and model reference hedging. The design procedure(More)
Chris REED a 1, Simon WELLS , Katarzyna BUDZYŃSKA b,a and Joseph DEVEREUX a a School of Computing, University of Dundee, Dundee, UK b Institute of Philosophy, Cardinal Stefan Wyszynski University in Warsaw, Poland Abstract. This paper builds upon the proposed dialogical extensions to the AIF, termed AIF+, by making explicit the representation of the role of(More)
Current assessment of whether a forensic evidence item should be submitted for STR profiling is largely based on the personal experience of the Crime Scene Investigator (CSI) and the submissions policy of the law enforcement authority involved. While there are chemical tests that can infer the presence of DNA through the detection of biological stains, the(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 Hamblintype systems that has a range(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)
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)
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)