{"id":"W7124175548","doi":"10.65109/wsam9881","title":"A logical framework for prioritized goal change","year":2010,"lang":"","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Work (physics); Logical framework; Goal orientation; Logical consequence; Logical conjunction","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009103618,0.0004935404,0.0006243012,0.0001116328,0.0005424087,0.0007706816,0.001965373,0.0009522938,0.001641305],"category_scores_gemma":[0.001263875,0.0003852973,0.000479559,0.0005404989,0.000324857,0.0005694373,0.0007987327,0.001115549,0.0008038835],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003759032,"about_ca_system_score_gemma":0.0002146108,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000316732,"about_ca_topic_score_gemma":0.0001064586,"domain_scores_codex":[0.9964494,0.00009624429,0.0005251268,0.001243375,0.0004112506,0.001274628],"domain_scores_gemma":[0.9966851,0.0009545131,0.0001968159,0.001184089,0.0003796756,0.0005997497],"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.00004726572,0.0003390175,0.0006313424,0.00004541667,0.00002330852,0.00001622273,0.002036656,5.340701e-8,0.0003292703,0.8715153,0.001066994,0.1239492],"study_design_scores_gemma":[0.00337429,0.001535667,0.01167819,0.0001560162,0.00009135445,0.0001306408,0.0001112653,0.09239547,0.001448015,0.6991058,0.1882153,0.001758053],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01070355,0.0006341168,0.9441966,0.005149498,0.01097574,0.001679241,0.00001226121,0.0003985206,0.02625042],"genre_scores_gemma":[0.6671065,0.00007090089,0.3227716,0.001779991,0.004371302,0.0002675533,0.000002944767,0.00002581112,0.003603377],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.656403,"threshold_uncertainty_score":0.9999741,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05388989146152597,"score_gpt":0.3112760532308863,"score_spread":0.2573861617693603,"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."}}