{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00389201,0.001364834,0.001273563,0.001769519,0.001583117,0.005158632,0.005566857,0.001738927,0.01407104],"category_scores_gemma":[0.008534577,0.001545235,0.004410406,0.002305807,0.002207671,0.009729992,0.005150714,0.00655078,0.003974544],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001511334,"about_ca_system_score_gemma":0.002455384,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004955038,"about_ca_topic_score_gemma":0.00879852,"domain_scores_codex":[0.9968683,0.0008549338,0.000386824,0.0005182442,0.001048926,0.0003227242],"domain_scores_gemma":[0.9970504,0.001458243,0.000135814,0.0006562839,0.000477311,0.0002218968],"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.0001256581,0.0001993917,0.000343744,0.000371231,0.0001111274,0.0002701276,0.0007616373,0.01182462,0.003862127,0.837904,0.01384291,0.1303834],"study_design_scores_gemma":[0.00008527766,0.0000537214,0.0001954788,0.0001067899,0.0001194948,0.0002344864,0.0002527383,0.1347833,0.004483099,0.8093834,0.05022274,0.00007941615],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0008898445,0.0001062335,0.9933394,0.0002329136,0.00004649963,0.0001171051,0.0002793729,0.001569792,0.003418833],"genre_scores_gemma":[0.02827828,0.0001839824,0.966494,0.0002551722,0.00007705134,0.0003248087,0.0008857638,0.0004011132,0.003099883],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01407104,"threshold_uncertainty_score":0.04707235,"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."}}