{"id":"W1275153498","doi":"","title":"First-order strong progression for local-effect basic action theories","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":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Construct (python library); Action (physics); Situation calculus; Class (philosophy); Computer science; Set (abstract data type); Order (exchange); First order; Theoretical computer science; Algebra over a field; Artificial intelligence; Calculus (dental); Mathematics; Pure mathematics; Programming language; Applied 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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.00181193,0.0002040509,0.0003206535,0.0004061603,0.00142238,0.00005291873,0.001434183,0.0001193062,0.00003381527],"category_scores_gemma":[0.0006517356,0.0001852377,0.0001362769,0.001136169,0.001085325,0.001011038,0.0007552647,0.0004024794,0.00008792419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000242127,"about_ca_system_score_gemma":0.0004115712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003849615,"about_ca_topic_score_gemma":0.0002023384,"domain_scores_codex":[0.997159,0.0003728883,0.0001649672,0.0008204757,0.0007640425,0.0007185936],"domain_scores_gemma":[0.9972025,0.0005092031,0.0001295477,0.0009137865,0.001048711,0.0001962957],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.003091265,0.003105245,0.03489887,0.003066076,0.0006092606,0.0006236227,0.05317805,0.001347584,0.007618498,0.1035062,0.118422,0.6705332],"study_design_scores_gemma":[0.01216921,0.01286131,0.08025966,0.000890341,0.0001150844,0.0004350916,0.005724524,0.04419102,0.09816315,0.01521054,0.727253,0.002727075],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2544359,0.001588168,0.7349287,0.001800758,0.0005996088,0.002757377,0.00003739254,0.0003658665,0.003486187],"genre_scores_gemma":[0.9890081,0.0001667236,0.007736125,0.000005630543,0.0001390361,0.000009524899,0.00003800766,0.00001542119,0.002881489],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7345722,"threshold_uncertainty_score":0.9998776,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05244309291146103,"score_gpt":0.3234355732692524,"score_spread":0.2709924803577913,"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."}}