{"id":"W2969945018","doi":"10.1007/978-3-030-29007-8_4","title":"A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Answer set programming; Artificial intelligence; Formalism (music); Preference; Declarative programming; Domain (mathematical analysis); Theoretical computer science; Logic programming; Decision problem; Set (abstract data type); Machine learning; Programming language; Inductive programming; Programming paradigm; 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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001385625,0.0007028971,0.0008160138,0.0005274063,0.0004952597,0.001084099,0.003826055,0.0006375488,0.00001487008],"category_scores_gemma":[0.0005539659,0.0005840028,0.0003025099,0.0003982205,0.0003572002,0.0006916159,0.001117436,0.0008798346,0.00002874466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003431705,"about_ca_system_score_gemma":0.00127774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001796542,"about_ca_topic_score_gemma":0.0001887041,"domain_scores_codex":[0.9953428,0.00004268654,0.0005874559,0.002146677,0.0007973671,0.001083012],"domain_scores_gemma":[0.9951876,0.002257736,0.0005724459,0.001239184,0.0005454354,0.0001975712],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003027391,0.00005037204,0.0001519016,0.0002877616,0.00005138168,0.00001631987,0.01305934,0.004953889,0.0000835318,0.439338,0.00006790732,0.5419093],"study_design_scores_gemma":[0.0006042127,0.0006715546,0.0001517341,0.002038538,0.00002831905,0.00003674259,0.000005471719,0.2971075,0.001571661,0.6947598,0.001874446,0.001150114],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001048094,0.001681679,0.9864231,0.0001888318,0.00211171,0.002098099,0.0000185606,0.0002098083,0.007163411],"genre_scores_gemma":[0.07343715,0.00004503598,0.9238606,0.0005038008,0.0008494477,0.0001170881,0.00001264683,0.00005196819,0.001122265],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5407593,"threshold_uncertainty_score":0.9999529,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02318873270619638,"score_gpt":0.2797779865081381,"score_spread":0.2565892538019418,"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."}}