{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006144335,0.0001869799,0.0001745778,0.0001908358,0.0001309361,0.0001528171,0.001419392,0.0002075432,0.000005873852],"category_scores_gemma":[0.0001156882,0.000166119,0.00008170806,0.0006443327,0.00005266651,0.0003325002,0.0005012549,0.0003600228,0.0001614895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002068976,"about_ca_system_score_gemma":0.0001445862,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002300068,"about_ca_topic_score_gemma":0.0002328136,"domain_scores_codex":[0.9986114,0.0002940001,0.0001615508,0.0006217991,0.0001011461,0.000210088],"domain_scores_gemma":[0.9985612,0.0001423017,0.0002073142,0.0008821219,0.0001575736,0.0000494799],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004253734,0.00005763709,0.0006060874,0.00003484442,0.00000854607,0.00001919326,0.001235212,0.672573,0.00000610324,0.3225283,0.0001437967,0.002783105],"study_design_scores_gemma":[0.0002176427,0.00002527535,0.01100877,0.00004819488,0.00002068588,0.000002732078,0.00004757638,0.9379689,0.00002922795,0.05033486,0.0001071073,0.0001890276],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0561234,0.00003844984,0.9387354,0.0001896112,0.0003687246,0.0002752388,5.663707e-7,0.0001078558,0.004160718],"genre_scores_gemma":[0.9979547,0.00002551896,0.001483527,0.0001056186,0.00006144159,0.000002258695,0.000025195,0.00000633832,0.0003353707],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9418314,"threshold_uncertainty_score":0.6774136,"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."}}