Unifying logic and probability

By Stuart J. Russell. 2015

97 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

Citations in the corpus

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, background): “In vision and language understanding, for example, the system would discover the existence of previously unknown objects from raw data [Russell, 2015].”
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains (2017, background): “Motivated by such concerns, the unification of logic and probability has received much attention in the recent years [Russell, 2015].”
Open-Universe Weighted Model Counting (2017, methodology): “As argued in (Russell 2015), such a closed-world system is at odds with areas such as vision, language understanding, and Web mining, where the existence of objects must be inferred from raw data.”
Tunneling Neural Perception and Logic Reasoning through Abductive Learning (2018, background): “However, recognition systems can hardly exploit complex domain knowledge in symbolic forms, perceived information is diﬃcult to include in reasoning systems, and a reasoning system usually requires semantic-level knowledge, which involves human input [35].”
A lambda-calculus foundation for universal probabilistic programming (2015, background): “This has been a source of inspiration for AI researchers, and has recently been gathering interest in the programming language community (see Goodman (2013), Gordon et al. (2014), and Russell (2015)).”
Probabilistic logic programs: Unifying program trace and possible world semantics (2017, background): “A good overview of this productive research period is given in [3].”
Uniform Coherence (2016, methodology): “When developing methods for handling uncertainty about the results of computations, then, it is natural to approach the problem from the angle of combining logic with probability theory, a topic which has received a lot of attention; see [6].”
Weighted Model Counting With Function Symbols (2017, methodology): “Unifying logic and probability is the one of the long-standing goals of AI [Russell, 2015].”
Statistical Relational Artificial Intelligence: Logic, Probability, and Computation (2016, background): “Several solutions have been proposed in the literature; see also [Russell, 2015].”