{"id":"W2006754637","doi":"10.1016/j.artint.2010.11.021","title":"Specifying and computing preferred plans","year":2010,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Planner; Computer science; Semantics (computer science); Preference; Plan (archaeology); Situation calculus; Bounded function; Order (exchange); Theoretical computer science; Programming 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.0003702143,0.0001371407,0.0001396349,0.00007061176,0.0002616266,0.000302873,0.0006359881,0.00007967214,0.00003951884],"category_scores_gemma":[0.0001739032,0.0001235042,0.00003919665,0.0002482526,0.0001230464,0.0002843139,0.0003073819,0.0003024475,0.0002496273],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009514912,"about_ca_system_score_gemma":0.00003590238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000457161,"about_ca_topic_score_gemma":0.0003343399,"domain_scores_codex":[0.9988027,0.00003342941,0.0002603085,0.0004226164,0.0001531251,0.0003278517],"domain_scores_gemma":[0.9991346,0.0002055375,0.00007344644,0.0003845217,0.00007216199,0.0001297478],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003764839,0.00004352825,0.001308332,0.000006544929,0.000005319371,0.00001236591,0.002556247,0.0000279807,0.008824262,0.6460552,0.00007731099,0.3410791],"study_design_scores_gemma":[0.00006731407,0.0001896784,0.008271938,0.00005405456,0.00001285226,0.0001491571,0.000567842,0.5000758,0.2000147,0.279403,0.01033008,0.0008635385],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2552759,0.00006865319,0.728252,0.000287604,0.001418668,0.0001205432,0.000001102748,0.0002300654,0.0143455],"genre_scores_gemma":[0.9799225,0.00001067768,0.01954812,0.0001026267,0.0003096999,0.000002267114,8.825771e-7,0.000007288616,0.00009596143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7246466,"threshold_uncertainty_score":0.5036356,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06177651901621427,"score_gpt":0.2950130996349307,"score_spread":0.2332365806187164,"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."}}