{"id":"W4321615342","doi":"10.56094/jss.v58i1.215","title":"Incremental Assurance Through Eliminative Argumentation","year":2023,"lang":"en","type":"article","venue":"Journal of System Safety","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Critical Systems Labs","funders":"Carnegie Mellon University; U.S. Department of Defense","keywords":"Quality assurance; Argumentation theory; Certification; Argument (complex analysis); Safety case; Plan (archaeology); Computer science; Process management; Risk analysis (engineering); Field (mathematics); Point (geometry); Operations management; Medicine; Business; Engineering; Political science; Law; Mathematics; Epistemology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000709052,0.0001686836,0.0003495722,0.0001845106,0.00005363373,0.00002579235,0.0002020456,0.00007167636,0.0000127848],"category_scores_gemma":[0.00002688769,0.000159318,0.000126775,0.0004642813,0.00001613479,0.0004361494,0.00002088705,0.0001898862,0.0001786567],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006916822,"about_ca_system_score_gemma":0.00003389984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005264892,"about_ca_topic_score_gemma":0.000001076679,"domain_scores_codex":[0.9983749,0.00005303833,0.000847038,0.00009321192,0.0003987997,0.0002330165],"domain_scores_gemma":[0.9992783,0.000156331,0.0002348978,0.0001506517,0.0001165907,0.00006321823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001013124,0.0000343734,0.001844582,0.003011839,0.0009762486,0.0003028462,0.006563229,0.9338897,0.03115081,0.005211863,0.01191342,0.004999761],"study_design_scores_gemma":[0.01261989,0.000907158,0.2629719,0.01533432,0.0005070625,0.004566763,0.0438509,0.4012865,0.07973218,0.0003161935,0.1747896,0.003117486],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.496415,0.002596494,0.4215229,0.0005436992,0.02238311,0.00144939,0.0001412349,0.003057473,0.05189067],"genre_scores_gemma":[0.9974957,0.0001009832,0.00187681,0.000007439626,0.0003940835,0.000009606687,0.000006120009,0.00004566997,0.00006360674],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5326032,"threshold_uncertainty_score":0.6496801,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01100525366762661,"score_gpt":0.2269170264081484,"score_spread":0.2159117727405218,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}