{"id":"W1511767298","doi":"10.1023/a:1026761331498","title":"Ability and Knowing How in the Situation Calculus","year":2000,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":66,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; York University","funders":"","keywords":"Executable; Computer science; Plan (archaeology); Frame (networking); Artificial intelligence; Programming language; Software engineering","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.000556235,0.00008510598,0.0001095618,0.00002109926,0.0001664396,0.0001217811,0.0003619543,0.00003822634,0.00002512373],"category_scores_gemma":[0.00009976434,0.00004945413,0.00002996083,0.0002653062,0.00005909933,0.0001747795,0.00008824633,0.0001031444,0.00003532463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002301578,"about_ca_system_score_gemma":0.00002344468,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000280153,"about_ca_topic_score_gemma":0.00009289142,"domain_scores_codex":[0.9991608,0.0001554273,0.00008769003,0.0002762441,0.0001319048,0.000187926],"domain_scores_gemma":[0.9994861,0.0001680979,0.0000216572,0.0002712375,0.0000235402,0.00002931968],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0000145736,0.0004494778,0.03907232,0.00002431235,0.00002293789,0.00006925748,0.04366672,0.00004702349,0.0002505078,0.1961257,0.002769658,0.7174875],"study_design_scores_gemma":[0.0005792914,0.0001871528,0.9497229,0.00001191164,0.000008346117,0.00001730133,0.0005636452,0.004593274,0.00004190948,0.01962663,0.02440249,0.000245156],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7841108,0.00143707,0.01035339,0.005647963,0.0001688711,0.0004345178,8.541193e-7,0.0001214711,0.1977251],"genre_scores_gemma":[0.9987251,0.00007520053,0.0006913873,0.0002370799,0.00005396475,0.00001990102,5.062366e-7,0.000001612142,0.0001952659],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9106506,"threshold_uncertainty_score":0.2016681,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02141528186502651,"score_gpt":0.2447857400587642,"score_spread":0.2233704581937377,"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."}}