Search engine for discovering works of Art, research articles, and books related to Art and Culture
ShareThis
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

Back to the Present: How Not to Use Counterfactuals to Explain Causal Asymmetry
Back to the Present: How Not to Use Counterfactuals to Explain Causal Asymmetry
A plausible thought is that we should evaluate counterfactuals in the actual world by holding the present ‘fixed’; the state of the counterfactual world at the time of the antecede...
Two Informational Theories of Memory: a case from Memory-Conjunction Errors
Two Informational Theories of Memory: a case from Memory-Conjunction Errors
Abstract The causal and simulation theories are often presented as very distinct views about declarative memory, their major difference lying on the causal condition...
Questioning the causal inheritance principle
Questioning the causal inheritance principle
Mental causation, though a forceful intuition embedded in our commonsense psychology, is difficult to square with the rest of commitments of physicalism about the mind. Advocates o...
Epistemic extensions of substructural inquisitive logics
Epistemic extensions of substructural inquisitive logics
Abstract In this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions ...
Causal and Corrective Organisational Culture: A Systematic Review of Case Studies of Institutional Failure
Causal and Corrective Organisational Culture: A Systematic Review of Case Studies of Institutional Failure
AbstractOrganisational culture is assumed to be a key factor in large-scale and avoidable institutional failures (e.g. accidents, corruption). Whilst models such as “ethical cultur...
Intuitionistic ancestral logic
Intuitionistic ancestral logic
Abstract In this article we define pure intuitionistic Ancestral Logic ( iAL ), extending pure intuitionistic First-Order Logic ( iFOL ). This logic is a dependently...
The Roots of Occasionalism? Causation, Metaphysical Dependence, and Soul-Body Relations in Augustine
The Roots of Occasionalism? Causation, Metaphysical Dependence, and Soul-Body Relations in Augustine
Abstract It has long been thought that Augustine holds that corporeal objects cannot act upon incorporeal souls. However, precisely how and why Augustine imposes limitations up...
Evaluation of decay times in coupled spaces: Bayesian decay model selection
Evaluation of decay times in coupled spaces: Bayesian decay model selection
This paper applies Bayesian probability theory to determination of the decay times in coupled spaces. A previous paper [N. Xiang and P. M. Goggans, J. Acoust. Soc. Am. 110, 1415–14...

Recent Results

Metamorphic Leaves
Metamorphic Leaves
This article introduces an algorithm influenced by Goethe's concept of metamorphosis capable of generating a wide range of parametric leaf forms. Metamorphosis is defined as altern...

Back to Top