{"id":"W2290471876","doi":"10.5555/2615731.2615789","title":"A logical theory of robot localization","year":2014,"lang":"en","type":"article","venue":"Adaptive Agents and Multi-Agents Systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"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); Domain (mathematical analysis); Extension (predicate logic); Action (physics); Logical conjunction; Theoretical computer science; Mathematics; Programming language; Engineering; Machine learning; Systems 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.0006730104,0.0001980805,0.0003253499,0.00008286768,0.000150386,0.00008520986,0.0004359908,0.000109604,0.00001526936],"category_scores_gemma":[0.0001112234,0.000145305,0.00007300517,0.0001847742,0.0001004822,0.0002274866,0.0002463077,0.00008095968,0.00004925017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002822198,"about_ca_system_score_gemma":0.00002100235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001000222,"about_ca_topic_score_gemma":0.000007624856,"domain_scores_codex":[0.9982403,0.000426234,0.0003442107,0.000450673,0.0002581776,0.0002804091],"domain_scores_gemma":[0.9989684,0.0001233983,0.0002217399,0.0003693136,0.0001646842,0.0001524181],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006221764,0.0008888561,0.02439567,0.0002129647,0.0002626473,0.00002784396,0.006906018,0.003256179,0.0006128513,0.917892,0.001778615,0.04370407],"study_design_scores_gemma":[0.001503118,0.0003542011,0.03723232,0.0001409545,0.00003255609,0.00002017873,0.0003369958,0.9485692,0.0001948822,0.001394702,0.009869374,0.0003514632],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00977846,0.0005986213,0.9837585,0.0000135085,0.000650891,0.0003499826,0.000003980318,0.00007369015,0.004772376],"genre_scores_gemma":[0.9957339,0.00005886996,0.002593723,0.0001232163,0.00008068187,0.00002182699,0.000004591007,0.00001160367,0.001371553],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9859555,"threshold_uncertainty_score":0.5925366,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06061705081815062,"score_gpt":0.2701336165493615,"score_spread":0.2095165657312109,"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."}}