{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.000948261,0.0003445702,0.0003709472,0.000274113,0.0002120183,0.0002762057,0.0008628332,0.000222737,0.001138801],"category_scores_gemma":[0.0003744333,0.0003019798,0.0001280939,0.0006320362,0.00009626988,0.001176253,0.0004190125,0.0002782111,0.002275459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001741757,"about_ca_system_score_gemma":0.0001183298,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001282821,"about_ca_topic_score_gemma":0.0001106659,"domain_scores_codex":[0.9971769,0.0002800766,0.0005271683,0.0005938511,0.0003704373,0.001051589],"domain_scores_gemma":[0.9982962,0.0004175909,0.0001285092,0.0007102175,0.0001052674,0.0003422405],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00007820155,0.003068938,0.269249,0.0001077254,0.00007688881,0.00009327216,0.04899296,0.0001335553,0.0009862359,0.4509063,0.006018388,0.2202886],"study_design_scores_gemma":[0.00395023,0.0008305031,0.5626013,0.0003181866,0.00004305829,0.00006364127,0.0003608525,0.4125865,0.005831331,0.00812176,0.003642092,0.001650555],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8148413,0.000495821,0.04448417,0.0003582518,0.003322627,0.0003849902,0.000001257638,0.0001071195,0.1360045],"genre_scores_gemma":[0.9928751,0.00003878361,0.001720935,0.001019812,0.0003363356,0.00001194055,0.000003429934,0.00001579877,0.003977847],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4427845,"threshold_uncertainty_score":0.9999433,"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."}}