{"id":"W7124176885","doi":"10.65109/tpeg1413","title":"On supervising agents in situation-determined ConGolog","year":2012,"lang":"","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; York University","funders":"","keywords":"Supervisor; Intersection (aeronautics); Action (physics); Set (abstract data type); Remainder","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.002800397,0.0004113492,0.0003925165,0.0005622135,0.0007357197,0.001231035,0.001185894,0.0007580691,0.001482159],"category_scores_gemma":[0.00693608,0.0004756316,0.0006987972,0.0003776502,0.004130781,0.002734923,0.002468464,0.001648624,0.0002244482],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157854,"about_ca_system_score_gemma":0.001049275,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00250365,"about_ca_topic_score_gemma":0.003159426,"domain_scores_codex":[0.9980946,0.0007995167,0.00009863506,0.0003863529,0.0003897377,0.0002310404],"domain_scores_gemma":[0.9956423,0.002484359,0.0005134955,0.0007421821,0.0003588496,0.0002589133],"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.0003222415,0.0002033441,0.003845832,0.0001696717,0.0000591201,0.0008866809,0.003509312,0.1421772,0.0166426,0.7890793,0.0007024673,0.04240227],"study_design_scores_gemma":[0.00007711176,0.0001912444,0.0009087836,0.00004970232,0.00005973243,0.000187468,0.0004982388,0.4489745,0.0149247,0.5258967,0.008176437,0.00005538257],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1256226,0.0001248449,0.8639798,0.0003318611,0.00001565845,0.00009240217,0.00005335846,0.0007072896,0.009072101],"genre_scores_gemma":[0.7455617,0.0001375546,0.250225,0.0001591967,0.00002828901,0.0001877314,0.0001350978,0.0001671893,0.003398323],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002800397,"threshold_uncertainty_score":0.01481009,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05686054684826477,"score_gpt":0.2966528136110415,"score_spread":0.2397922667627767,"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."}}