{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0109428,0.0007520359,0.001138137,0.002579899,0.00125894,0.003616467,0.002819557,0.001329564,0.003043617],"category_scores_gemma":[0.05147613,0.0008964681,0.001817763,0.00198917,0.004142597,0.004326195,0.002440737,0.003152551,0.0003464803],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002750932,"about_ca_system_score_gemma":0.003710964,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003391662,"about_ca_topic_score_gemma":0.001684101,"domain_scores_codex":[0.9861606,0.004974655,0.0008980785,0.002069145,0.004799896,0.001097502],"domain_scores_gemma":[0.9376591,0.04749043,0.003503069,0.004055505,0.006473797,0.0008179815],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000409069,0.0001463746,0.005566935,0.0003343564,0.0002516781,0.0004422901,0.0008951449,0.179148,0.002545929,0.76838,0.001828346,0.04005186],"study_design_scores_gemma":[0.00006020338,0.00004958811,0.0005055394,0.0000499146,0.00006249722,0.00007430086,0.0001009116,0.3691749,0.002845693,0.6248305,0.002222736,0.00002304549],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05899418,0.0003062073,0.9332983,0.0009913351,0.00004102654,0.0001903238,0.0003976061,0.0006407613,0.005140324],"genre_scores_gemma":[0.7412909,0.0002734267,0.2535746,0.0002941544,0.0001515236,0.0004823029,0.001119905,0.0002996944,0.002513497],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0109428,"threshold_uncertainty_score":0.05787176,"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."}}