{"id":"W2810243590","doi":"10.1016/j.artint.2018.06.003","title":"Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems","year":2018,"lang":"en","type":"article","venue":"Artificial Intelligence","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Formalism (music); Computer science; Dynamical systems theory; Artificial intelligence; Action (physics); Theoretical computer science; Mathematics; Algorithm; Physics","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.0005801459,0.0001924243,0.0002797972,0.0001167056,0.0001813195,0.0003576808,0.000341717,0.0001071788,0.000004642852],"category_scores_gemma":[0.0003589133,0.0001638109,0.00003250006,0.0003523293,0.0003865751,0.0002858017,0.0002527526,0.0001783994,0.00004949191],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003786401,"about_ca_system_score_gemma":0.00002402717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005339442,"about_ca_topic_score_gemma":0.0004980672,"domain_scores_codex":[0.9983354,0.0001609109,0.0003467052,0.0005704914,0.0001677344,0.0004187305],"domain_scores_gemma":[0.9990314,0.0003166189,0.00008996179,0.0003160185,0.00008950748,0.0001564411],"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.00006253479,0.00009002926,0.02972088,0.00007533038,0.00002620621,0.0001155479,0.009771441,0.0001178018,0.003241854,0.8127937,0.00007490034,0.1439098],"study_design_scores_gemma":[0.00009428745,0.0004886146,0.01254195,0.0003045936,0.00001320812,0.0001044349,0.0007408318,0.9645579,0.009301676,0.01077741,0.0004938705,0.0005811964],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.833826,0.0006043672,0.1624905,0.00009616509,0.000707546,0.0002474859,0.000001604106,0.0001103362,0.001916038],"genre_scores_gemma":[0.9979677,0.00004827955,0.001603987,0.00003191696,0.0002140762,0.0000127913,8.509522e-7,0.0000107538,0.0001096144],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9644401,"threshold_uncertainty_score":0.6680014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01658489703657044,"score_gpt":0.2719030872780779,"score_spread":0.2553181902415075,"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."}}