Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A Logic for Desire Based on Causal Inference
View through CrossRef
Abstract
Reasoning about desire plays a significant role in logic, artificial intelligence and philosophy, etc. In this paper, we propose an interpretation of desire that takes into account causal inference. To formalize this idea, we build a desire-causality model by combing the betterness model in preference logic and the causal model in the logic for causal reasoning. We then develop a logic for desire based on this semantics, and an axiomatization for our formal system is given.
Title: A Logic for Desire Based on Causal Inference
Description:
Abstract
Reasoning about desire plays a significant role in logic, artificial intelligence and philosophy, etc.
In this paper, we propose an interpretation of desire that takes into account causal inference.
To formalize this idea, we build a desire-causality model by combing the betterness model in preference logic and the causal model in the logic for causal reasoning.
We then develop a logic for desire based on this semantics, and an axiomatization for our formal system is given.
Related Results
Causal discovery and prediction: methods and algorithms
Causal discovery and prediction: methods and algorithms
(English) This thesis focuses on the discovery of causal relations and on the prediction of causal effects. Regarding causal discovery, this thesis introduces a novel and generic m...
The Object of Sexual Desire: Examining the “What” in “What Do You Desire?”
The Object of Sexual Desire: Examining the “What” in “What Do You Desire?”
Abstract
Introduction
Over the past two decades, sexual desire and desire discrepancy have become more frequently studied as hav...
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
MECHANISMS OF SCHEMATIC MODELING BASED ON VECTOR LOGIC
Context. This paper addresses issues relevant to the EDA market – reducing the cost and time of testing and verification of digital projects by synthesizing the logic vector of a d...
Logic in the early 20th century
Logic in the early 20th century
The creation of modern logic is one of the most stunning achievements of mathematics and philosophy in the twentieth century. Modern logic – sometimes called logistic, symbolic log...
Use of causal claims in observational studies: a research on research study
Use of causal claims in observational studies: a research on research study
Abstract
Objective
To evaluate the consistency of causal statements in the abstracts of observational studies published in The ...
Causality, Information, and Decision-Making
Causality, Information, and Decision-Making
Causal models capture essential aspects of how we conceptualize the world and make decisions about intervening on it.
Accordingly, their study has become a central topic in current...
A Practical Guide to Causal Inference in Three-Wave Panel Studies
A Practical Guide to Causal Inference in Three-Wave Panel Studies
Causal inference from observational data poses considerable challenges. This guide explains an approach to estimating causal effects using panel data focussing on the three-wave pa...
CIDER: Counterfactual-Invariant Diffusion-based GNN Explainer for Causal Subgraph Inference
CIDER: Counterfactual-Invariant Diffusion-based GNN Explainer for Causal Subgraph Inference
Abstract
Inferring causal links or subgraphs corresponding to a specific phenotype or label based solely on measured data is an important yet challenging task, which is als...