{"id":"W2168690391","doi":"10.5555/381473.381516","title":"A framework for multi-valued reasoning over inconsistent viewpoints","year":2001,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":157,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Viewpoints; Computer science; Negotiation; Theoretical computer science; Model checking; Temporal logic; Artificial intelligence; Machine learning","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.000735806,0.0001063199,0.0001305228,0.00006278857,0.0001195703,0.0001009927,0.0005477128,0.00008873472,0.00003897421],"category_scores_gemma":[0.0008251581,0.00009317263,0.00008029651,0.0003022746,0.00002803099,0.0004089926,0.0001445,0.000109544,0.00005735492],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005869585,"about_ca_system_score_gemma":0.00003112676,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000161738,"about_ca_topic_score_gemma":0.000004093443,"domain_scores_codex":[0.9989449,0.00007697372,0.0002297941,0.0003243172,0.0001707113,0.000253285],"domain_scores_gemma":[0.9990434,0.00007921763,0.00009814241,0.0006151167,0.00008557968,0.00007856292],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007924969,0.00004181903,0.0005599377,0.000007527428,0.000007424175,0.000001238473,0.0002088421,0.00001411568,0.00007056676,0.9738519,0.0001580404,0.02507068],"study_design_scores_gemma":[0.0003901149,0.00006085826,0.009297101,0.00005827056,0.000005763049,0.00002024755,0.00002751356,0.9567671,0.001730074,0.02461546,0.006836105,0.0001914416],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003776631,0.00006032187,0.9931139,0.0001515101,0.0005052241,0.0003171718,6.311915e-7,0.000217489,0.001857157],"genre_scores_gemma":[0.008770826,0.00001912709,0.9895605,0.0010512,0.00005716122,0.00007457795,8.768789e-7,0.000009471579,0.0004562474],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.956753,"threshold_uncertainty_score":0.379947,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1124068297188023,"score_gpt":0.3928930492158512,"score_spread":0.2804862194970489,"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."}}