{"id":"W2025270539","doi":"10.1016/j.artint.2010.04.005","title":"A semantic characterization of a useful fragment of the situation calculus with knowledge","year":2010,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":43,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Situation calculus; Correctness; Fragment (logic); Calculus (dental); Embedding; Determinacy; Mathematics; Computer science; Algebra over a field; Artificial intelligence; Algorithm; Pure mathematics","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.003391761,0.0009574057,0.001083045,0.003629521,0.003635773,0.006179801,0.002901771,0.002471089,0.00897108],"category_scores_gemma":[0.005801713,0.0008033962,0.002574486,0.004238613,0.006125074,0.01329342,0.003306466,0.003878743,0.001333816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002073825,"about_ca_system_score_gemma":0.00223488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004277315,"about_ca_topic_score_gemma":0.002809099,"domain_scores_codex":[0.9974362,0.0006716644,0.0002276192,0.0004396764,0.0008806915,0.0003441592],"domain_scores_gemma":[0.9969247,0.001354848,0.0001949532,0.0005873377,0.000654588,0.000283643],"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.00001470177,0.00001246474,0.00004545779,0.00002620043,0.000006162754,0.00007731458,0.0002437585,0.0004447514,0.000400374,0.9951591,0.0007520799,0.002817593],"study_design_scores_gemma":[0.00001384196,0.00001352825,0.00008100008,0.0000222919,0.00002634758,0.000167909,0.0001139942,0.00791681,0.0005801866,0.979762,0.01128566,0.00001642515],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02247852,0.0007206355,0.9149016,0.002452819,0.0002462829,0.0002270143,0.0009368393,0.0008630469,0.0571732],"genre_scores_gemma":[0.5652254,0.0009628422,0.4127208,0.001058512,0.0006168052,0.0005049185,0.001816726,0.0004158275,0.01667829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00897108,"threshold_uncertainty_score":0.03001118,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.023592062439281,"score_gpt":0.2558285231445378,"score_spread":0.2322364607052568,"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."}}