A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
复制标题
初等经济学中图异质推理的逻辑研究
DOI：
10.1007/978-3-319-42333-3_8
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Ryo Takemura
中科院分区：
文献类型：
--
作者：
Kana GOTO;Hiroki NAKAMOTO;Shiro MORI;Yuta Takahashi and Ryo Takemura;Ryo Takemura
异构推理是逻辑、数学和计算机科学的重要组成部分。另一个值得注意的领域是经济学。在本文中，我们应用在我们以前的研究[7，8]中开发的证明理论技术，在初级经济学中的异构推理与图形。我们应用自然演绎风格的形式化，这使得它可以应用发达的证明理论技术的异构推理与图形的分析。我们还应用了[7]中提出的搭便车的证明理论分析，并分析了图的异构推理的效率。我们进一步讨论了初级经济学中的溯因推理。溯因已经被哲学家和逻辑学家讨论过，并且在人工智能的文献中得到了广泛的研究（参见，例如，[2]）。在异质推理的背景下，我们能够形式化溯因推理在初级经济学的风格，我们在我们的实际推理。
Heterogeneous reasoning is a salient component of logic, mathematics, and computer science. Another remarkable field it applies to is economics. In this paper, we apply the proof-theoretic techniques developed in our previous studies [7, 8] to heterogeneous reasoning with graphs in elementary economics. We apply the natural deduction-style formalization, which makes it possible to apply well-developed proof-theoretic techniques to the analysis of heterogeneous reasoning with graphs. We also apply the proof-theoretic analysis of free rides developed in [7], and analyze the efficiency of heterogeneous reasoning with graphs. We further discuss abductive reasoning in elementary economics. Abduction has been discussed by philosophers and logicians, and has been extensively studied in the literature on artificial intelligence (see, for example, [2]). In the context of heterogeneous reasoning, we are able to formalize abductive reasoning in elementary economics in the style we employ in our actual reasoning.