{"id":"W2161931079","doi":"","title":"On the progression of situation calculus basic action theories: resolving a 10-year-old conjecture","year":2008,"lang":"en","type":"article","venue":"IRIS Research product catalog (Sapienza University of Rome)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Conjecture; Axiom; Action (physics); Situation calculus; Class (philosophy); Mathematics; Order (exchange); Calculus (dental); Mathematical economics; Simplicity; Computer science; Algebra over a field; Epistemology; Pure mathematics; Artificial intelligence; Philosophy","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.01692893,0.00116512,0.001420816,0.003016963,0.003482573,0.006213535,0.003257363,0.004710818,0.007368396],"category_scores_gemma":[0.03338578,0.001185792,0.002287753,0.002698264,0.02035561,0.05291696,0.008518706,0.01245903,0.001560941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004222489,"about_ca_system_score_gemma":0.003277148,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003133395,"about_ca_topic_score_gemma":0.001554685,"domain_scores_codex":[0.9939986,0.002109232,0.0004916033,0.001355337,0.001530528,0.0005146216],"domain_scores_gemma":[0.9686613,0.02232146,0.001269607,0.004090201,0.002603513,0.001053898],"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.00002492296,0.000008389368,0.00008545664,0.00004055156,0.000004129095,0.00003845681,0.0003878979,0.0007404813,0.00006397111,0.9943521,0.0006810525,0.003572582],"study_design_scores_gemma":[0.00001439681,0.00001080129,0.00003366124,0.00003472609,0.000003355978,0.00002491306,0.00005593547,0.001905445,0.00008773581,0.9943886,0.003432208,0.000008183982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1109283,0.00905165,0.6922489,0.0681954,0.001840152,0.0002169708,0.001041711,0.001329437,0.1151475],"genre_scores_gemma":[0.7917414,0.007753274,0.1739227,0.004797597,0.002720301,0.0003613489,0.0009578951,0.0003971855,0.01734838],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01692893,"threshold_uncertainty_score":0.08952981,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05303353946653421,"score_gpt":0.3074726919626472,"score_spread":0.254439152496113,"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."}}