{"id":"W2292328972","doi":"","title":"ALLEGRO: belief-based programming in stochastic dynamical domains","year":2015,"lang":"en","type":"article","venue":"Lirias (KU Leuven)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"KU Leuven; Fonds Wetenschappelijk Onderzoek","keywords":"Computer science; Probabilistic logic; Bridging (networking); Robotics; Artificial intelligence; Robot; Theoretical computer science; Programming language","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.0006787336,0.0002509618,0.0003128518,0.0001894999,0.00009152269,0.0001934002,0.001013094,0.0001630698,0.00001269896],"category_scores_gemma":[0.0003596975,0.0002224542,0.0001070733,0.0006253331,0.0000995272,0.0003612218,0.0002837393,0.000325223,0.0002946688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002408652,"about_ca_system_score_gemma":0.000340651,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001218655,"about_ca_topic_score_gemma":0.0004047035,"domain_scores_codex":[0.997836,0.0001580234,0.0003368833,0.0005838364,0.000433172,0.0006520678],"domain_scores_gemma":[0.9986297,0.0001880868,0.0001000606,0.000636479,0.0001060234,0.0003395842],"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.0003260176,0.004128022,0.01337618,0.0001597074,0.0001422683,0.001386647,0.02233467,0.0361148,0.0003340508,0.6560333,0.007171097,0.2584933],"study_design_scores_gemma":[0.006292182,0.0009891897,0.006047577,0.0002111491,0.00002428966,0.00007836171,0.0003240978,0.9280832,0.0001150928,0.02242629,0.03418494,0.001223657],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1100725,0.0003545074,0.8778389,0.001856237,0.001469019,0.0005554278,0.000002428009,0.0005489857,0.007301969],"genre_scores_gemma":[0.9754463,7.284372e-7,0.0234728,0.0003306013,0.0001989561,0.00006537636,0.000009258002,0.0000209686,0.0004549878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8919684,"threshold_uncertainty_score":0.9071421,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02883877078185404,"score_gpt":0.2641471401642506,"score_spread":0.2353083693823965,"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."}}