Switch to: References

Add citations

You must login to add citations.
  1. Computer-assisted safety argument review – a dialectics approach.Tangming Yuan, Tim Kelly & Tianhua Xu - 2015 - Argument and Computation 6 (2):130-148.
    There has been increasing use of argument-based approaches in the development of safety-critical systems. Within this approach, a safety case plays a key role in the system development life cycle. The key components in a safety case are safety arguments, which are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning in safety arguments could undermine a system's safety claims which in turn contribute to safety-related failures of the system. The review of safety arguments is therefore a crucial (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • Computational Agents as a Test-Bed to Study the Philosophical Dialogue Model "DE": A Development of Mackenzie's DC.Tangming Yuan, David Moore & Alec Grierson - 2003 - Informal Logic 23 (3):263-284.
    This paper reports research concerning a suitable dialogue model for human computer debate. In particular, we consider the adoption of Moore's (1993) utilization of Mackenzie's (1979) game DC, means of using computational agents as the test-bed to facilitate evaluation of the proposed model, and means of using the evaluation results as motivation to further develop a dialogue model, which can prevent fallacious argument and common errors. It is anticipated that this work will contribute toward the development of human computer dialogue, (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Assessing debate strategies via computational agents.Alec Grierson, David Moore & Tangming Yuan - 2010 - Argument and Computation 1 (3):215-248.
    This paper reports our research concerning dialogue strategies suitable for adoption by a human-computer debating system. We propose a set of strategic heuristics for a computer to adopt to enable it to function as a dialogue participant. In particular, we consider means of assessing the proposed strategy. A system involving two agents in dialogue with each other and a human-agent debate system are constructed and subsequently used to facilitate the evaluations. The evaluations suggest that the proposed strategy can enable the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark