逻辑 + 概率编程 + 因果定律
1University of Edinburgh & Alan Turing Institute, Edinburgh, UK.
Royal Society open science
|September 29, 2023
概括
本研究模型使用概率 (逻辑) 编程进行概率规划. 它扩展了PROBLOG和GOLOG,以处理复杂的概率模型,用于与动态状态空间和分布规划问题.
科学领域:
- 人工智能的人工智能
- 机器人技术 机器人技术 机器人技术
- 计算机科学 计算机科学
背景情况:
- 概率规划将随机模型集成到代理行动合成中.
- 概率编程将概率概念与编程语言统一起来.
- 概率逻辑编程简化了结构化的概率分布规范.
研究的目的:
- 通过概率 (逻辑) 编程的镜头来讨论概率规划.
- 介绍概率逻辑编程语言用于规划的两个代表性扩展.
主要方法:
- 扩展PROBLOG以对Horn条款 (Prolog程序) 的概率进行装饰.
- 扩展GOLOG以通过动作,效应和观测逻辑指定动态系统.
- 使用第一阶逻辑来建模复杂的规划场景.
主要成果:
- 在规划框架中展示了概率概念的整合.
- 启用了与不断增长/缩小的状态空间规划问题的建模.
- 在一级设置中支持离散/连续概率分布和非唯一的先验.
结论:
- 概率 (逻辑) 编程为复杂的概率规划提供了一个强大的框架.
- 提出的扩展解决了概率规划中的非微不足道的建模挑战.
- 这种方法有助于灵活和富有表现力的规范复杂的规划问题.
相关概念视频
Probability Laws
41.0K
Overview
41.0K
Causality in Epidemiology
462
Causality or causation is a fundamental concept in epidemiology, vital for understanding the relationships between various factors and health outcomes. Despite its importance, there's no single, universally accepted definition of causality within the discipline. Drawing from a systematic review, causality in epidemiology encompasses several definitions, including production, necessary and sufficient, sufficient-component, counterfactual, and probabilistic models. Each has its strengths and...
462
Scientific Laws and Theories
76.0K
Scientific Laws
76.0K
Criteria for Causality: Bradford Hill Criteria - II
352
The Bradford Hill criteria serve as guidelines for establishing causative links in epidemiological research. Beyond Strength, Consistency, Specificity, and Temporality, key criteria also include Biological Gradient, Plausibility, Coherence, Experiment, and Analogy. These principles assist scientists in assessing the likelihood of causation in complex biological contexts. Below is a summary of these concepts:
352
Correlation and Causation
37.7K
Statistical tests can calculate whether there is a relationship, or correlation, between independent and dependent variables. An indirect relationship of the variables signifies a correlation, while a direct relationship shows causation. If it is determined that no connection exists between the variables, then the correlation is a coincidence.
Correlation versus Causation
If the dependent variable increases or decreases when the independent variable increases, there is a positive or negative...
Correlation versus Causation
If the dependent variable increases or decreases when the independent variable increases, there is a positive or negative...
37.7K
Criteria for Causality: Bradford Hill Criteria - I
321
The Bradford Hill criteria are a group of principles that provide a framework to determine a causal relationship between a specific factor and a disease. There are nine criteria that are pivotal in assessing causality in epidemiological studies. Here's a closer look at Strength, Consistency, Specificity, and Temporality criteria with definitions and examples:
321


