{"id":"W2740289278","doi":"10.24963/ijcai.2017/115","title":"Reasoning about Probabilities in Unbounded First-Order Dynamical Domains","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Probabilistic logic; Computer science; Belief revision; Introspection; Modal operator; Formalism (music); Modal; Expressive power; Artificial intelligence; Situation calculus; Modal logic; Theoretical computer science; Action (physics); Knowledge base; Knowledge representation and reasoning; Logical consequence; Epistemology; Description logic; Multimodal logic","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.0004465875,0.0001838157,0.0002388781,0.00007725146,0.0006249825,0.0008357092,0.001696853,0.000115555,0.00006567599],"category_scores_gemma":[0.0006740509,0.0001456463,0.00007202724,0.0001400474,0.0002336693,0.0007899614,0.0006875563,0.0001936811,0.000118691],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001303736,"about_ca_system_score_gemma":0.0001319738,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005578689,"about_ca_topic_score_gemma":0.006608798,"domain_scores_codex":[0.9984714,0.00005376873,0.0002425757,0.0005182197,0.0002211498,0.0004928368],"domain_scores_gemma":[0.9982982,0.0001293911,0.0001092405,0.001246856,0.0001007631,0.000115576],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000006019932,0.0001011818,0.04801464,0.0000231032,0.000008678543,0.00002538184,0.001841021,0.00002448372,0.00001340796,0.9460652,0.0003672585,0.003509612],"study_design_scores_gemma":[0.002232002,0.000196911,0.4315192,0.0002334199,0.000009179174,0.00005700373,0.0002571782,0.3423956,0.000183529,0.2056583,0.01627882,0.0009788212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2647183,0.0002063317,0.2337057,0.002613447,0.0009463399,0.0004570209,0.000001457034,0.0004525927,0.4968989],"genre_scores_gemma":[0.9505731,0.00001858516,0.04319488,0.0001027705,0.0000810897,0.00003400571,0.000001184729,0.000009914349,0.005984514],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7404069,"threshold_uncertainty_score":0.8058763,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01507632479789188,"score_gpt":0.259243745323415,"score_spread":0.2441674205255231,"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."}}