{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002018456,0.0001576314,0.0002448716,0.0003608659,0.0008795171,0.00003685613,0.001371041,0.000111119,0.0001199961],"category_scores_gemma":[0.001367451,0.000118734,0.0001080253,0.001274242,0.0008652849,0.0005191171,0.0006022267,0.0005030517,0.00009506808],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001472851,"about_ca_system_score_gemma":0.0003832942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004090985,"about_ca_topic_score_gemma":0.00008412531,"domain_scores_codex":[0.9971074,0.0006330136,0.0001831196,0.000598263,0.001039707,0.0004385205],"domain_scores_gemma":[0.9971565,0.0005959582,0.0002049076,0.001048071,0.0008817544,0.0001128093],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001866466,0.002315712,0.005850745,0.0006864684,0.0003462635,0.0003952744,0.1304901,0.0003967572,0.04905739,0.6010523,0.1339503,0.07359217],"study_design_scores_gemma":[0.0130484,0.01576095,0.156464,0.002803967,0.0001658899,0.0005598481,0.02789949,0.02145655,0.4919382,0.06757317,0.1986744,0.003655178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9719235,0.0005110687,0.01472901,0.002685355,0.0002344129,0.001166123,0.00002087235,0.0001410847,0.008588579],"genre_scores_gemma":[0.9956379,0.0001277717,0.0009305217,0.0000123932,0.00007280317,0.000002045419,0.00001742504,0.000009084791,0.003190055],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5334792,"threshold_uncertainty_score":0.6764623,"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."}}