English
Related papers

Related papers: A Probabilistic Calculus of Actions

200 papers

The concept of causality has a controversial history. The question of whether it is possible to represent and address causal problems with probability theory, or if fundamentally new mathematics such as the do calculus is required has been…

Machine Learning · Statistics 2021-12-13 Finnian Lattimore , David Rohde

Causal inference can be formalized as Bayesian inference that combines a prior distribution over causal models and likelihoods that account for both observations and interventions. We show that it is possible to implement this approach…

Artificial Intelligence · Computer Science 2019-11-01 Sam Witty , Alexander Lew , David Jensen , Vikash Mansinghka

A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining…

Artificial Intelligence · Computer Science 2011-06-16 Joseph Y. Halpern

This paper proposes a new general approach based on Bayesian networks to model the human behaviour. This approach represents human behaviour with probabilistic cause-effect relations based on knowledge, but also with conditional…

Artificial Intelligence · Computer Science 2016-05-20 Khadija Tijani , Stephane Ploix , Benjamin Haas , Julie Dugdale , Quoc Dung Ngo

This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstraction. We define what it means for the abstraction of an…

Artificial Intelligence · Computer Science 2013-02-28 Peter Haddawy , AnHai Doan

We present a domain-theoretic framework for probabilistic programming that provides a constructive definition of conditional probability and addresses computability challenges previously identified in the literature. We introduce a novel…

Logic in Computer Science · Computer Science 2025-02-04 Pietro Di Gianantonio , Abbas Edalat

A general notion of algebraic conditional plausibility measures is defined. Probability measures, ranking functions, possibility measures, and (under the appropriate definitions) sets of probability measures can all be viewed as defining…

Artificial Intelligence · Computer Science 2014-07-29 Joseph Y. Halpern

This work proposes action networks as a semantically well-founded framework for reasoning about actions and change under uncertainty. Action networks add two primitives to probabilistic causal networks: controllable variables and persistent…

Artificial Intelligence · Computer Science 2013-02-28 Adnan Darwiche , Moises Goldszmidt

Causal games are probabilistic graphical models that enable causal queries to be answered in multi-agent settings. They extend causal Bayesian networks by specifying decision and utility variables to represent the agents' degrees of freedom…

Computer Science and Game Theory · Computer Science 2024-06-14 Manuj Mishra , James Fox , Michael Wooldridge

The past two decades have seen a growing interest in combining causal information, commonly represented using causal graphs, with machine learning models. Probability trees provide a simple yet powerful alternative representation of causal…

Machine Learning · Computer Science 2022-05-18 Tue Herlau

Bayesian networks provide a probabilistic semantics for qualitative assertions about likelihood. A qualitative reasoner based on an algebra over these assertions can derive further conclusions about the influence of actions. While the…

Artificial Intelligence · Computer Science 2013-04-12 Michael P. Wellman

Behavioural economics provides labels for patterns in human economic behaviour. Probability weighting is one such label. It expresses a mismatch between probabilities used in a formal model of a decision (i.e. model parameters) and…

Theoretical Economics · Economics 2020-05-04 Ole Peters , Alexander Adamou , Mark Kirstein , Yonatan Berman

From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly"…

Probability · Mathematics 2015-09-01 E. N. Dzhafarov , J. V. Kujala

When a mathematical or computational model is used to analyse some system, it is usual that some parameters resp.\ functions or fields in the model are not known, and hence uncertain. These parametric quantities are then identified by…

Probability · Mathematics 2016-07-01 Hermann G. Matthies , Elmar Zander , Bojana Rosic , Alexander Litvinenko

The do-calculus is a well-known deductive system for deriving connections between interventional and observed distributions, and has been proven complete for a number of important identifiability problems in causal inference. Nevertheless,…

Methodology · Statistics 2019-03-12 Daniel Malinsky , Ilya Shpitser , Thomas Richardson

A new method is developed to represent probabilistic relations on multiple random events. Where previously knowledge bases containing probabilistic rules were used for this purpose, here a probability distribution over the relations is…

Artificial Intelligence · Computer Science 2013-02-08 Manfred Jaeger

This paper proposes a new general approach based on Bayesian networks to model the human behaviour. This approach represents human behaviour withprobabilistic cause-effect relations based not only on previous works, but also with…

Artificial Intelligence · Computer Science 2015-10-08 Khadija Tijani , Dung Ngo , Stephane Ploix , Benjamin Haas , Julie Dugdale

We present PEC, an Event Calculus (EC) style action language for reasoning about probabilistic causal and narrative information. It has an action language style syntax similar to that of the EC variant Modular-E. Its semantics is given in…

Artificial Intelligence · Computer Science 2017-07-03 Fabio Aurelio D'Asaro , Antonis Bikakis , Luke Dickens , Rob Miller

We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a…

Artificial Intelligence · Computer Science 2012-12-12 Thomas Eiter , Thomas Lukasiewicz

Possibilistic logic bases and possibilistic graphs are two different frameworks of interest for representing knowledge. The former stratifies the pieces of knowledge (expressed by logical formulas) according to their level of certainty,…

Artificial Intelligence · Computer Science 2013-01-30 Salem Benferhat , Didier Dubois , Laurent Garcia , Henri Prade