{"id":"W2146782276","doi":"10.1145/2535838.2535858","title":"Consistency analysis of decision-making programs","year":2014,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Nondeterministic algorithm; Computer science; Consistency (knowledge bases); Semantics (computer science); Ideal (ethics); Theoretical computer science; Programming language; Artificial intelligence","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.0003786214,0.00007874445,0.0002423874,0.0001976491,0.00006007253,0.00007284251,0.0005952107,0.00003935489,0.00006718648],"category_scores_gemma":[0.0002247228,0.00005555978,0.0001767101,0.001270483,0.00004676963,0.0001261927,0.0001816926,0.00003947972,0.00003711419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001009896,"about_ca_system_score_gemma":0.00002626544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001864037,"about_ca_topic_score_gemma":0.0001216491,"domain_scores_codex":[0.999117,0.00004226947,0.0002190801,0.0002582887,0.0001954069,0.0001679271],"domain_scores_gemma":[0.9988498,0.0003262457,0.0000932843,0.0005364676,0.0001410672,0.00005312687],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001423178,0.00006910392,0.02353295,0.000003888733,0.0001222649,0.000001872774,0.0003240804,0.00003931898,0.00001828382,0.3958722,0.0001303927,0.5798842],"study_design_scores_gemma":[0.0003310145,0.000253877,0.06853002,0.00006856272,0.0003445637,0.000009154777,0.0000795169,0.86992,0.0002687565,0.05215527,0.007656283,0.0003830183],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02963936,0.000065475,0.8470091,0.00002947914,0.000118577,0.00004969236,1.30064e-7,0.00009691736,0.1229913],"genre_scores_gemma":[0.8928091,0.000002302964,0.1068971,0.00006995205,0.00001567286,0.000002934601,5.815913e-7,0.000002192682,0.0002002185],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8698806,"threshold_uncertainty_score":0.2265662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01476773743699621,"score_gpt":0.2654311740886179,"score_spread":0.2506634366516217,"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."}}