A Logic for Desire Based on Causal Inference

被引：0

作者：

Xie, Kaibo ^{[1
]}

Yan, Jialiang ^{[2
,3
]}

机构：

[1] Wuhan Univ, Dept Philosophy, Wuhan, Peoples R China

[2] Tsinghua Univ, Dept Philosophy, Beijing 100084, Peoples R China

[3] Univ Amsterdam, Inst Log Language & Computat ILLC, Fac Sci, Sci Pk 107, NL-1098 XG Amsterdam, Netherlands

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2024年 / 34卷 / 02期

关键词：

Semantics;

D O I：

10.1093/logcom/exac060

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：352 / 371

页数：20

共 50 条

[31] Order-based inference in Natural Logic
Fyodorov, Yaroslav
Winter, Yoad
Francez, Nissim
LOGIC JOURNAL OF THE IGPL, 2003, 11 (04) : 385 - 417
[32] Grid-Based Temporal Logic Inference
Vaidyanathan, Prashant
Ivison, Rachael
Bombara, Giuseppe
DeLateur, Nicholas A.
Weiss, Ron
Densmore, Douglas
Belta, Calin
2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
[33] Logic of evidence-based inference propositions
Jain, Mahendra Kumar
CURRENT SCIENCE, 2011, 100 (11): : 1663 - 1672
[34] Rational Inference Patterns Based on Conditional Logic
Eichhorn, Christian
Kern-Isberner, Gabriele
Ragni, Marco
THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 1827 - 1834
[35] Annotation Inference for Separation Logic Based Verifiers
Vogels, Frederic
Jacobs, Bart
Piessens, Frank
Smans, Jan
FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, 2011, 6722 : 319 - 333
[36] Randomization-based, Bayesian inference of causal effects
Leavitt, Thomas
JOURNAL OF CAUSAL INFERENCE, 2023, 11 (01)
[37] Inference and coherence in causal-based artifact categorization
Puebla, Guillermo
Chaigneau, Sergio E.
COGNITION, 2014, 130 (01) : 50 - 65
[38] Likelihood-based inference for bounds of causal parameters
Lee, Woojoo
Sjolander, Arvid
Larsson, Anton
Pawitan, Yudi
STATISTICS IN MEDICINE, 2018, 37 (30) : 4695 - 4706
[39] Layout-based Causal Inference for Object Navigation
Zhang, Sixian
Song, Xinhang
Li, Weijie
Bai, Yubing
Yu, Xinyao
Jiang, Shuqiang
2023 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2023, : 10792 - 10802
[40] Improving the Performance of Heuristic Algorithms Based on Causal Inference
Quiroz Castellanos, Marcela
Cruz Reyes, Laura
Torres-Jimenez, Jose
Gomez Santillan, Claudia
Lopez Loces, Mario Cesar
Carrillo Ibarra, Jesus Eduardo
Castilla Valdez, Guadalupe
ADVANCES IN ARTIFICIAL INTELLIGENCE, PT I, 2011, 7094 : 137 - 148

← 1 2 3 4 5 →