The need of diagrams based on Toulmin schema application: an aeronautical case study
Tóm tắt
Từ khóa
Tài liệu tham khảo
Association for the advancement of artificial intelligence: proceedings of the the AAAI spring symposium on producing cooperative explanations (1992)
Balci O (1998) Verification, validation, and accreditation. In: Proceedings of the 30th conference on Winter simulation. IEEE Computer Society Press, p 41–44
Besnard, 2008
Cassano V, Maibaum TSE (2014) The definition and assessment of a safety argument. In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops. IEEE Computer Society, p 180–185
Chandrasekaran, 1989, Explaining control strategies in problem solving, IEEE Intell Syst, 4, 19
Clarkson, 2004, Predicting change propagation in complex design, Jl Mech Design, 126, 788, 10.1115/1.1765117
Daniel, 1999, Student-sensitive multimodal explanation generation for 3D learning environments, July 18-22, 1999, 114
Defence Standard 00-56 Safety Management Requirements for Defence Systems Part 1 : Requirements, p9, section 9.1. Standard, UK Ministry of Defence (2007)
Duffau C, Polacsek T, Blay-Fornarino M (2018) Support of justification elicitation: two industrial reports. In: advanced information systems engineering-30th international conference, CAiSE 2018, Tallinn, Estonia, 2018, proceedings, Lecture notes in computer science, Springer, p 71–86
Dung, 1995, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif Intell, 77, 321, 10.1016/0004-3702(94)00041-X
Eppinger, 2016
Gönül, 2006, The effects of structural characteristics of explanations on use of a DSS, Decis Support Syst, 42, 1481, 10.1016/j.dss.2005.12.003
Goodman, 2017, European union regulations on algorithmic decision-making and a “right to explanation”, AI Mag, 38, 50
Goodwin, 2001, Wigmore’s chart method, Informal Log, 20, 223
Gordon, 2006, The carneades argumentation framework—using presumptions and exceptions to model critical questions, 195
Grangel R, Chalmeta R, Campos C (2007) A modelling framework for sharing knowledge. In: Apolloni B, Howlett RJ, Jain LC (eds) Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12–14, 2007. Proceedings, Part II, Lecture Notes in Computer Science, vol. 4693, Springer, p 1230–1237
Gray, 2017, Point-based versus set-based design method for robust ship design, Naval Eng J, 129, 83
Greenwald, 2007
Gregor, 1999, Explanations from intelligent systems: theoretical foundations and implications for practice, MIS Q, 23, 497, 10.2307/249487
GSN Community: GSN Community Standard Version 1 (2011). URL www.goalstructuringnotation.info/documents/GSN_Standard.pdf, accessed 8 Aug 2017
Harel, 1987, Statecharts: a visual formalism for complex systems, Sci Comput Progr, 8, 231, 10.1016/0167-6423(87)90035-9
Harrell, 2015, 213
International Joint Conferences on Artificial Intelligence: Proceedings of the IJCAI’93 Workshop on Explanation and Problem Solving (1993)
Systems and software engineering—systems and software assurance—part 2: assurance case. Standard, international organization for standardization (2011)
Kelly T, Weaver R (2004) The goal structuring notation/-a safety argument notation. In: Proc. of Dependable Systems and Networks 2004 Workshop on Assurance Cases
Kunz, 1970
van Lamsweerde, 2009
Lawrence M, Davies L, O’Connor M, Goodwin P (2001) Improving forecast utilization by providing explanations. In: 21st International Symposium on Forecasting, p 9–24
Le Masson, 2017, 125
MacLean, 1991, Questions, options, and criteria: elements of design space analysis, Hum Comput Interact, 6, 201, 10.1207/s15327051hci0603&4_2
Mann, 1988, Rhetorical structure theory: toward a functional theory of text organization, Text, 8, 243
Mercier, 2011, Why do humans reason? Arguments for an argumentative theory, Behav Brain Sci, 34, 5774, 10.1017/S0140525X10000968
Nunes, 2014, Pattern-based explanation for automated decisions, 669
OMG: Business Process Model and Notation (BPMN), Version 2.0 (2011). URL http://www.omg.org/spec/BPMN/2.0
Orloff, 2017, 19
Perelman, 1969
Polacsek T (2016) Validation, accreditation or certification: a new kind of diagram to provide confidence. In: 10th IEEE International Conference on Research Challenges in Information Science, RCIS, p 59–466
Polacsek T, Cholvy L (2011) A framework to report and to analyse a debate. In: Shen W, Barthès JA, Luo J, Kropf PG, Pouly M, Yong J, Xue Y, Ramos MP (eds) Proceedings of the 2011 15th international conference on computer supported cooperative work in design, CSCWD 2011, June 8-10, 2011, Lausanne, Switzerland. IEEE, p 84–90
Polacsek, 2017, Towards thinking manufacturing and design together: an aeronautical case study, 340
Prakken, 2006, Formal systems for persuasion dialogue, Knowl Eng Rev, 21, 163, 10.1017/S0269888906000865
Rahwan, 2008, Mass argumentation and the semantic web, Web Semant Sci Serv Agents World Wide Web, 6, 29, 10.1016/j.websem.2007.11.007
Reed, 2007, Argument diagramming in logic, law and artificial intelligence, Knowl Eng Rev, 22, 87, 10.1017/S0269888907001051
Rowe GWA, Reed CA, Katzav J (2003) Araucaria: Marking up argument. In: Working Notes of the European Conference on Computing and Philosophy. Glasgow, Scotland
Rumbaugh, 1999
Sharma S, Levandowski C, Molina-Cristobal A, Kipouros T, Isaksson O, Robinson T (2016) Super Integration: seeking novel valued solutions. In: European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2016)
Southwick, 1991, Explaining reasoning: an overview of explanation in knowledge-based systems, Knowl Eng Rev, 6, 1, 10.1017/S0269888900005555
Swartout, 1983, XPLAIN: A system for creating and explaining expert consulting programs, Artif Intell, 21, 285, 10.1016/S0004-3702(83)80014-9
Technical Committee: ISO/IEC JTC 1/SC 7: Systems and software engineering—system life cycle processes (2015). URL https://www.iso.org/standard/63711.html, accessed 8 Aug 2017
Toulmin, 2003
USA Department of Defense (DoD): DoD Modeling and Simulation (M and S) glossary (DoD 5000.59-m) (2007)
Verheij, 2007, Argumentation support software: boxes-and-arrows and beyond, Law Probabi Risk, 6, 187, 10.1093/lpr/mgm017
Verheij, 2009, The toulmin argument model in artificial intelligence, 219
Walton, 2007, Visualization tools, argumentation schemes and expert opinion evidence in law, Law Probab Risk, 6, 119, 10.1093/lpr/mgm033
Wei, 2016, An analysis of critical-link semantics with variable degrees of justification, Argum Comput, 7, 35, 10.3233/AAC-160003
Wingate, 2012, ’argument!’ helping students understand what essay writing is about, J Engl Acad Purp, 11, 145, 10.1016/j.jeap.2011.11.001
Ye, 1995, The value of explanation in expert systems for auditing: an experimental investigation, Expert Syst Appl, 9, 543, 10.1016/0957-4174(95)00023-2