{"id":"W2949930629","doi":"10.48550/arxiv.1402.7276","title":"Robot Location Estimation in the Situation Calculus","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Extension (predicate logic); Estimation; Task (project management); Computer science; Robot; Artificial intelligence; Situation calculus; State (computer science); Calculus (dental); Mathematics; Algorithm; Engineering; Programming language","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.004840536,0.0009220321,0.0009269494,0.001609599,0.002192016,0.005601749,0.002684535,0.001907297,0.003258375],"category_scores_gemma":[0.009386531,0.000888451,0.002530703,0.00195221,0.006814971,0.01015713,0.004661032,0.003372658,0.0007235463],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003391195,"about_ca_system_score_gemma":0.002114965,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01085551,"about_ca_topic_score_gemma":0.005969053,"domain_scores_codex":[0.9952497,0.00164584,0.0003925151,0.0008814762,0.00136521,0.0004651747],"domain_scores_gemma":[0.9967874,0.001774095,0.0003072198,0.0005525001,0.0004117993,0.0001670287],"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.00003946767,0.00001457976,0.0002498064,0.0000564314,0.0000232774,0.0002040726,0.0004073053,0.02485919,0.0004269038,0.9644122,0.0007295231,0.008577221],"study_design_scores_gemma":[0.00001726482,0.00000956037,0.0000811555,0.00001952301,0.00002298397,0.00006736848,0.00008783959,0.06031797,0.0004201245,0.9352548,0.003682387,0.00001898259],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01446297,0.0004776385,0.9695991,0.001627459,0.00006338629,0.00005899035,0.0002157658,0.000391674,0.01310301],"genre_scores_gemma":[0.5558549,0.001092734,0.4360638,0.0003808925,0.0002396739,0.000189214,0.0004339294,0.0001278439,0.005616985],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01085551,"threshold_uncertainty_score":0.02559954,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05766713645906969,"score_gpt":0.1992927644338115,"score_spread":0.1416256279747418,"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."}}