{"id":"W7124200998","doi":"10.65109/knrx9231","title":"Progression and verification of situation calculus agents with bounded beliefs","year":2014,"lang":"","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Decidability; Bounded function; Situation calculus; Action (physics); Object (grammar); Point (geometry); Calculus (dental)","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.007992383,0.001051994,0.001008267,0.001804987,0.001675916,0.003606962,0.002570577,0.001512432,0.003839971],"category_scores_gemma":[0.03121692,0.0008595584,0.002899137,0.001105169,0.005421171,0.009309674,0.004354623,0.00419683,0.0005250236],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003188533,"about_ca_system_score_gemma":0.00481046,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01156297,"about_ca_topic_score_gemma":0.006142888,"domain_scores_codex":[0.9918191,0.00203304,0.000543424,0.001503331,0.002938857,0.001162267],"domain_scores_gemma":[0.9796574,0.01407756,0.001666362,0.001912494,0.001956842,0.0007293645],"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.0003429216,0.0001384259,0.002488131,0.0002422351,0.0001303913,0.001133035,0.002005378,0.08852504,0.009833508,0.8730575,0.0007451421,0.02135825],"study_design_scores_gemma":[0.0001186979,0.00009862862,0.0003470741,0.0000689796,0.00008495323,0.0001456521,0.0002033639,0.3758755,0.009298306,0.6100867,0.003613977,0.00005825185],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1120755,0.0002635946,0.8781381,0.0009322469,0.00005793209,0.000209659,0.0003762761,0.001921789,0.006024905],"genre_scores_gemma":[0.7889462,0.0002933127,0.2056645,0.0002214275,0.00007698782,0.0002906664,0.0007666044,0.0001721282,0.003568021],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01156297,"threshold_uncertainty_score":0.04226828,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01607013591986164,"score_gpt":0.2613658978452233,"score_spread":0.2452957619253616,"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."}}