Representing and reasoning with probabilistic knowledge

By Fahiem Bacchus. 1988

How researchers see this paper

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

Citations in the corpus

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, methodology): “Building on earlier e ﬀ orts to combine ﬁrst-order logic and probability [Bacchus, 1990], perhaps the most general formalism for dealing with degrees of belief in formulas, and in particular, with how belief should evolve in the presence of noisy sensing and acting is the account proposed by…”
The Third PASCAL Recognizing Textual Entailment Challenge (2007, background): “[ 1 ], [8], [9]), yet, making significant reference to this rich body of literature and deeply understanding the relationships between the operational textual entailment definition and relevant linguistic notions is an ongoing research topic beyond the scope of this paper.”
Recognizing textual entailment: Rational, evaluation and approaches (2009, background): “There is also a considerable amount of classical work on fuzzy or uncertain inference (e.g. Bacchus 1990; Halpern 1990; Keefe and Smith 1997).”
Markov logic networks (2006, background): “Bacchus (1990), Halpern (1990) and coworkers (e.g., Bacchus et al. (1996)) studied the problem in detail from a theoretical standpoint. They made a distinction between statistical statements (e.g., “65% of the students in our department are undergraduate”) and statements about possible worlds (e.g.,”
Weighted Model Counting With Function Symbols (2017, background): “Early e ﬀ orts attempted the design of general-purpose representation languages [Bacchus, 1990], but were found to be too expressive as they fell o ﬀ the computational cli ﬀ .”
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains (2017, methodology): “There are many previous first-order accounts of probabilities, such as [Bacchus, 1990] and [Halpern, 1990]; see [Ognjanovic and Raškovic, 2000] for a comprehensive list.”
A Logical Theory of Localization (2015, background): “and ψ denotes (v + tan θ ∈ [1, 2]) ∨ (v + tan θ ∈ [3, 4]) ∨ (v + tan θ ∈ [7, 8]).”
A First-Order Logic of Probability and Only Knowing in Unbounded Domains (2016, background): “There are many previous ﬁrst-order accounts of probabilities, such as Bacchus (1990) and Halpern (1990); see (Ogn-janovic and Raˇskovic 2000) for a recent list.”
Reasoning about Noisy Sensors in the Situation Calculus (1995, background): “Furthermore, although it is becoming clear that it is possible to combine reasoning from both the probabilistic and logical camps within a single framework [ Bac90 , Hal90j, actions have not yet been incor porated into this framework.”
Reasoning within Fuzzy Description Logics (2011, background): “…representation of uncertainty and imprecision has received a considerable attention in the Artificial Intelligence community in an attempt to extend existing knowledge representation systems to deal with the imperfect nature of real world information (which is likely the rule rather than an…”
A Probabilistic Setting and Lexical Coocurrence Model for Textual Entailment (2005, methodology): “B) We assign probabilities to propositions (hypotheses) in a similar manner to certain probabilistic reasoning approaches (e.g. Bacchus, 1990; Halpern, 1990).”
Recognizing textual entailment: Rational, evaluation and approaches – Erratum (2010, background): “There is also a considerable amount of classical work on fuzzy or uncertain inference (e.g. Bacchus 1990; Halpern 1990; Keefe and Smith 1997).”
Unifying logic and probability (2015, unknown): “Halpern13 and Bacchus3 adopted and extended Gaifman’s technical approach, adding probability expressions to the logic.”
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains (2015, background): “, 2009], and related efforts on combining logic and probability [Bacchus, 1990; Richardson and Domingos, 2006].”
Reasoning about Noisy Sensors and Effectors in the Situation Calculus (1995, methodology): “For example, the frameworks of Bacchus [1] and Halpern [8] combines ﬁrst-order reasoning and probability, but this work does not explicitly address reasoning about actions.”