Advertisement
Published in:
2016 | OriginalPaper | Chapter
A Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
Author : Ryo Takemura
Published in: Diagrammatic Representation and Inference
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
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.