{"id":"W3022125085","doi":"10.5555/2615731.2615757","title":"Progression and verification of situation calculus agents with bounded beliefs","year":2014,"lang":"en","type":"article","venue":"Adaptive Agents and Multi-Agents Systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Situation calculus; Decidability; Bounded function; Action (physics); Computer science; Domain (mathematical analysis); Object (grammar); Temporal logic; Belief revision; Calculus (dental); Order (exchange); Mathematics; Theoretical computer science; Discrete mathematics; Artificial intelligence","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.007826946,0.00101814,0.0009589631,0.001814653,0.001667738,0.00356416,0.002601558,0.001469784,0.003538735],"category_scores_gemma":[0.03104356,0.0008266337,0.002975083,0.001079281,0.005532158,0.009025323,0.004221375,0.004063621,0.0004743644],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003200988,"about_ca_system_score_gemma":0.004659688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01123619,"about_ca_topic_score_gemma":0.005969441,"domain_scores_codex":[0.991975,0.002022882,0.0005490981,0.001502862,0.002855953,0.001094318],"domain_scores_gemma":[0.9786656,0.01501308,0.001708345,0.001887209,0.002023579,0.0007021933],"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.0003105234,0.000131731,0.002549875,0.0002438682,0.0001340739,0.001136655,0.00198181,0.09036722,0.009570187,0.8713337,0.0007111956,0.02152931],"study_design_scores_gemma":[0.0001110199,0.00009444897,0.0003538705,0.00006819559,0.00008584068,0.000147772,0.0002060267,0.3918531,0.009081303,0.5945212,0.003420366,0.00005696532],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1031702,0.0002504782,0.8880187,0.0008535712,0.00005283298,0.0002020245,0.0003303022,0.001649546,0.005472337],"genre_scores_gemma":[0.7789321,0.0002899343,0.2159757,0.0002190429,0.00007387844,0.0002933613,0.0007157731,0.000156859,0.003343241],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01123619,"threshold_uncertainty_score":0.04139328,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03857713149392297,"score_gpt":0.2800804080179356,"score_spread":0.2415032765240126,"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."}}