A Logic for Desire Based on Causal Inference

IF 0.7 4区数学 Q3 COMPUTER SCIENCE, THEORY & METHODS Journal of Logic and Computation Pub Date : 2023-09-25 DOI:10.1093/logcom/exac060

Kaibo Xie, Jialiang Yan

引用次数: 0

Abstract

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

基于因果推理的欲望逻辑

关于欲望的抽象推理在逻辑学、人工智能、哲学等领域都占有重要地位。在本文中，我们提出了一种考虑因果推理的欲望解释。为了形式化这一思想，我们将偏好逻辑中的更好性模型与因果推理逻辑中的因果模型相结合，建立了一个愿望-因果模型。然后，我们在此语义的基础上发展了欲望的逻辑，并给出了我们的形式系统的公理化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Journal of Logic and Computation 工程技术-计算机：理论方法

CiteScore

1.90

自引率

14.30%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.

期刊最新文献

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex Modal weak Kleene logics: axiomatizations and relational semantics A Gödel-Dugundji-style theorem for the minimal structural logic Perfect proofs at first order Intuitionistic S4 as a logic of topological spaces