Structured argumentation for simulation-based research

作者: Teodor Ghetiu

DOI:

关键词:

摘要: Scientific research is a vanguard domain of human activity. Researchers aim for systematic, objective approach, but also pushing forward the boundaries knowledge through use ever-more advanced instruments and techniques. Computer simulations represent such scientific instruments, capable harvesting information in response to questions beyond scope traditional experimental The benefits using them must, however, be considered together with aspects that led criticism lack confidence e.g. they are difficult analyze validate, assumptions only partially managed. This thesis scopes down vast simulation-based research, agent-based studying complex systems. structured argumentation context studied as means addressing core limitations research. Goal Structuring Notation has been used effectively its originating - Safety Critical Systems similar problems Through this notation, emphasizes difficulty expressing compelling arguments, even journal publications; addition, it propose set extensions notation order adapt discourse. Finally, shows implications model rigorous, exhaustive manner, over claims can made it.

参考文章(63)
E. J. Comiskey, H. K. Luh, L. J. Gross, M. W. Berry, C. A. Abbott, Computational Models of White-Tailed Deer in the Florida Everglades University of Tennessee. ,(1995)
Adam T. Sampson, Fiona Polack, Paul S. Andrews, Mark Coles, Lisa Scott, Simulating biology: towards understanding what the simulation shows Luniver Press. ,(2008)
Oliver Will, Resolving a Replication That Failed: News on the Macy & Sato Model Journal of Artificial Societies and Social Simulation. ,vol. 12, pp. 1- 11 ,(2009)
Mary B. Hesse, Models and analogies in science ,(1970)
J. C. Helton, Uncertainty and Sensitivity Analysis for Models of Complex Systems Springer, Berlin, Heidelberg. pp. 207- 228 ,(2008) , 10.1007/978-3-540-77362-7_9
John Rushby, Formalism in Safety Cases Making Systems Safer. pp. 3- 17 ,(2010) , 10.1007/978-1-84996-086-1_1
Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon, A New Approach to creating Clear Safety Arguments Advances in Systems Safety. pp. 3- 23 ,(2011) , 10.1007/978-0-85729-133-2_1