Representing and appraising Toulmin model arguments in trust cases - Publikacja - MOST Wiedzy

Wyszukiwarka

Representing and appraising Toulmin model arguments in trust cases

Abstrakt

The paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.

Cytuj jako

Pełna treść

pobierz publikację
pobrano 40 razy
Wersja publikacji
Accepted albo Published Version
Licencja
Copyright (2008 The authors and IOS Press)

Słowa kluczowe

Informacje szczegółowe

Kategoria:
Aktywność konferencyjna
Typ:
publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
Tytuł wydania:
The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence strony 26 - 30
Rok wydania:
2008
Opis bibliograficzny:
Górski J., Cyra Ł., Jarzębowicz A., Miler J.: Representing and appraising Toulmin model arguments in trust cases// The 8th International Workshop on Computational Models of Natural Argument (CMNA 8), Monday July 21, 2008, Patras, Greece : 18th European Conference on Artificial Intelligence/ ed. Floriana Grasso [et al.]. [Patras, Greece: University of Patras], 2008, s.26-30
Bibliografia: test
  1. Ministry of Defence Directorate of Standardisation. Defence Standard 00-55 Issue 2: The procurement of safety critical software in defense systems. otwiera się w nowej karcie
  2. Railways (Safety Case) Regulations 2000 Health and Safety Executive. otwiera się w nowej karcie
  3. R. Maguire, Safety cases and safety reports, Ashgate Publishing Ltd., UK, 2006. otwiera się w nowej karcie
  4. P. Bishop, R. Bloomfield, A Methodology for Safety Case Development, Safety-Critical Systems Symp, Birmingham, 1998. otwiera się w nowej karcie
  5. T. Kelly, Arguing Safety -A Systematic Approach to Managing Safety Cases, PhD Thesis, University of York, 1998. otwiera się w nowej karcie
  6. J. Górski, A. Jarzębowicz, R. Leszczyna, J. Miler, M. Olszewski, 'Trust Case: justifying trust in an IT solution', Reliability Engineering and System Safety, Vol. 89 (2005), pp. 33-47. otwiera się w nowej karcie
  7. J. Górski, Trust-IT -a framework for trust cases, Workshop on Assurance Cases for Security -The Metrics Challenge, DSN 2007 The 37th Annual IEEE/IFIP Intern. Conf. on Dependable Systems and Networks, June 25 -28, Edinburgh, UK, 2007.
  8. L. Strigini, Formalism and Judgement in Assurance Cases, DSN 2004 Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy 2004.
  9. S. Toulmin, The Uses of Argument, Cambridge University Press, 1958, Updated Edition, 2003.
  10. J. Katzav, C. Reed, 'On Argumentation Schemes and the Natural Classification of Arguments', Argumentation 18 (2), 2004, pp. 239-259. otwiera się w nowej karcie
  11. H. Prakken, AI & Law, Logic and Argument Schemes, International Congress of Comparative Cultures and Legal Systems, Mexico City, 2004. otwiera się w nowej karcie
  12. D. Walton, 'Justification of Argument Schemes', Australasian Journal of Logic, 3, 2005, pp. 1-13. otwiera się w nowej karcie
  13. D. Walton, Fundamentals of Critical Argumentation, Cambridge University Press, 2005
  14. PIPS project website -http://www.pips.eu.org otwiera się w nowej karcie
  15. Ł. Cyra, J. Górski, Supporting expert assessment of argument structures in trust cases, 9 th International Probabilistic Safety Assessment and Management Conference, Hong Kong, 2008. otwiera się w nowej karcie
  16. Ł. Cyra, J. Górski, Expert assessment of arguments: a method and its experimental evaluation, Safecomp 2008, Newcastle, 2008 (accepted). otwiera się w nowej karcie
  17. A. Josang, T. Grandison, Conditional Inference in Subjective Logic, proc. 6 th International Conference on Information Fusion, Cairns, Australia 2003. otwiera się w nowej karcie
  18. Ł. Cyra, J. Górski, Supporting compliance with safety standards by trust case templates, p;roc. ESREL 2007, Stavanger, Norway, 2007. otwiera się w nowej karcie
  19. Information Assurance Group homepage -http://iag.pg.gda.pl/iag/ otwiera się w nowej karcie
Weryfikacja:
Politechnika Gdańska

wyświetlono 108 razy

Publikacje, które mogą cię zainteresować

Meta Tagi