{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005652686,0.0009459452,0.001425222,0.002483279,0.00359788,0.0102557,0.002523483,0.003138739,0.008535618],"category_scores_gemma":[0.01199853,0.000987481,0.002636734,0.002340032,0.01496247,0.03143404,0.005475817,0.007215521,0.0007990165],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002251085,"about_ca_system_score_gemma":0.001871657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005411348,"about_ca_topic_score_gemma":0.002691613,"domain_scores_codex":[0.9954206,0.001991262,0.0004261378,0.0007255494,0.000777946,0.0006584333],"domain_scores_gemma":[0.9901475,0.00738747,0.0004098125,0.00101191,0.0004530431,0.0005902187],"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.00001361751,0.00001354596,0.0001357214,0.00001966783,0.000009898156,0.00005013131,0.0005233359,0.000704658,0.00005878936,0.9961345,0.0002026312,0.002133477],"study_design_scores_gemma":[0.000006730367,0.000002836931,0.00005640225,0.000005968117,0.000009516372,0.00002292526,0.00007969527,0.001267478,0.00005716384,0.9976181,0.000866053,0.000007072771],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1775055,0.004629767,0.5387732,0.01604089,0.0003871749,0.0001854282,0.0005663186,0.000672354,0.2612393],"genre_scores_gemma":[0.9441593,0.001421321,0.04477506,0.0003991975,0.0002614989,0.0001103781,0.0003218178,0.00007239629,0.008478992],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0102557,"threshold_uncertainty_score":0.02989459,"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."}}