{"id":"W2139771194","doi":"10.1016/s0004-3702(99)00087-9","title":"Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)","year":2000,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Toronto","keywords":"Circumscription; Axiom; Successor cardinal; State (computer science); Mathematics; Computer science; Frame problem; Class (philosophy); Set (abstract data type); Frame (networking); Theoretical computer science; Artificial intelligence; Algorithm; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000602569,0.0001442317,0.0001196777,0.00008240565,0.0005179676,0.0003641517,0.000519487,0.00004885214,0.0001358103],"category_scores_gemma":[0.0001319035,0.0001042074,0.00004572755,0.0006344491,0.0001920433,0.0004393327,0.00008969186,0.0001896647,0.0007402372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005722425,"about_ca_system_score_gemma":0.00007654669,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001575673,"about_ca_topic_score_gemma":0.0004651057,"domain_scores_codex":[0.9986616,0.00008576219,0.0003446454,0.0004055306,0.0001765983,0.0003258312],"domain_scores_gemma":[0.9991424,0.0001558383,0.00007906124,0.0003787277,0.0001312068,0.0001127369],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006379736,0.00004010528,0.00002013782,0.000003036843,0.000005934851,8.998633e-7,0.005359842,0.0002124196,0.001174743,0.1706526,0.0001403946,0.8223835],"study_design_scores_gemma":[0.00008465033,0.0005461776,0.00144789,0.0001416946,0.00003076576,0.0001010576,0.002286453,0.5476993,0.06418791,0.3396098,0.04298883,0.0008754769],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03258339,0.00008305204,0.9512725,0.003121957,0.0002144044,0.0004663998,0.000004057515,0.0001732907,0.01208094],"genre_scores_gemma":[0.9809843,0.00006845891,0.0179081,0.0002794232,0.0000856669,0.00005640796,0.000002522243,0.000007038932,0.0006081387],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9484009,"threshold_uncertainty_score":0.9514499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04401351160811035,"score_gpt":0.2909212580944951,"score_spread":0.2469077464863847,"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."}}