{"id":"W4234423775","doi":"10.1109/icse.1993.346034","title":"'. . . and nothing else changes': the frame problem in procedure specifications","year":2002,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Canadian Institute for Advanced Research; University of Toronto","funders":"","keywords":"Computer science; Frame (networking); Programming language; Frame problem; Notation; Object (grammar); Formal specification; Formal methods; Field (mathematics); Formal language; Artificial intelligence; 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":[],"consensus_categories":[],"category_scores_codex":[0.000160204,0.00007822194,0.00007208672,0.00005020427,0.0001290232,0.0001650386,0.0004337213,0.00004414688,0.0000673555],"category_scores_gemma":[0.00003847245,0.00004730939,0.00001392373,0.0003348229,0.00003909523,0.0001920579,0.0001282828,0.0001355119,0.00009096105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001699037,"about_ca_system_score_gemma":0.00001027151,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001587354,"about_ca_topic_score_gemma":0.0001395578,"domain_scores_codex":[0.9993597,0.00002181935,0.00009349704,0.0002428589,0.00009693218,0.0001852191],"domain_scores_gemma":[0.9995342,0.00006830956,0.00003363727,0.0002898322,0.00003074359,0.00004320443],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001388153,0.0002212717,0.005162843,0.00004175905,0.000009661608,0.000009255107,0.1052906,0.00001556289,0.000528109,0.7951717,0.008777414,0.08477041],"study_design_scores_gemma":[0.00116062,0.000213114,0.04086569,0.0001400366,0.00001208352,0.0001571913,0.001349016,0.4268594,0.001410298,0.02919799,0.4977537,0.0008807672],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02746546,0.004193628,0.1351609,0.1530552,0.0004071581,0.001575765,0.000001702997,0.0007284443,0.6774118],"genre_scores_gemma":[0.9708204,0.0001574701,0.0189957,0.001469858,0.0001111983,0.00005873372,3.35064e-7,0.000006537414,0.008379742],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.943355,"threshold_uncertainty_score":0.1929221,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04810930668659105,"score_gpt":0.2237208784713758,"score_spread":0.1756115717847848,"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."}}