A human–computer debating system prototype and its dialogue strategies

Yuan, Tangming; Moore, David; Grierson, A. J. C.

doi:10.1002/int.20192

Cited by 10 publications

(11 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such dialogue games have received much recent interest from people working in human computer dialogue and in artificial intelligence (cf. Bench-Capon and Dunne, 2007;Reed and Grasso, 2007;Rahwan and McBurney, 2007;Yuan et al, 2007Yuan et al, , 2008.…”

Section: Dialectical Aspectsmentioning

confidence: 99%

Argument-based approach to computer system safety engineering

Yuan

Kelly

2012

IJCCBS

Self Cite

View full text Add to dashboard Cite

Safety case development is not a post-development activity, rather it should occur throughout the system development lifecycle. The key components in a safety case are safety arguments. Too often, safety arguments are constructed without proper reasoning. Inappropriate reasoning in safety arguments could undermine a system's safety claims, which in turn contributes to safety-related failures of the system. To address this, we argue that informal logic argument schemes have important roles to play in safety arguments construction and review process. Ten commonly used reasoning schemes in computer system safety domain are proposed against the safety engineering literature. The role of informal logic dialogue games in computer system safety arguments reviewing is also discussed and a dialectical model for safety argument review is proposed. It is anticipated that this work will contribute toward the development of computer system safety arguments, and help to move forward the interplay between research in informal logic and research in computer system safety engineering.

show abstract

Section: Dialectical Aspectsmentioning

confidence: 99%

Argument-based approach to computer system safety engineering

Yuan

Kelly

2012

IJCCBS

Self Cite

View full text Add to dashboard Cite

show abstract

“…Such dialogue games have received much recent interest from people working in Human Computer Dialogue and in Artificial Intelligence (cf. Bench-Capon and Dunne, 2007;Reed and Grasso, 2007;Rahwan and McBurney, 2007;Yuan et al, 2007Yuan et al, , 2008.…”

Section: Dialectical Aspectsmentioning

confidence: 99%

Argument Schemes in Computer System Safety Engineering

Yuan¹,

Kelly²

2011

Self Cite

View full text Add to dashboard Cite

Abstract:In this paper, we argue that informal logic argument schemes have important roles to play in safety argument construction and reviewing process. Ten commonly used reasoning schemes in computer system safety domain are proposed. The role of informal logic dialogue games in system safety arguments reviewing is also discussed and our intended work in this area is proposed. It is anticipated that this work will contribute toward the development of safety arguments and help to move forward the interplay between research in informal logic and research in computer system safety engineering.Resumé: Dans cet article nous soutenons que les schèmes de la logique non formelle jouent des rôles importants dans la construction d'arguments employés dans des systèmes de sécurité en informatique. Nous décrivons dix de ces schèmes de raisonnement qui sont couramment utilisés. Nous discutons du rôle des jeux de dialogue en logique non formelle joué dans ces systèmes, et de nos travaux prévus dans ce domaine. Nous anticipons que ces travaux contribueront à l'élaboration de ces types d'arguments et à l'interaction entre la recherche dans la logique non formelle et la recherche dans les systèmes de sécurité en informatique.

show abstract

“…One such game, for example, is ‘DC’ (Mackenzie, 1979), a system that has received much attention as a vehicle for interactive computer systems (e.g. Moore & Hobbs, 1996; Amgoud et al , 2000; Maudet & Moore, 2001; Yuan et al ., 2007a, 2008; Reed & Wells, 2007). The system allows five move types: statement (‘P’, ‘Q’, etc., and their truth functional compounds), withdrawals (e.g.…”

Section: Basics Of Informal Logicmentioning

confidence: 99%

Informal logic dialogue games in human–computer dialogue

Yuan

Moore

Reed

et al. 2011

The Knowledge Engineering Review

Self Cite

View full text Add to dashboard Cite

Informal logic (IL) is an area of philosophy rich in models of communication and discourse with a heavy focus on argument and ‘dialogue games’. Computational dialectics is a maturing strand of research that is focused on implementing these dialogue games. The aim of this paper is to review research on applying IL dialogue games into human–computer dialogue design. We argue that IL dialogue games tend to have a number of attractive properties for human computer dialogue and that their computational utilization in this area has been increasing recently. Despite the strength of the case for IL, a number of important barriers need to be overcome if the potential of IL is to be fulfilled. These barriers are examined and means of overcoming them discussed.

show abstract

A human–computer debating system prototype and its dialogue strategies

Cited by 10 publications

References 18 publications

Argument-based approach to computer system safety engineering

Argument-based approach to computer system safety engineering

Argument Schemes in Computer System Safety Engineering

Informal logic dialogue games in human–computer dialogue

Contact Info

Product

Resources

About