{"id":"W2903150012","doi":"10.65109/yymz7756","title":"A logical theory of robot localization","year":2014,"lang":"en","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","funders":"","keywords":"Rotation formalisms in three dimensions; Probabilistic logic; Computer science; Robot; Logical framework; Artificial intelligence; Categorical variable; Representation (politics); Robotics; Task (project management); Extension (predicate logic); Domain (mathematical analysis); Logical conjunction; Action (physics); Logical consequence; Theoretical computer science; Mathematics; Programming language; Engineering; Machine learning","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.003595244,0.0007638515,0.0007075989,0.002082244,0.002887285,0.005848544,0.002428541,0.002516162,0.007936857],"category_scores_gemma":[0.004571907,0.0006410769,0.00214517,0.001631171,0.01292618,0.01232279,0.003438851,0.00458211,0.002078783],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003569898,"about_ca_system_score_gemma":0.002244706,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00345485,"about_ca_topic_score_gemma":0.001770162,"domain_scores_codex":[0.9977269,0.0008970938,0.0001533572,0.0004430078,0.0005685578,0.0002112103],"domain_scores_gemma":[0.9974203,0.001297514,0.0001857277,0.0004161277,0.0004875525,0.0001928354],"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.000002440564,0.000002990623,0.00001846812,0.00001455003,0.000002555324,0.00001808263,0.00008427088,0.0004464722,0.00006382026,0.9970131,0.0007089998,0.001624223],"study_design_scores_gemma":[0.000007974696,0.000007059713,0.00002590654,0.00002028974,0.000004521933,0.00003003343,0.00006033793,0.00222832,0.0001006629,0.9846598,0.01284881,0.000006240826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004929782,0.002790139,0.8787082,0.01376039,0.0005168316,0.00006473862,0.0003865018,0.0005093337,0.09833409],"genre_scores_gemma":[0.5101783,0.004169588,0.4433479,0.005989148,0.001542033,0.0006440053,0.0009445659,0.0002683027,0.03291612],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007936857,"threshold_uncertainty_score":0.02655149,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01821368675568126,"score_gpt":0.229855265585496,"score_spread":0.2116415788298148,"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."}}