{"id":"W1743668334","doi":"10.1007/s11225-015-9625-0","title":"A Logical Theory of Localization","year":2015,"lang":"en","type":"article","venue":"Studia Logica","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Rotation formalisms in three dimensions; Probabilistic logic; Computer science; Logical framework; Artificial intelligence; Categorical variable; Representation (politics); Robotics; Robot; Domain (mathematical analysis); Task (project management); Logical conjunction; Theoretical computer science; Mathematics; Programming language; Machine learning; 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.0006030982,0.0001062053,0.0001967067,0.00004308653,0.00006384186,0.00002891528,0.0005560572,0.00006779793,0.0000294879],"category_scores_gemma":[0.0003927058,0.00006988784,0.00005793456,0.0003486799,0.0001116222,0.0001211765,0.0003338683,0.00007023384,0.0001249441],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000269112,"about_ca_system_score_gemma":0.00009369069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004192261,"about_ca_topic_score_gemma":0.000003150282,"domain_scores_codex":[0.9989626,0.0001678636,0.0001800023,0.0002659554,0.0002243786,0.0001991339],"domain_scores_gemma":[0.9991724,0.0001192968,0.00008750274,0.0003226139,0.0001889054,0.0001092281],"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.00001172861,0.000147355,0.003144136,0.000004968848,0.00001398844,0.00001157021,0.001640344,0.00006518992,0.00002569557,0.9850127,0.003686136,0.006236167],"study_design_scores_gemma":[0.001677442,0.001400622,0.02313598,0.00003028318,0.00003220635,0.000032576,0.0008794865,0.006103671,0.0009221794,0.9121795,0.05304671,0.0005593243],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003297626,0.0008300939,0.7437097,0.0001436242,0.000318067,0.0001255097,8.400201e-7,0.0001428233,0.2514317],"genre_scores_gemma":[0.9953346,0.00002412228,0.00399254,0.0002053723,0.0000734581,0.000009963293,0.000001404528,0.000003521448,0.0003550129],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.992037,"threshold_uncertainty_score":0.2849944,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05663743995222333,"score_gpt":0.2683891055608521,"score_spread":0.2117516656086288,"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."}}