{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01263271,0.001004567,0.0007632432,0.002783017,0.003739672,0.005662327,0.003458845,0.003339241,0.007467737],"category_scores_gemma":[0.01172714,0.0009627838,0.002679429,0.00157024,0.01359807,0.0165589,0.005869809,0.006277254,0.00105466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004531336,"about_ca_system_score_gemma":0.003276755,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003701744,"about_ca_topic_score_gemma":0.002839327,"domain_scores_codex":[0.9926032,0.003207274,0.0006160236,0.001334021,0.001520804,0.0007187205],"domain_scores_gemma":[0.9904225,0.004568249,0.001036261,0.001644657,0.001734214,0.000594212],"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.000008817901,0.00001089275,0.00009233634,0.00002409222,0.000006688605,0.000049242,0.0003163782,0.000863827,0.0001317798,0.9956462,0.0004942208,0.002355514],"study_design_scores_gemma":[0.00003413298,0.00002535403,0.00009598527,0.0000266094,0.00002026231,0.0000980868,0.0001507841,0.007891254,0.0003573047,0.9809991,0.01028069,0.00002035673],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01110645,0.0009222647,0.9025745,0.009820332,0.0004079846,0.0002478464,0.0002273321,0.0007271181,0.07396612],"genre_scores_gemma":[0.6355287,0.0007824015,0.3432031,0.003106728,0.000771518,0.0008162181,0.0003408797,0.0002741829,0.0151763],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01263271,"threshold_uncertainty_score":0.066809,"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."}}