{"id":"W1964362679","doi":"10.1016/j.jal.2015.02.004","title":"Robot location estimation in the situation calculus","year":2015,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Formalism (music); Computer science; Situation calculus; Extension (predicate logic); Probability distribution; Robot; Artificial intelligence; Mathematics; Programming language; Statistics","routes":{"ca_aff":true,"ca_fund":true,"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.003467953,0.0006846253,0.001249403,0.001919762,0.001721873,0.005373735,0.003001859,0.001607025,0.003858086],"category_scores_gemma":[0.009690761,0.0009652384,0.002078005,0.002063425,0.003497198,0.00949583,0.003792086,0.002375687,0.000704555],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002179185,"about_ca_system_score_gemma":0.001945825,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01185871,"about_ca_topic_score_gemma":0.007453574,"domain_scores_codex":[0.9972783,0.0007767228,0.0002460407,0.0005514838,0.0007968807,0.0003505561],"domain_scores_gemma":[0.9970041,0.001770229,0.0002451104,0.0003703708,0.0004365291,0.000173662],"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.000101403,0.00004326937,0.0006777918,0.00007441718,0.00004986204,0.000302046,0.0004079023,0.04664873,0.0006311306,0.9290776,0.0009749646,0.02101085],"study_design_scores_gemma":[0.00001932622,0.00001480338,0.0001139318,0.00001805533,0.00004120144,0.00007901654,0.00007555532,0.1917299,0.0004423444,0.8058893,0.001552121,0.00002455237],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02267075,0.0004313976,0.9671794,0.0008046099,0.00006451386,0.00003702381,0.0001268606,0.000318296,0.008367138],"genre_scores_gemma":[0.7335306,0.0007331629,0.2590325,0.0001724741,0.0001920506,0.0000891526,0.0002226806,0.0001008924,0.005926544],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01185871,"threshold_uncertainty_score":0.02357936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03803709147389608,"score_gpt":0.273853608544731,"score_spread":0.2358165170708349,"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."}}