Results 1  10
of
19
Probabilistic Horn abduction and Bayesian networks
 Artificial Intelligence
, 1993
"... This paper presents a simple framework for Hornclause abduction, with probabilities associated with hypotheses. The framework incorporates assumptions about the rule base and independence assumptions amongst hypotheses. It is shown how any probabilistic knowledge representable in a discrete Bayesia ..."
Abstract

Cited by 305 (38 self)
 Add to MetaCart
(Show Context)
This paper presents a simple framework for Hornclause abduction, with probabilities associated with hypotheses. The framework incorporates assumptions about the rule base and independence assumptions amongst hypotheses. It is shown how any probabilistic knowledge representable in a discrete Bayesian belief network can be represented in this framework. The main contribution is in finding a relationship between logical and probabilistic notions of evidential reasoning. This provides a useful representation language in its own right, providing a compromise between heuristic and epistemic adequacy. It also shows how Bayesian networks can be extended beyond a propositional language. This paper also shows how a language with only (unconditionally) independent hypotheses can represent any probabilistic knowledge, and argues that it is better to invent new hypotheses to explain dependence rather than having to worry about dependence in the language. Scholar, Canadian Institute for Advanced...
The Independent Choice Logic for modelling multiple agents under uncertainty
 Artificial Intelligence
, 1997
"... Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, includi ..."
Abstract

Cited by 157 (9 self)
 Add to MetaCart
(Show Context)
Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, including nature) and a logic program that gives the consequence of choices. This representation can be used as a specification for agents that act in a world, make observations of that world and have memory, as well as a modelling tool for dynamic environments with uncertainty. The rules specify the consequences of an action, what can be sensed and the utility of outcomes. This paper presents a possibleworlds semantics for ICL, and shows how to embed influence diagrams, structured Markov decision processes, and both the strategic (normal) form and extensive (gametree) form of games within the Thanks to Craig Boutilier and Holger Hoos for detailed comments on this paper. This work was supporte...
Probabilistic reasoning with answer sets
 In Proceedings of LPNMR7
, 2004
"... Abstract. We give a logic programming based account of probability and describe a declarative language Plog capable of reasoning which combines both logical and probabilistic arguments. Several nontrivial examples illustrate the use of Plog for knowledge representation. 1 ..."
Abstract

Cited by 64 (9 self)
 Add to MetaCart
(Show Context)
Abstract. We give a logic programming based account of probability and describe a declarative language Plog capable of reasoning which combines both logical and probabilistic arguments. Several nontrivial examples illustrate the use of Plog for knowledge representation. 1
Logical generative models for probabilistic reasoning about existence, roles and identity
 In 22nd AAAI Conference on AI (AAAI07). http://www.cs.ubc.ca/spider/poole/papers/AAAI07Poole.pdf
, 2007
"... In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description exists, the probability that some description refers to an object you know about or to a new object, or the probability t ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description exists, the probability that some description refers to an object you know about or to a new object, or the probability that an object fulfils some role. Many interesting queries reduce to reasoning about the role of objects. Being able to talk about the existence of parts and subparts and the relationships between these parts, allows for probability distributions over complex descriptions. Rather than trying to define a new language, this paper shows how the integration of multiple objects, ontologies and roles can be achieved cleanly. This solves two main problems: reasoning about existence and identity while preserving the clarity principle that specifies that probabilities must be over well defined propositions, and the correspondence problem that means that we don’t need to search over all possible correspondences between objects said to exist and things in the world.
A Framework for DecisionTheoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility
, 1996
"... This paper shows how we can combine logical representations of actions and decision theory in such a manner that seems natural for both. In particular we assume an axiomatization of the domain in terms of situation calculus, using what is essentially Reiter's solution to the frame problem, ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
This paper shows how we can combine logical representations of actions and decision theory in such a manner that seems natural for both. In particular we assume an axiomatization of the domain in terms of situation calculus, using what is essentially Reiter's solution to the frame problem, in terms of the completion of the axioms defining the state change. Uncertainty is handled in terms of the independent choice logic, which allows for independent choices and a logic program that gives the consequences of the choices.
Towards the Acquisition and Representation of a BroadCoverage Lexicon
 In Working Notes of the AAA1 Spring Symposium on Representation and Acquisition of Lexical Knowledge
, 1995
"... Statistical techniques for NLP typically do not take advantage of existing domain knowledge and require large amounts of tagged training data. This paper presents a partial remedy to these shortcomings by introducing a richer class of statistical models, graphical models, along with techniques ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Statistical techniques for NLP typically do not take advantage of existing domain knowledge and require large amounts of tagged training data. This paper presents a partial remedy to these shortcomings by introducing a richer class of statistical models, graphical models, along with techniques for: 1) establishing the form of the model in this class that best describes a given set of training data, 2) estimating the parameters of graphical models from untagged data, 3) combining constraints formulated in propositional logic with those derived from training data to produce a graphical model, and 4) simultaneously resolving interdependent ambiguities. The paper also describes how these tools can be used to produce a broadcoverage lexicon represented as a probabilistic model, and presents a method for using such a lexicon to simultaneously disambiguate all words in a sentence. Introduction The specification and acquisition of lexical knowledge is a central problem in n...
The Independent Choice Logic for modelling multiple agents under uncertainty ⁄
, 1997
"... Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, includi ..."
Abstract
 Add to MetaCart
(Show Context)
Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, including nature) and a logic program that gives the consequence of choices. This representation can be used as a specification for agents that act in a world, make observations of that world and have memory, as well as a modelling tool for dynamic environments with uncertainty. The rules specify the consequences of an action, what can be sensed and the utility of outcomes. This paper presents a possibleworlds semantics for ICL, and shows how to embed influence diagrams, structured Markov decision processes, and both the strategic (normal) form and extensive (gametree) form
Using the Probabilistic Logic Programming Language Plog for Causal and Counterfactual Reasoning and Nonnaive Conditioning
"... Plog is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various advantages of Plog have been discussed. In this paper we further elaborate on the KR prowess of Plog by showing that: (i) ..."
Abstract
 Add to MetaCart
Plog is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various advantages of Plog have been discussed. In this paper we further elaborate on the KR prowess of Plog by showing that: (i) it can be used for causal and counterfactual reasoning and (ii) it provides an elaboration tolerant way for nonnaive conditioning. 1