{"id":"W1977208552","doi":"10.1145/383779.383780","title":"On knowledge-based programming with sensing in the situation calculus","year":2001,"lang":"en","type":"article","venue":"ACM Transactions on Computational Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":88,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Computer science; Interpreter; Situation calculus; Modality (human–computer interaction); Artificial intelligence; Programming language; Mathematics","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.003224055,0.001268215,0.0008777254,0.001119182,0.001643996,0.004063951,0.002652064,0.00179869,0.005000614],"category_scores_gemma":[0.005875969,0.0008270426,0.002406393,0.001568762,0.009181267,0.008354681,0.004642194,0.004113303,0.0008704437],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002325387,"about_ca_system_score_gemma":0.002148293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005060987,"about_ca_topic_score_gemma":0.00479188,"domain_scores_codex":[0.9975038,0.0009829958,0.0001390133,0.0003688802,0.0006250949,0.0003801501],"domain_scores_gemma":[0.9976265,0.001571311,0.0001809475,0.0002727851,0.0001576573,0.0001906919],"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.00004494725,0.00004188645,0.0001573623,0.00008450749,0.00001659175,0.0001787139,0.000652245,0.01373627,0.0005670081,0.9735171,0.0007514671,0.0102518],"study_design_scores_gemma":[0.00003004145,0.00003156699,0.00007121809,0.00004094409,0.00002284997,0.00008899376,0.00008458213,0.04155038,0.0007819063,0.9497699,0.007506573,0.00002100258],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01094571,0.000449939,0.9678861,0.00155915,0.0000857331,0.0001457732,0.0001076927,0.0008766289,0.01794329],"genre_scores_gemma":[0.3524406,0.001090718,0.6324988,0.001023274,0.0003144611,0.0006481837,0.0003076454,0.0004290335,0.01124732],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005060987,"threshold_uncertainty_score":0.01705068,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02945810078838233,"score_gpt":0.2759510668570427,"score_spread":0.2464929660686604,"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."}}